Model evolution and refinement

DOI10.1016/j.scico.2011.04.007zbMath1243.68156OpenAlexW2035398968MaRDI QIDQ436356

Heike Wehrheim, Thomas Ruhroth

Publication date: 20 July 2012

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

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

zbMATH Keywords

evolutionformal methodsrefinementrefactoringobject-Z

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Uses Software

• Z

Cites Work

• Behavioral subtyping relations for active objects
• Proof by analogy in mural
• Data Refinement
• Fundamental Approaches to Software Engineering
• Refactoring Object-Oriented Specifications with Data and Processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Model evolution and refinement