MANCOOSI

Results: 71



#Item
21

Mancoosi tools for the analysis and quality assurance of FOSS distributions Ralf Treinen UFR Informatique Universit´ e Paris Diderot

Add to Reading List

Source URL: www.mancoosi.org

- Date: 2012-12-16 04:54:55
    22

    Collaboration Activities and Updated Collaboration Plan Deliverable D7.3 Nature : Deliverable Due date : Delivery Date: Start date of project :

    Add to Reading List

    Source URL: www.mancoosi.org

    - Date: 2012-12-16 04:54:41
      23

      Periodic Dissemination Report Deliverable D6.2 Nature : Deliverable Due date : Delivery Date:

      Add to Reading List

      Source URL: www.mancoosi.org

      - Date: 2012-12-16 04:54:41
        24Theoretical computer science / Mathematics / Computational complexity theory / Operations research / Logic in computer science / Mathematical optimization / NP-complete problems / Boolean algebra / Maximum satisfiability problem / Boolean satisfiability problem / Constraint satisfaction / Solver

        On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

        Add to Reading List

        Source URL: www.mancoosi.org

        Language: English - Date: 2012-12-16 04:54:55
        25Software / Computer architecture / System software / Dpkg / Archive formats / Debian / Ubuntu / Package manager / Software distribution / Advanced Packaging Tool / RPM Package Manager / Arch Linux

        Expressing Advanced User Preferences in Component Installation∗ Ralf Treinen Stefano Zacchiroli

        Add to Reading List

        Source URL: www.mancoosi.org

        Language: English - Date: 2012-12-16 04:54:55
        26Computer architecture / Software / System software / Debian / Dpkg / Ubuntu / Software distribution / Archive formats / Deb / Package manager / Mandriva Linux / Arch Linux

        Towards better tools for the analysis and quality assurance of FOSS distributions Ralf Treinen PPS, Universit´ e Paris Diderot

        Add to Reading List

        Source URL: www.mancoosi.org

        Language: English - Date: 2012-12-16 04:54:55
        27Software / Computing / Unified Modeling Language / MANCOOSI / Eclipse Modeling Framework / Metamodeling / XML Metadata Interchange / Meta-Object Facility / Eclipse / ATLAS Transformation Language / Object Management Group

        Instantiation of the metamodel on a widely used GNU/Linux distribution Deliverable 2.2 Nature : Deliverable Due date :

        Add to Reading List

        Source URL: www.mancoosi.org

        Language: English - Date: 2012-12-16 04:54:41
        28Software / System software / Computer architecture / Archive formats / Debian / Dpkg / Ubuntu / Package manager / Software distribution / Metamodeling / RPM Package Manager / Arch Linux

        Towards a Model Driven Approach to Upgrade Complex Software Systems? Antonio Cicchetti1 and Davide Di Ruscio1 and Patrizio Pelliccione1 and Alfonso Pierantonio1 and Stefano Zacchiroli2 1 Dipartimento di Informatica, Univ

        Add to Reading List

        Source URL: www.mancoosi.org

        Language: English - Date: 2012-12-16 04:54:55
        29Software / Computing / Knowledge representation / Object Process Methodology / Process management / Project management / Matching / Unified Modeling Language / Algorithm / Eclipse Modeling Framework / Eclipse / Template matching

        Different Models for Model Matching: An analysis of approaches to support model differencing Dimitrios S. Kolovos Department of Computer Science The University of York

        Add to Reading List

        Source URL: www.mancoosi.org

        Language: English - Date: 2012-12-16 04:54:55
        30Computer architecture / Software / System software / Debian / Archive formats / Dpkg / Ubuntu / Package manager / Software distribution / Deb / Arch Linux / RPM Package Manager

        Using Strong Conflicts to Detect Quality Issues in Component-based Complex Systems ∗ Roberto Di Cosmo Jaap Boender

        Add to Reading List

        Source URL: www.mancoosi.org

        Language: English - Date: 2012-12-16 04:54:55
        UPDATE