Model transformations across views

DOI10.1016/J.SCICO.2009.11.004zbMath1187.68161OpenAlexW1994851943MaRDI QIDQ2266947

Heike Wehrheim, John Derrick

Publication date: 26 February 2010

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

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

zbMATH Keywords

ZCSPrefinementmodel-based designmodel transformationsmultiple views

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

• ATL
• FDR2
• Circus

Cites Work

• Structural refinement of systems specified in Object-Z and CSP
• Relational concurrent refinement
• Process simulation and refinement
• A UTP semantics for \textsf{Circus}
• A state-based approach to communicating processes
• Specification styles in distributed systems design and verification
• A singleton failures semantics for communicating sequential processes
• Integrating a formal method into a software engineering process with UML and Java
• Model Transformations Incorporating Multiple Views
• Data Refinement
• Refactoring Object-Oriented Specifications with Data and Processes
• Formal Methods for Open Object-Based Distributed Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Model transformations across views