Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000775619> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2000775619 endingPage "282" @default.
- W2000775619 startingPage "255" @default.
- W2000775619 abstract "Design by Contract is a method for the development of robust object-oriented software, introducing class invariants as conditions corresponding to the design axioms that should be satisfied by every valid instance of a class. Additionally, the method states formally the way client programs should correctly utilize supplier classes, so that the composition of correct programs may be accomplished. However, the contextual correctness of supplier instances within client programs, only reflected in the client-specific semantics for supplier-class deployment, cannot be expressed through Design by Contract. For instance, supplier instances satisfying the supplier class invariant may not constitute plausible supplier instances in the context of a particular client program. In this context, we introduce application invariants as an extension to Design by Contract, for hosting the contextual-correctness logic for supplier instances, as conditionally defined by client programs. This allows stronger validation of supplier instances, through the dynamic encapsulation of client-specific acceptance filtering, enabling more intensive defect detection. Application invariants are implemented in the context of client classes as methods utilizing correctness condition expressions, are dynamically hosted within supplier instances, while always called by supplier instances when the basic supplier-class invariant test is performed. Copyright © 2005 John Wiley & Sons, Ltd." @default.
- W2000775619 created "2016-06-24" @default.
- W2000775619 creator A5004717794 @default.
- W2000775619 date "2006-03-01" @default.
- W2000775619 modified "2023-09-26" @default.
- W2000775619 title "Application invariants: Design by Contract augmented with deployment correctness logic" @default.
- W2000775619 cites W1493688518 @default.
- W2000775619 cites W1555946950 @default.
- W2000775619 cites W1556368970 @default.
- W2000775619 cites W1593874741 @default.
- W2000775619 cites W1596790865 @default.
- W2000775619 cites W1689913591 @default.
- W2000775619 cites W1959256509 @default.
- W2000775619 cites W1964830323 @default.
- W2000775619 cites W1986453394 @default.
- W2000775619 cites W2137952932 @default.
- W2000775619 cites W2148659619 @default.
- W2000775619 cites W2166985644 @default.
- W2000775619 cites W3185910042 @default.
- W2000775619 hasPublicationYear "2006" @default.
- W2000775619 type Work @default.
- W2000775619 sameAs 2000775619 @default.
- W2000775619 citedByCount "0" @default.
- W2000775619 crossrefType "journal-article" @default.
- W2000775619 hasAuthorship W2000775619A5004717794 @default.
- W2000775619 hasConcept C115903868 @default.
- W2000775619 hasConcept C154945302 @default.
- W2000775619 hasConcept C186846655 @default.
- W2000775619 hasConcept C190470478 @default.
- W2000775619 hasConcept C199360897 @default.
- W2000775619 hasConcept C2777212361 @default.
- W2000775619 hasConcept C2777904410 @default.
- W2000775619 hasConcept C33923547 @default.
- W2000775619 hasConcept C37914503 @default.
- W2000775619 hasConcept C41008148 @default.
- W2000775619 hasConcept C529173508 @default.
- W2000775619 hasConcept C55439883 @default.
- W2000775619 hasConcept C80291951 @default.
- W2000775619 hasConcept C80444323 @default.
- W2000775619 hasConceptScore W2000775619C115903868 @default.
- W2000775619 hasConceptScore W2000775619C154945302 @default.
- W2000775619 hasConceptScore W2000775619C186846655 @default.
- W2000775619 hasConceptScore W2000775619C190470478 @default.
- W2000775619 hasConceptScore W2000775619C199360897 @default.
- W2000775619 hasConceptScore W2000775619C2777212361 @default.
- W2000775619 hasConceptScore W2000775619C2777904410 @default.
- W2000775619 hasConceptScore W2000775619C33923547 @default.
- W2000775619 hasConceptScore W2000775619C37914503 @default.
- W2000775619 hasConceptScore W2000775619C41008148 @default.
- W2000775619 hasConceptScore W2000775619C529173508 @default.
- W2000775619 hasConceptScore W2000775619C55439883 @default.
- W2000775619 hasConceptScore W2000775619C80291951 @default.
- W2000775619 hasConceptScore W2000775619C80444323 @default.
- W2000775619 hasIssue "3" @default.
- W2000775619 hasLocation W20007756191 @default.
- W2000775619 hasOpenAccess W2000775619 @default.
- W2000775619 hasPrimaryLocation W20007756191 @default.
- W2000775619 hasRelatedWork W1499521315 @default.
- W2000775619 hasRelatedWork W1569299328 @default.
- W2000775619 hasRelatedWork W208050923 @default.
- W2000775619 hasRelatedWork W2115175274 @default.
- W2000775619 hasRelatedWork W2146077028 @default.
- W2000775619 hasRelatedWork W2204046338 @default.
- W2000775619 hasRelatedWork W2280620985 @default.
- W2000775619 hasRelatedWork W2462635679 @default.
- W2000775619 hasRelatedWork W2500481350 @default.
- W2000775619 hasRelatedWork W2514455890 @default.
- W2000775619 hasRelatedWork W2786556167 @default.
- W2000775619 hasRelatedWork W2806714163 @default.
- W2000775619 hasRelatedWork W2824429000 @default.
- W2000775619 hasRelatedWork W2963666856 @default.
- W2000775619 hasRelatedWork W3099703838 @default.
- W2000775619 hasRelatedWork W3117747542 @default.
- W2000775619 hasRelatedWork W3121734556 @default.
- W2000775619 hasRelatedWork W3193995880 @default.
- W2000775619 hasRelatedWork W3211718670 @default.
- W2000775619 hasRelatedWork W34188793 @default.
- W2000775619 hasVolume "36" @default.
- W2000775619 isParatext "false" @default.
- W2000775619 isRetracted "false" @default.
- W2000775619 magId "2000775619" @default.
- W2000775619 workType "article" @default.