papers: add DOI and update info for fmco2012 survey
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Sep 2013 09:08:27 +0000 (11:08 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Sep 2013 09:08:27 +0000 (11:08 +0200)
research/publications.mdwn
research/publications/fmco2012-foss-components.bib

index a27a096..1422aa2 100644 (file)
@@ -104,10 +104,11 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed conferences">international, peer-reviewed conference proceedings</span>
 
- 1. <a class="paper-download" href="fmco2012-foss-components.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="fmco2012-foss-components.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Formal Aspects of Free and Open Source Software Components**.  <em>In proceedings of FMCO 2012: <a href="http://www.cs.unibo.it/hats-fmoc/">HATS International School on
+ 1. <a class="paper-download" href="fmco2012-foss-components.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="fmco2012-foss-components.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/978-3-642-40615-7_8" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Formal Aspects of Free and Open Source Software Components**.  <em>In proceedings of FMCO 2012: <a href="http://www.cs.unibo.it/hats-fmoc/">HATS International School on
       Formal Models for Components and Objects</a>, Bertinoro,
-      Italy, 24-28 September 2012. LNCS 7866,
-      pp. 216-239,
+      Italy, 24-28 September 2012. LNCS
+      <a href="http://www.springer.com/computer/swe/book/978-3-642-40614-0">7866</a>,
+      pp. <a href="http://link.springer.com/chapter/10.1007%2F978-3-642-40615-7_8">216-239</a>,
       Springer-Verlag, 2013.</em>
     [[!toggle id=id49 text="Abstract..."]] [[!toggleable id=id49 text="""
     *Abstract:* Free and Open Source Software (FOSS) distributions are popular solutions to deploy and maintain software on server, desktop, and mobile computing equipment. The typical deployment method in the FOSS setting relies on software distributions as vendors, packages as independently deployable components, and package managers as upgrade tools. We review research results from the past decade that apply formal methods to the study of inter-component relationships in the FOSS context. We discuss how those results are being used to attack both issues faced by users, such as dealing with upgrade failures on target machines, and issues important to distributions such as quality assurance processes for repositories containing tens of thousands, rapidly evolving software packages.
index 45a6bfa..1f6ef64 100644 (file)
@@ -4,6 +4,7 @@
   abstract = {Free and Open Source Software (FOSS) distributions are popular solutions to deploy and maintain software on server, desktop, and mobile computing equipment. The typical deployment method in the FOSS setting relies on software distributions as vendors, packages as independently deployable components, and package managers as upgrade tools. We review research results from the past decade that apply formal methods to the study of inter-component relationships in the FOSS context. We discuss how those results are being used to attack both issues faced by users, such as dealing with upgrade failures on target machines, and issues important to distributions such as quality assurance processes for repositories containing tens of thousands, rapidly evolving software packages.},
   publisher = {Springer-Verlag},
   year = {2013},
+  doi = {10.1007/978-3-642-40615-7_8},
   pages = {216-239},
   series = {LNCS},
   volume = {7866},