Skip to Main content Skip to Navigation
New interface
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Christelle Urtado Connect in order to contact the contributor
Submitted on : Sunday, October 21, 2018 - 1:57:32 PM
Last modification on : Tuesday, September 6, 2022 - 4:56:00 PM
Long-term archiving on: : 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