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

https://hal.archives-ouvertes.fr/hal-01244438
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

File

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

Identifiers

  • HAL Id : hal-01244438, version 1

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

340

Files downloads

17