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).

Deliverables

  • [ 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.

Technical Reports

  • [ 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)