Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350): Difference between revisions

@@ Property / cites work @@
+Views on Behaviour Protocols and Their Semantic Foundation
+Normal rank
@@ Property / cites work @@
+What Is a Multi-modeling Language?
@@ Property / cites work: What Is a Multi-modeling Language? / rank @@
+Normal rank
@@ Property / cites work @@
+A Heterogeneous Approach to UML Semantics
@@ Property / cites work: A Heterogeneous Approach to UML Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Grothendieck institutions
@@ Property / cites work: Grothendieck institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Software Engineering
@@ Property / cites work: Categories for Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl
+Normal rank
@@ Property / cites work @@
+Specification and refinement of mobile systems in MTLA and mobile UML
+Normal rank
@@ Property / cites work @@
+A formal approach to object-oriented software engineering
+Normal rank
@@ Property / cites work @@
+Q4708606
@@ Property / cites work: Q4708606 / rank @@
+Normal rank
@@ Property / cites work @@
+Development graphs -- proof management for structured specifications
+Normal rank
@@ Property / cites work @@
+Semantics of the Distributed Ontology Language: Institutes and Institutions
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank