bibliography: regenerate BiBTeX to include publisher info for journal papers
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 May 2013 16:44:54 +0000 (18:44 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 May 2013 16:44:54 +0000 (18:44 +0200)
research/publications/ahci2012-wiki.bib
research/publications/infsof2012-mpm.bib
research/publications/jss2012-concern.bib
research/publications/matita.bib
research/publications/mcs-disambiguation-errors.bib
research/publications/nrhm-overlapping-conversions.bib
research/publications/scp2010-evolution.bib

index 278bed8..922d24a 100644 (file)
@@ -2,6 +2,7 @@
   author = {Di Iorio, Angelo and Francesco Draicchio and Fabio Vitali and Stefano Zacchiroli},
   title = {Constrained Wiki: The WikiWay to Validating Content},
   abstract = {The "WikiWay" is the open editing philosophy of wikis meant to foster open collaboration and continuous improvement of their content. Just like other online communities, wikis often introduce and enforce conventions, constraints, and rules for their content, but do so in a considerably softer way, expecting authors to deliver content that satisfies the conventions and the constraints, or, failing that, having volunteers of the community, the WikiGnomes, fix others' content accordingly. Constrained wikis is our generic framework for wikis to implement validators of community-specific constraints and conventions that preserve the WikiWay and their open collaboration features. To this end, specific requirements need to be observed by validators and a specific software architecture can be used for their implementation, that is, as independent functions (implemented as internal modules or external services) used in a nonintrusive way. Two separate proof-of-concept validators have been implemented for MediaWiki and MoinMoin, respectively, providing an annotated view functions, that is, presenting content authors with violation warnings, rather than preventing them from saving a noncompliant text.},
+  publisher = {Hindawi},
   year = {2012},
   doi = {10.1155/2012/893575},
   pages = {1-19},
index 464c2f3..2ef7ab3 100644 (file)
@@ -2,6 +2,7 @@
   author = {Pietro Abate and Di Cosmo, Roberto and Ralf Treinen and Stefano Zacchiroli},
   title = {A Modular Package Manager Architecture},
   abstract = {The success of modern software distributions in the Free and Open Source world can be explained, among other factors, by the availability of a large collection of software packages and the possibility to easily install and remove those components using state of the art package managers. However, package managers are often built using a monolithic architecture and hard-wired and ad-hoc dependency solvers implementing some customized heuristics. In this paper we propose a modular architecture relying on precise interface formalisms that allows the system administrator to choose from a variety of dependency solvers and backends. We argue that this is the path that leads to the next generation of package managers that will deliver better results, offer more expressive preference languages, and be easily adaptable to new platforms. We have built a working prototype, called MPM, following the design advocated in this paper, and we show how it largely outperforms a variety of state of the art package managers.},
+  publisher = {Elsevier},
   month = {February},
   year = {2013},
   issn = {0950-5849},
index 53821ad..212f5ee 100644 (file)
@@ -2,6 +2,7 @@
   author = {Pietro Abate and Di Cosmo, Roberto and Ralf Treinen and Stefano Zacchiroli},
   title = {Dependency Solving: a Separate Concern in Component Evolution Management},
   abstract = {Maintenance of component-based software platforms often has to face rapid evolution of software components. Component dependencies, conflicts, and package managers with dependency solving capabilities are the key ingredients of prevalent software maintenance technologies that have been proposed to keep software installations synchronized with evolving component repositories. We review state-of-the-art package managers and their ability to keep up with evolution at the current growth rate of popular component-based platforms, and conclude that their dependency solving abilities are not up to the task. We show that the complexity of the underlying upgrade planning problem is NP-complete even for seemingly simple component models, and argue that the principal source of complexity lies in multiple available versions of components. We then discuss the need of expressive languages for user preferences, which makes the problem even more challenging. We propose to establish dependency solving as a separate concern from other upgrade aspects, and present CUDF as a formalism to describe upgrade scenarios. By analyzing the result of an international dependency solving competition, we provide evidence that the proposed approach is viable.},
+  publisher = {Elsevier},
   month = {October},
   year = {2012},
   issn = {0164-1212},
index 581f9f5..4dfe542 100644 (file)
@@ -2,6 +2,7 @@
   author = {Andrea Asperti and Sacerdoti Coen, Claudio and Enrico Tassi and Stefano Zacchiroli},
   title = {User Interaction with the Matita Proof Assistant},
   abstract = {Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, mostly characterized by the organization of the library as a searchable knowledge base, the emphasis on a high-quality notational rendering, and the complex interplay between syntax, presentation, and semantics.},
+  publisher = {Springer},
   year = {2007},
   issn = {0168-7433},
   doi = {10.1007/s10817-007-9070-5},
index 229a17c..091e35c 100644 (file)
@@ -2,6 +2,7 @@
   author = {Sacerdoti Coen, Claudio and Stefano Zacchiroli},
   title = {Spurious Disambiguation Errors and How to Get Rid of Them},
   abstract = {The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae however, far too many typing errors are generated; among them we want to present only errors related to the formula interpretation meant by the user, hiding errors related to other interpretations. We study disambiguation errors and how to classify them into the spurious and genuine error classes. To this end we give a general presentation of the classes of disambiguation algorithms and efficient disambiguation algorithms. We also quantitatively assess the quality of the presented error classification criteria benchmarking them in the setting of a formal development of constructive algebra.},
+  publisher = {Springer},
   month = {December},
   year = {2008},
   issn = {1661-8270},
index 1cda3c8..0afef1e 100644 (file)
@@ -2,6 +2,7 @@
   author = {Paolo Marinelli and Fabio Vitali and Stefano Zacchiroli},
   title = {Towards the unification of formats for overlapping markup},
   abstract = {Overlapping markup refers to the issue of how to represent data structures more expressive than trees, for example direct acyclic graphs, using markup (meta-)languages which have been designed with trees in mind, for example XML. In this paper we observe that the state of the art in overlapping markup is far from being the widespread and consistent stack of standards and technologies readily available for XML and develop a roadmap for closing the gap. In particular we present in the paper the design and implementation of what we believe to be the first needed step, namely: a syntactic conversion framework among the plethora of overlapping markup serialization formats. The algorithms needed to perform the various conversions are presented in pseudo-code, they are meant to be used as blueprints for researchers and practitioners which need to write batch translation programs from one format to the other.},
+  publisher = {Taylor and Francis},
   month = {January},
   year = {2008},
   issn = {1361-4568},
index c5398ed..7a04356 100644 (file)
@@ -2,6 +2,7 @@
   author = {Di Cosmo, Roberto and Di Ruscio, Davide and Patrizio Pelliccione and Alfonso Pierantonio and Stefano Zacchiroli},
   title = {Supporting Software Evolution in Component-Based FOSS Systems},
   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 software 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 incoherences) 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.},
+  publisher = {Elsevier},
   year = {2011},
   issn = {0167-6423},
   doi = {10.1016/j.scico.2010.11.001},