A formalisation of the evolution of software systems

DOI10.1007/10720123_38MaRDI QIDQ2723378zbMATH OpenFDO

Authors Juan Jesús Torres Carbonell, José Parets-Llorca

Publication date 5 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10720123_38

zbMATH Keywords

evolutionary capacitysoftware system

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1088303
• A logical framework for evolving software systems
• An approach to modelling software evolution processes
• Software evolution and software evolution processes
• FM 2005: Formal Methods

Cited in

(9)

• Proof transformations for evolutionary formal software development
• An approach to modelling software evolution processes
• The renaissance of legacy systems. Method support for software-system evolution. With contribution from Dario Avallone, Markus Breuer, John Favaro, Jane Ransom, Eirik Tryggeseth and Claude Villermain
• scientific article; zbMATH DE number 1088303 (Why is no real title available?)
• Introducing context-based constraints
• Behavioural modelling of long‐lived evolution processes—some issues and an example
• Development of global specification for dynamically adaptive software
• The transformation of requirements into software primitives: studying evolvability based on systems theoretic stability
• A theory of change for prioritised resilient and evolvable software systems

This page was built for publication: A formalisation of the evolution of software systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2723378)