A three-level formal model for software architecture evolution - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A three-level formal model for software architecture evolution

Résumé

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.
Fichier principal
Vignette du fichier
paper-09.pdf (563.19 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01244438 , version 1 (21-10-2018)

Identifiants

  • HAL Id : hal-01244438 , version 1

Citer

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. ⟨hal-01244438⟩
227 Consultations
59 Téléchargements

Partager

Gmail Facebook X LinkedIn More