EDOS deliverable WP2-D2.2: Report on Formal Management of Software Dependencies - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport Technique) Année : 2006

EDOS deliverable WP2-D2.2: Report on Formal Management of Software Dependencies

Roberto Di Cosmo
Connectez-vous pour contacter l'auteur
Preuves, Programmes et Systèmes

Résumé

Our focus is mainly on the issues related to dependency management for large sets of software packages, with a particular attention to what must be done to maintain consistency of a software distribution on the repository side, as opposed to maintaining a set of packages on a client machine.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
edos-wp2d2.pdf (3.72 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Ralf Treinen  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00697468

Soumis le : mardi 15 mai 2012-14:14:28

Dernière modification le : vendredi 24 mars 2023-14:52:55

Archivage à long terme le : jeudi 16 août 2012-02:37:37

Télécharger pour visualiser

Dates et versions

hal-00697468 , version 1 (15-05-2012)

Identifiants

  • HAL Id : hal-00697468 , version 1

Citer

Roberto Di Cosmo. EDOS deliverable WP2-D2.2: Report on Formal Management of Software Dependencies. [Technical Report] 2006. ⟨hal-00697468⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS LARA
125 Consultations
1233 Téléchargements

Partager

Gmail Facebook X LinkedIn More