Matches in SemOpenAlex for { <https://semopenalex.org/work/W2120076858> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2120076858 endingPage "55" @default.
- W2120076858 startingPage "48" @default.
- W2120076858 abstract "Software contracts take the form of routine preconditions, postconditions, and class invariants written into the program itself. The design by contract methodology uses such contracts for building each software element, an approach that is particularly appropriate for developing safety-critical software and reusable libraries. This methodology is a key design element of some existing libraries, especially the Eiffel Software development environment, which incorporates contract mechanisms in the programming language itself. Because the authors see the contract metaphor as inherent to quality software development, they undertook the work reported in the article as a sanity check to determine whether they see contracts everywhere simply because their development environment makes using them natural or whether contracts are intrinsically present, even when other designers don't express or even perceive them. They studied classes from the .NET collections library for implicit contracts and assessed improvements that might result from making them explicit." @default.
- W2120076858 created "2016-06-24" @default.
- W2120076858 creator A5006836626 @default.
- W2120076858 creator A5076383014 @default.
- W2120076858 date "2003-11-01" @default.
- W2120076858 modified "2023-10-14" @default.
- W2120076858 title "Cover feature - Uncovering hidden contracts: the .net example" @default.
- W2120076858 cites W2052363833 @default.
- W2120076858 cites W2090496119 @default.
- W2120076858 cites W2166890706 @default.
- W2120076858 cites W3023216518 @default.
- W2120076858 doi "https://doi.org/10.1109/mc.2003.1244535" @default.
- W2120076858 hasPublicationYear "2003" @default.
- W2120076858 type Work @default.
- W2120076858 sameAs 2120076858 @default.
- W2120076858 citedByCount "18" @default.
- W2120076858 countsByYear W21200768582012 @default.
- W2120076858 countsByYear W21200768582013 @default.
- W2120076858 countsByYear W21200768582014 @default.
- W2120076858 countsByYear W21200768582015 @default.
- W2120076858 crossrefType "journal-article" @default.
- W2120076858 hasAuthorship W2120076858A5006836626 @default.
- W2120076858 hasAuthorship W2120076858A5076383014 @default.
- W2120076858 hasConcept C111472728 @default.
- W2120076858 hasConcept C115903868 @default.
- W2120076858 hasConcept C127413603 @default.
- W2120076858 hasConcept C138885662 @default.
- W2120076858 hasConcept C186362262 @default.
- W2120076858 hasConcept C186846655 @default.
- W2120076858 hasConcept C199360897 @default.
- W2120076858 hasConcept C26517878 @default.
- W2120076858 hasConcept C2777904410 @default.
- W2120076858 hasConcept C2778311575 @default.
- W2120076858 hasConcept C2779530757 @default.
- W2120076858 hasConcept C2780428219 @default.
- W2120076858 hasConcept C38652104 @default.
- W2120076858 hasConcept C41008148 @default.
- W2120076858 hasConcept C41895202 @default.
- W2120076858 hasConcept C529173508 @default.
- W2120076858 hasConcept C73752529 @default.
- W2120076858 hasConcept C78519656 @default.
- W2120076858 hasConcept C80291951 @default.
- W2120076858 hasConceptScore W2120076858C111472728 @default.
- W2120076858 hasConceptScore W2120076858C115903868 @default.
- W2120076858 hasConceptScore W2120076858C127413603 @default.
- W2120076858 hasConceptScore W2120076858C138885662 @default.
- W2120076858 hasConceptScore W2120076858C186362262 @default.
- W2120076858 hasConceptScore W2120076858C186846655 @default.
- W2120076858 hasConceptScore W2120076858C199360897 @default.
- W2120076858 hasConceptScore W2120076858C26517878 @default.
- W2120076858 hasConceptScore W2120076858C2777904410 @default.
- W2120076858 hasConceptScore W2120076858C2778311575 @default.
- W2120076858 hasConceptScore W2120076858C2779530757 @default.
- W2120076858 hasConceptScore W2120076858C2780428219 @default.
- W2120076858 hasConceptScore W2120076858C38652104 @default.
- W2120076858 hasConceptScore W2120076858C41008148 @default.
- W2120076858 hasConceptScore W2120076858C41895202 @default.
- W2120076858 hasConceptScore W2120076858C529173508 @default.
- W2120076858 hasConceptScore W2120076858C73752529 @default.
- W2120076858 hasConceptScore W2120076858C78519656 @default.
- W2120076858 hasConceptScore W2120076858C80291951 @default.
- W2120076858 hasIssue "11" @default.
- W2120076858 hasLocation W21200768581 @default.
- W2120076858 hasOpenAccess W2120076858 @default.
- W2120076858 hasPrimaryLocation W21200768581 @default.
- W2120076858 hasRelatedWork W1002434765 @default.
- W2120076858 hasRelatedWork W1518075319 @default.
- W2120076858 hasRelatedWork W1518796915 @default.
- W2120076858 hasRelatedWork W1566936408 @default.
- W2120076858 hasRelatedWork W1870068274 @default.
- W2120076858 hasRelatedWork W2102076681 @default.
- W2120076858 hasRelatedWork W2105142318 @default.
- W2120076858 hasRelatedWork W2114735670 @default.
- W2120076858 hasRelatedWork W2168732959 @default.
- W2120076858 hasRelatedWork W47563837 @default.
- W2120076858 hasVolume "36" @default.
- W2120076858 isParatext "false" @default.
- W2120076858 isRetracted "false" @default.
- W2120076858 magId "2120076858" @default.
- W2120076858 workType "article" @default.