Model evolution and refinement

DOI10.1016/J.SCICO.2011.04.007zbMATH Open1243.68156OpenAlexW2035398968MaRDI QIDQ436356FDOQ436356

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

Recommendations

• scientific article; zbMATH DE number 67793
• Model development and optimization
• scientific article; zbMATH DE number 1946737
• scientific article; zbMATH DE number 4156150
• Superposition and Model Evolution Combined
• Model evolution with equality -- revised and implemented
• The model evolution calculus.

zbMATH Keywords

evolutionformal methodsrefinementrefactoringobject-Z

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Data Refinement
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Behavioral subtyping relations for active objects
• Proof by analogy in mural
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fundamental Approaches to Software Engineering
• Refactoring Object-Oriented Specifications with Data and Processes

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Model Quality Assessment and Model Updating
• Practical refactoring of executable UML models
• Model Evolution with Equality Modulo Built-in Theories

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)