This page lists the technical documents released by the Mancoosi project during its evolution. They come in two flavors: deliverables (documents released periodically according to the project schedule to document advancements) and technical reports (other technical documents released as scientific statements by the project).
[ pdf ] D3.3 - Final version of the tools for transactional
package upgrades by John Thomson, Adnré Guerreiro, Susana Nunes, Vasco
Silva, Pedro Rodrigues, and Paulo Trezentos.
23/05/2011.
[ pdf ] D6.4 - Final packages of the Mancoosi tools for
Mandriva Linux and Caixa Mágica by John Thomson and Paulo Trezentos.
23/05/2011.
[ pdf ] D5.4 - Report on the international competition by
Pietro Abate and Ralf Treinen.
19/05/2011.
[ pdf ] D4.3 - Final version of the optimizations algorithms
and tools by Gustavo Guttierez, Mikolas Janota, Inês Lynce, Olivier Lhomme,
Vasco Manquinho, Joao Marques-Silva, Claude Michel.
23/05/2011.
[ pdf ] D2.3 - Model-based framework for managing the com-
plexity and the state of the GNU/Linux instantiation by Davide Di Ruscio,
Patrizio Pelliccione, Alfonso Pierantonio, Roberto Di Cosmo, Stefano
Zacchiroli.
23/05/2011.
[ pdf ] D5.3 - UPDB infrastructure to collect traces of
upgradeability problems in CUDF format by Pietro Abate and
Ralf Treinen.
Version: 1; 03/02/2011.
[ pdf ] D5.2 - Extension of an existing package
manager to produce traces of ugradeability problems in CUDF
format by Pietro Abate, André Guerreiro, Stéphane Laurière,
Ralf Treinen, and Stefano Zacchiroli.
Version: 1;
02/08/2010.
[ pdf ] D4.2 - First version of the Mancoosi specialised CUDF
solver plugin for the modular platform manager by Olivier Lhomme, and
Claude Michel.
Version: 2; 01/02/2010.
[ pdf ] D2.2 - Instantiation of the metamodel on a widely used
GNU/Linux distribution by Davide Di Ruscio, Patrizio Pelliccione, and
Alfonso Pierantonio.
31/01/2010.
[ pdf ] D7.3 - Updated Collaboration Plan by Roberto Di
Cosmo, Anne-Sophie Refloc'h, Arnaud Laprevote, and Peter Van Roy.
31/01/2010 (revised 07/04/2010).
[ pdf ] D6.3 - Dissemination Activity Report by Roberto Di
Cosmo, and Anne-Sophie Refloc'h.
31/01/2010.
[ pdf ] D3.2 - First version of the DSL based on the model
developed in WP2 by Davide Di Ruscio, John Thomson, Patrizio Pelliccione,
and Alfonso Pierantonio.
01/11/2009.
[ pdf ] D2.1 - Metamodel for Describing System Structure and
State by Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio,
and Stefano Zacchiroli.
31/01/2009.
[ pdf ] D6.2 - Periodic Dissemination Report by Roberto Di
Cosmo, Sophie Cousin, Arnaud Laprevote, and Vanessa Wall.
31/01/2009.
[ pdf ] D7.2 - Updated Collaboration Plan by Roberto Di
Cosmo, Sophie Cousin, Peter Van Roy.
28/01/2009.
[ pdf ] D5.1 - Description of the CUDF Format by Ralf
Treinen and Stefano Zacchiroli.
01/11/2008. (superseded by
technical report TR001 and TR003).
[ pdf ] D3.1 - Survey of the state of the art technologies for
handling versioning, rollback and state snapshot in complex systems by
Paulo Barata, Paulo Trezentos, Inês Lynce, and Davide Di Ruscio.
30/09/2008.
[ pdf ] D7.1 - Collaboration activities plan.
01/08/2008.
[ pdf ] D1.1 - Project presentation by Roberto Di Cosmo and
Sophie Cousin.
01/08/2008.
[ pdf ] TR005: Converting Eclipse metadata into CUDF,
by Cagdas Bozman.
Version: 1.0; 23/11/2010.
[ pdf ] TR004: Transactional Upgrade Rollback: the DSL
approach, by John Thomson and Paulo Trezentos.
Version: 1.01;
29/12/2009.
[ pdf ] TR003: Common Upgradeability Description Format (CUDF)
2.0, by Ralf Treinen and Stefano Zacchiroli.
Version: 2.0;
24/11/2009.
[ pdf ] TR001: Upgrade description formats: generalities and
DUDF submission format, by Ralf Treinen and Stefano Zacchiroli.
Version: 2.0; 24/11/2009.
[ pdf ] TR002: Strong Dependencies between Software
Components, by Pietro Abate, Jaap Boender, Roberto Di Cosmo, and Stefano
Zacchiroli.
Version: 1.0; 22/05/2009.
TR001: Upgrade description formats: generalities and DUDF submission
format, by Ralf Treinen and Stefano Zacchiroli.
Version: 1.0;
29/07/2008. (superseded by Version 2.0 above)