Property transformation under specification change (Q352027): Difference between revisions

@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11704-010-0112-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2140146562
@@ Property / OpenAlex ID: W2140146562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Specification by interface separation
@@ Property / cites work: Specification by interface separation / rank @@
+Normal rank
@@ Property / cites work @@
+Engineering and theoretical underpinnings of retrenchment
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436972
@@ Property / cites work: Q4436972 / rank @@
+Normal rank
@@ Property / cites work @@
+ZB 2005: Formal Specification and Development in Z and B
+Normal rank
@@ Property / cites work @@
+Q2724177
@@ Property / cites work: Q2724177 / rank @@
+Normal rank
@@ Property / cites work @@
+Myths about the mutual exclusion problem
@@ Property / cites work: Myths about the mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940107
@@ Property / cites work: Q4940107 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:352027