Graph transformations for object-oriented refinement (Q1019019): Difference between revisions

@@ Property / cites work @@
+Reasoning about dynamically evolving process structures
+Normal rank
@@ Property / cites work @@
+Class refinement as semantics of correct object substitutability
+Normal rank
@@ Property / cites work @@
+Q4851564
@@ Property / cites work: Q4851564 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Reasoning for Pointer Structures
@@ Property / cites work: Compositional Reasoning for Pointer Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890710
@@ Property / cites work: Q4890710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493905
@@ Property / cites work: Q4493905 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q3416072
@@ Property / cites work: Q3416072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218129
@@ Property / cites work: Q4218129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934618
@@ Property / cites work: Q4934618 / rank @@
+Normal rank
@@ Property / cites work @@
+rCOS: a refinement calculus of object systems
@@ Property / cites work: rCOS: a refinement calculus of object systems / rank @@
+Normal rank
@@ Property / cites work @@
+Object-Oriented Specification and Open Distributed Systems
+Normal rank
@@ Property / cites work @@
+Q4230924
@@ Property / cites work: Q4230924 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940107
@@ Property / cites work: Q4940107 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+A graph transformation approach to software architecture reconfiguration
+Normal rank