On the correctness of modular systems (Q674009): Difference between revisions

@@ Property / cites work @@
+A general framework for modular implementations of modular system specifications
+Normal rank
@@ Property / cites work @@
+Algebraic specification of modules and their basic interconnections
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic implementation of abstract data types
@@ Property / cites work: Algebraic implementation of abstract data types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995131
@@ Property / cites work: Q3995131 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract and behaviour module specifications
@@ Property / cites work: Abstract and behaviour module specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037315
@@ Property / cites work: Q4037315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3031906
@@ Property / cites work: Q3031906 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5416166
@@ Property / cites work: Q5416166 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q3956373
@@ Property / cites work: Q3956373 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4729318
@@ Property / cites work: Q4729318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3923580
@@ Property / cites work: Q3923580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938468
@@ Property / cites work: Q3938468 / rank @@
+Normal rank
@@ Property / cites work @@
+On observational equivalence and algebraic specification
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Implementations revisited
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank