A three-level formal model for software architecture evolution - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

A three-level formal model for software architecture evolution

(1) , (2) , (1) , (1) , (3)
1
2
3

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.
Fichier principal
Vignette du fichier
paper-09.pdf (563.19 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01244438 , version 1 (21-10-2018)

Identifiers

  • HAL Id : hal-01244438 , version 1

Cite

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⟩
217 View
20 Download

Share

Gmail Facebook Twitter LinkedIn More