Model evolution and refinement

DOI10.1016/J.SCICO.2011.04.007MaRDI QIDQ436356zbMATHOpenAlexFDO

Authors Thomas Ruhroth, Heike Wehrheim

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)

Recommendations

• Publication:4013731
• Model development and optimization
• Publication:4411047
• Publication:3484593
• Superposition and Model Evolution Combined
• Model evolution with equality -- revised and implemented
• The model evolution calculus.

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 1696907 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1946737 (Why is no real title available?)
• scientific article; zbMATH DE number 1487747 (Why is no real title available?)
• scientific article; zbMATH DE number 1929900 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• Behavioral subtyping relations for active objects
• Data Refinement
• Fundamental Approaches to Software Engineering
• Proof by analogy in mural
• Refactoring Object-Oriented Specifications with Data and Processes

Cited in

(5)

• Practical refactoring of executable UML models
• scientific article; zbMATH DE number 4156150 (Why is no real title available?)
• scientific article; zbMATH DE number 1946737 (Why is no real title available?)
• Model Quality Assessment and Model Updating
• Model Evolution with Equality Modulo Built-in Theories

Describes a project that uses

Uses Software

• Z

This page was built for publication: Model evolution and refinement

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