Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download
Contributor : Christelle Urtado <>
Submitted on : Sunday, October 21, 2018 - 1:57:32 PM
Last modification on : Sunday, February 16, 2020 - 1:02:40 AM
Document(s) archivé(s) le : Tuesday, January 22, 2019 - 1:04:55 PM


Files produced by the author(s)


  • HAL Id : hal-01244438, version 1


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⟩



Record views


Files downloads