Logo image
Se connecter
A three-level formal model for software architecture evolution
Acte de colloque   Open Access

A three-level formal model for software architecture evolution

Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier et Huaxi Yulin Zhang
7th Seminar on Advanced Techniques & Tools for Software Evolution
SATToSE: Seminar on Advanced Techniques and Tools for Software Evolution (L'Aquila, Italy, 09/07/2014–11/07/2014)
2014

Résumé

Reuse Software evolution B formal models Architecture levels Software architecture
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.

Fichiers et liens (1)

url
Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Logo image