paper scp2013-futures: fix copyright year, should be 2014
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Oct 2014 13:51:00 +0000 (15:51 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Oct 2014 13:51:00 +0000 (15:51 +0200)
research/publications.mdwn
research/publications/scp2013-futures.bib

index 84824d8..265c98b 100644 (file)
@@ -18,7 +18,7 @@ You might also be interested in my author profiles on
       Volume 90, Part B,
       <a href="http://www.sciencedirect.com/science/article/pii/S0167642313001561">pp. 93-115</a>.
       ISSN 0167-6423, Elsevier,
-      2013.</em>
+      2014.</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.
     """]]
index c09f104..f34c029 100644 (file)
@@ -3,7 +3,7 @@
   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},
+  year = {2014},
   issn = {0167-6423},
   doi = {10.1016/j.scico.2013.06.007},
   pages = {93-115},