Formal design and implementation of constraints in software components (Q964358): Difference between revisions

@@ Property / describes a project that uses @@
+jContractor
@@ Property / describes a project that uses: jContractor / 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.1016/j.advengsoft.2009.12.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2024412873
@@ Property / OpenAlex ID: W2024412873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
+Normal rank
@@ Property / cites work @@
+Q4411713
@@ Property / cites work: Q4411713 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:964358