Towards a categorical framework to ensure correct software evolutions

Abstract : Distributed software, such as satellite software are now developed and managed by several actors. In this context supporting the maintenance and therefore the evolution of such applications is complex and need a formal framework. In this article, we propose a first step towards such a formal framework to ensure the correctness of software evolutions. Using category theory, we can model software and represent patches. This modeling allows to identify the proof obligations that the provider of a patch has to discharge in order to ensure that its patch preserves the correctness of the software.
Type de document :
Communication dans un congrès
Workshop on Hot Topics in Software Upgrades, Apr 2011, Hannover, Germany. pp.139-144, 2011, 〈10.1109/ICDEW.2011.5767625〉
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00785433
Contributeur : David Chemouil <>
Soumis le : mercredi 6 février 2013 - 10:56:35
Dernière modification le : jeudi 6 décembre 2018 - 15:40:12
Document(s) archivé(s) le : samedi 1 avril 2017 - 16:47:50

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat. Towards a categorical framework to ensure correct software evolutions. Workshop on Hot Topics in Software Upgrades, Apr 2011, Hannover, Germany. pp.139-144, 2011, 〈10.1109/ICDEW.2011.5767625〉. 〈hal-00785433〉

Partager

Métriques

Consultations de la notice

121

Téléchargements de fichiers

169