Compatibility problems in the development of algebraic module specifications (Q2638799): Difference between revisions

@@ Property / describes a project that uses @@
+Modula
@@ Property / describes a project that uses: Modula / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3914435
@@ Property / cites work: Q3914435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063607
@@ Property / cites work: Q4063607 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specification of modules and their basic interconnections
+Normal rank
@@ Property / cites work @@
+The Munich project CIP. Volume I: The wide spectrum language CIP-L
+Normal rank
@@ Property / cites work @@
+Q3355245
@@ Property / cites work: Q3355245 / rank @@
+Normal rank
@@ Property / cites work @@
+<i>F</i>‐Morphismen
@@ Property / cites work: <i>F</i>‐Morphismen / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995131
@@ Property / cites work: Q3995131 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3031906
@@ Property / cites work: Q3031906 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995276
@@ Property / cites work: Q3995276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5416166
@@ Property / cites work: Q5416166 / rank @@
+Normal rank
@@ Property / cites work @@
+Report on the Larch shared language
@@ Property / cites work: Report on the Larch shared language / rank @@
+Normal rank
@@ Property / cites work @@
+Realization is universal
@@ Property / cites work: Realization is universal / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682456
@@ Property / cites work: Q5682456 / rank @@
+Normal rank
@@ Property / cites work @@
+Union and actualization of module specifications: Some compatibility results
+Normal rank
@@ Property / cites work @@
+Q4721637
@@ Property / cites work: Q4721637 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3792213
@@ Property / cites work: Q3792213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725720
@@ Property / cites work: Q4725720 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Type Specification: Parameterization and the Power of Specification Techniques
+Normal rank
@@ Property / cites work @@
+Q3221372
@@ Property / cites work: Q3221372 / rank @@
+Normal rank