SCP paper: fill in volume information
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jun 2011 08:56:21 +0000 (10:56 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jun 2011 08:56:21 +0000 (10:56 +0200)
research/publications.mdwn

index 779b43e..650d766 100644 (file)
@@ -7,8 +7,8 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed journals">international, peer-reviewed journal articles</span>
 
- 1. <a class="paper_download" href="scp2010-evolution.pdf">[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.scico.2010.11.001" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.di.univaq.it/diruscio/">Davide Di Ruscio</a>, <a href="http://www.di.univaq.it/pellicci/">Patrizio Pelliccione</a>, <a href="http://www.di.univaq.it/alfonso/">Alfonso Pierantonio</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Supporting Software Evolution in Component-Based FOSS Systems**.  <em>Article in press, to appear in<a href="http://www.elsevier.com/locate/scico/">Science of Computer
-      Programming</a>, ISSN 0167-6423. Elsevier, 2010.</em>
+ 1. <a class="paper_download" href="scp2010-evolution.pdf">[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.scico.2010.11.001" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.di.univaq.it/diruscio/">Davide Di Ruscio</a>, <a href="http://www.di.univaq.it/pellicci/">Patrizio Pelliccione</a>, <a href="http://www.di.univaq.it/alfonso/">Alfonso Pierantonio</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Supporting Software Evolution in Component-Based FOSS Systems**.  <em>In<a href="http://www.elsevier.com/locate/scico/">Science of
+      Computer Programming</a>, Volume 76, Issue 12, pages 1144-1160. ISSN 0167-6423, Elsevier, 2011.</em>
     [[!toggle id=id35 text="Abstract..."]] [[!toggleable id=id35 text="""
     *Abstract:* FOSS (Free and Open Source Software) systems present interesting challenges in system evolution. On one hand, most FOSS systems are based on very fine-grained units of soft- ware deployment—called packages—which promote system evolution; on the other hand, FOSS systems are among the largest software systems known and require sophisticated static and dynamic conditions to be verified, in order to successfully deploy upgrades on user machines. The slightest error in one of these conditions can turn a routine upgrade into a system administrator nightmare. In this paper we introduce a model-based approach to support the upgrade of FOSS systems. The approach promotes the simulation of upgrades to predict failures before affecting the real system. Both fine-grained static aspects (e.g. configuration incoher- ences) and dynamic aspects (e.g. the execution of configuration scripts) are taken into account, improving over the state of the art of upgrade planners. The effectiveness of the approach is validated by instantiating the approach to widely-used FOSS distributions.
     """]]