On the semantics of software adaptation

DOI10.1016/j.scico.2005.10.009zbMath1101.68476OpenAlexW2109085373MaRDI QIDQ2495553

Carlos Canal, Ernesto Pimentel, Antonio Brogi

Publication date: 30 June 2006

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2005.10.009

zbMATH Keywords

formal methodssoftware adaptation

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (2)

Automatic Generation of Adaptation Contracts ⋮ Synthesis of secure adaptors

This page was built for publication: On the semantics of software adaptation