A three-level formal model for software architecture evolution - Models And Reuse Engineering, Languages Access content directly
Conference Papers Year : 2014

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.
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⟩
236 View
70 Download

Share

Gmail Mastodon Facebook X LinkedIn More