Retrenchment and refinement interworking: the tower theorems (Q5740620): Difference between revisions

@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
+Normal rank
@@ Property / cites work @@
+Atomic actions, and their refinements to isolated protocols
+Normal rank
@@ Property / cites work @@
+Composition mechanisms for retrenchment
@@ Property / cites work: Composition mechanisms for retrenchment / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering and theoretical underpinnings of retrenchment
+Normal rank
@@ Property / cites work @@
+Stronger compositions for retrenchments
@@ Property / cites work: Stronger compositions for retrenchments / rank @@
+Normal rank
@@ Property / cites work @@
+Retrenchment for Event-B: UseCase-wise development and Rodin integration
+Normal rank
@@ Property / cites work @@
+Program development by stepwise refinement
@@ Property / cites work: Program development by stepwise 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