A single complete rule for data refinement (Q684396): Difference between revisions

@@ Property / author @@
-Paul H. B. Gardiner
@@ Property / author: Paul H. B. Gardiner / rank @@
-Normal rank
@@ Property / author @@
+Paul H. B. Gardiner
@@ Property / author: Paul H. B. Gardiner / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+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 @@
+Data refinement of predicate transformers
@@ Property / cites work: Data refinement of predicate transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713577
@@ Property / cites work: Q3713577 / rank @@
+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 @@
+Q3707340
@@ Property / cites work: Q3707340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Data refinement by calculation
@@ Property / cites work: Data refinement by calculation / rank @@
+Normal rank
@@ Property / cites work @@
+Auxiliary variables in data refinement
@@ Property / cites work: Auxiliary variables in data refinement / rank @@
+Normal rank
@@ Property / cites work @@
+The specification statement
@@ Property / cites work: The specification statement / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of data refinement
@@ Property / cites work: Laws of data refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932278
@@ Property / cites work: Q3932278 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01212407
+Normal rank
@@ Property / OpenAlex ID @@
+W4241804335
@@ Property / OpenAlex ID: W4241804335 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:684396