An analysis of refinement in an abortive paradigm (Q851133): Difference between revisions

@@ Property / cites work @@
+VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724177
@@ Property / cites work: Q2724177 / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the REFINE 2005 workshop, Guildford, UK, April 2005
+Normal rank
@@ Property / cites work @@
+ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4--6, 2003. Proceedings
+Normal rank
@@ Property / cites work @@
+A single complete refinement rule for Z
@@ Property / cites work: A single complete refinement rule for Z / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436965
@@ Property / cites work: Q4436965 / rank @@
+Normal rank
@@ Property / cites work @@
+An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II
+Normal rank
@@ Property / cites work @@
+Q2863832
@@ Property / cites work: Q2863832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4454298
@@ Property / cites work: Q4454298 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4321773
@@ Property / cites work: Q4321773 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Power simulation and its relation to traces and failures refinement
+Normal rank
@@ Property / cites work @@
+A single complete rule for data refinement
@@ Property / cites work: A single complete rule for data refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Waiting time solutions of the shallow water equations
+Normal rank
@@ Property / cites work @@
+Prespecification in data refinement
@@ Property / cites work: Prespecification in data refinement / 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 @@
+Revising \(Z\). I: Logic and semantics
@@ Property / cites work: Revising \(Z\). I: Logic and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Revising \(Z\). II: Logical development
@@ Property / cites work: Revising \(Z\). II: Logical development / rank @@
+Normal rank
@@ Property / cites work @@
+Investigating Z
@@ Property / cites work: Investigating Z / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for schema-based program development
@@ Property / cites work: A logic for schema-based program development / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680194
@@ Property / cites work: Q4680194 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+The specification statement
@@ Property / cites work: The specification statement / rank @@
+Normal rank
@@ Property / cites work @@
+VDM '91. Formal software development methods. Vol. 1: Conference contributions. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank