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.
Document type :
Conference papers
Complete list of metadata

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 : Monday, April 19, 2021 - 8:50:02 AM
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

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

386

Files downloads

29