Specifying with syntactic theory functors (Q2173439): Difference between revisions

@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+The Distributed Ontology, Modeling and Specification Language – DOL
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Computable scalar fields: A basis for PDE software
+Normal rank
@@ Property / cites work @@
+Categories for Software Engineering
@@ Property / cites work: Categories for Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Theoroidal Institution Comorphisms
@@ Property / cites work: Generalized Theoroidal Institution Comorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Relating CASL with other specification languages: the institution level.
+Normal rank
@@ Property / cites work @@
+Q4702596
@@ Property / cites work: Q4702596 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specifications of computable and semicomputable data types
+Normal rank
@@ Property / cites work @@
+Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
+Normal rank
@@ Property / cites work @@
+Categorical foundations for structured specifications in \(\mathsf{Z}\)
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to structuring specifications
+Normal rank