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 metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01244438
Contributor : Christelle Urtado <>
Submitted on : Sunday, October 21, 2018 - 1:57:32 PM
Last modification on : Wednesday, March 20, 2019 - 12:20:03 PM
Long-term archiving on : Tuesday, January 22, 2019 - 1:04:55 PM

File

paper-09.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-01244438⟩

Share

Metrics

Record views

284

Files downloads

7