On the lattice of specifications: Applications to a specification methodology (Q1205187): Difference between revisions

@@ Property / author @@
+Ali Milli
@@ Property / author: Ali Milli / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898009
@@ Property / cites work: Q3898009 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3039003
@@ Property / cites work: Q3039003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3740201
@@ Property / cites work: Q3740201 / rank @@
+Normal rank
@@ Property / cites work @@
+Problem-solving through problems
@@ Property / cites work: Problem-solving through problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4173309
@@ Property / cites work: Q4173309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification methodology: An integrated relational approach
+Normal rank
@@ Property / cites work @@
+Relational heuristics for the design of deterministic programs
+Normal rank
@@ Property / cites work @@
+The specification statement
@@ Property / cites work: The specification statement / rank @@
+Normal rank
@@ Property / cites work @@
+A theoretical basis for stepwise refinement and the programming calculus
+Normal rank
@@ Property / cites work @@
+Q4072797
@@ Property / cites work: Q4072797 / rank @@
+Normal rank