Model transformations across views (Q2266947): Difference between revisions

@@ Property / cites work @@
+Q2844822
@@ Property / cites work: Q2844822 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737562
@@ Property / cites work: Q4737562 / rank @@
+Normal rank
@@ Property / cites work @@
+A singleton failures semantics for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Q2724177
@@ Property / cites work: Q2724177 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational concurrent refinement
@@ Property / cites work: Relational concurrent refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471918
@@ Property / cites work: Q4471918 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural refinement of systems specified in Object-Z and CSP
+Normal rank
@@ Property / cites work @@
+Model Transformations Incorporating Multiple Views
+Normal rank
@@ Property / cites work @@
+Q4509996
@@ Property / cites work: Q4509996 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494252
@@ Property / cites work: Q4494252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Process simulation and refinement
@@ Property / cites work: Process simulation and refinement / rank @@
+Normal rank
@@ Property / cites work @@
+A state-based approach to communicating processes
@@ Property / cites work: A state-based approach to communicating processes / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating a formal method into a software engineering process with UML and Java
+Normal rank
@@ Property / cites work @@
+A UTP semantics for \textsf{Circus}
@@ Property / cites work: A UTP semantics for \textsf{Circus} / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Refactoring Object-Oriented Specifications with Data and Processes
+Normal rank
@@ Property / cites work @@
+Q4493891
@@ Property / cites work: Q4493891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940107
@@ Property / cites work: Q4940107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435853
@@ Property / cites work: Q4435853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472199
@@ Property / cites work: Q4472199 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification styles in distributed systems design and verification
+Normal rank