Model transformations across views
From MaRDI portal
Publication:2266947
Recommendations
Cites work
- scientific article; zbMATH DE number 1615985 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 2006484 (Why is no real title available?)
- scientific article; zbMATH DE number 2079816 (Why is no real title available?)
- scientific article; zbMATH DE number 2080013 (Why is no real title available?)
- scientific article; zbMATH DE number 1487484 (Why is no real title available?)
- scientific article; zbMATH DE number 1487740 (Why is no real title available?)
- scientific article; zbMATH DE number 1519981 (Why is no real title available?)
- scientific article; zbMATH DE number 2086954 (Why is no real title available?)
- scientific article; zbMATH DE number 1409638 (Why is no real title available?)
- A UTP semantics for \textsf{Circus}
- A singleton failures semantics for communicating sequential processes
- A state-based approach to communicating processes
- Checking consistency in UML diagrams: classes and state machines.
- Data Refinement
- Integrating a formal method into a software engineering process with UML and Java
- Model Transformations Incorporating Multiple Views
- Process simulation and refinement
- Refactoring Object-Oriented Specifications with Data and Processes
- Relational concurrent refinement
- Specification styles in distributed systems design and verification
- Structural refinement of systems specified in Object-Z and CSP
- Unifying concurrent and relational refinement
Cited in
(4)
This page was built for publication: Model transformations across views
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2266947)