A three-level formal model for software architecture evolution

Abstract : This papers gives an overview of our formal approach to address the architecture-centric evolution at the three main steps of component-based software development: specification, implementation and deployment. We illustrate our proposal with an example of software evolution that leads to erosion and we demonstrate how our evolution process can resolve this problem.
Type de document :
Communication dans un congrès
SATToSE: Seminar on Advanced Techniques and Tools for Software Evolution, Jul 2014, L'Aquila, Italy. 7th Seminar on Advanced Techniques & Tools for Software Evolution, 2014, 〈http://sattose.org/2014〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01244438
Contributeur : Christelle Urtado <>
Soumis le : dimanche 21 octobre 2018 - 13:57:32
Dernière modification le : mardi 23 octobre 2018 - 18:19:52

Fichier

paper-09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01244438, version 1

Collections

Citation

Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Huaxi Yulin Zhang. A three-level formal model for software architecture evolution. SATToSE: Seminar on Advanced Techniques and Tools for Software Evolution, Jul 2014, L'Aquila, Italy. 7th Seminar on Advanced Techniques & Tools for Software Evolution, 2014, 〈http://sattose.org/2014〉. 〈hal-01244438〉

Partager

Métriques

Consultations de la notice

224

Téléchargements de fichiers

3