publications: add entry for SCICO paper on futures
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Jul 2013 11:48:50 +0000 (13:48 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 7 Jul 2013 11:48:50 +0000 (13:48 +0200)
research/publications.mdwn
research/publications/scp2013-futures.bib [new file with mode: 0644]

index ff6af74..3919bd1 100644 (file)
@@ -7,6 +7,13 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed journals">international, peer-reviewed journal articles</span>
 
+ 1. <a class="bibtex-download" href="scp2013-futures.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.scico.2013.06.007" title="Document Object Identifier">doi&gt;</a></span> Pietro Abate, <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>. **Learning from the Future of Component Repositories**.  <em>To appear in <a href="http://www.elsevier.com/locate/scico/">Science
+      of Computer Programming</a>.
+      ISSN 0167-6423, Elsevier,
+      2013.</em>
+    [[!toggle id=id50 text="Abstract..."]] [[!toggleable id=id50 text="""
+    *Abstract:* An important aspect of the quality assurance of large component repositories is to ensure the logical coherence of component metadata, and to this end one needs to identify incoherences as early as possible. Some relevant classes of problems can be formulated in term of properties of the future repositories into which the current repository may evolve. However, checking such properties on all possible future repositories requires a way to construct a finite representation of the infinite set of all potential futures. A class of properties for which this can be done is presented in this work. We illustrate the practical usefulness of the approach with two quality assurance applications: (i) establishing the amount of "forced upgrades" induced by introducing new versions of existing components in a repository, and (ii) identifying outdated components that are currently not installable and need to be upgraded in order to become installable again. For both applications we provide experience reports obtained on the Debian free software distribution.
+    """]]
  1. <a class="paper-download" href="infsof2012-mpm.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="infsof2012-mpm.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.infsof.2012.09.002" title="Document Object Identifier">doi&gt;</a></span> Pietro Abate, <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>. **A Modular Package Manager Architecture**.  <em>In <a href="http://www.journals.elsevier.com/information-and-software-technology/">Information
       and Software Technology</a>,
       Volume 55, Issue 2,
diff --git a/research/publications/scp2013-futures.bib b/research/publications/scp2013-futures.bib
new file mode 100644 (file)
index 0000000..17bf037
--- /dev/null
@@ -0,0 +1,10 @@
+@article{scp2013-futures,
+  author = {Pietro Abate and Di Cosmo, Roberto and Ralf Treinen and Stefano Zacchiroli},
+  title = {Learning from the Future of Component Repositories},
+  abstract = {An important aspect of the quality assurance of large component repositories is to ensure the logical coherence of component metadata, and to this end one needs to identify incoherences as early as possible. Some relevant classes of problems can be formulated in term of properties of the future repositories into which the current repository may evolve. However, checking such properties on all possible future repositories requires a way to construct a finite representation of the infinite set of all potential futures. A class of properties for which this can be done is presented in this work. We illustrate the practical usefulness of the approach with two quality assurance applications: (i) establishing the amount of "forced upgrades" induced by introducing new versions of existing components in a repository, and (ii) identifying outdated components that are currently not installable and need to be upgraded in order to become installable again. For both applications we provide experience reports obtained on the Debian free software distribution.},
+  publisher = {Elsevier},
+  year = {2013},
+  issn = {0167-6423},
+  doi = {10.1016/j.scico.2013.06.007},
+  journal = {Science of Computer Programming},
+}