Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490346992> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1490346992 abstract "In this paper, we consider interface contracts as a possible mechanism for improving semantic integrity in component-based systems. A contract is essentially a formal specification interleaved with code and allowing a component or object to unambiguously specify its behaviour. The existing techniques that we survey are predominantly designed for object-oriented systems; we therefore investigate the extent to which they can be scaled up to the level of components, and embedded in interface specifications rather than code. We conclude that interleaved specifications are viable and useful at the level of components, but that future work is required to develop languages that can express the constraints that are important at this level of granularity." @default.
- W1490346992 created "2016-06-24" @default.
- W1490346992 creator A5013603769 @default.
- W1490346992 creator A5085928016 @default.
- W1490346992 date "2003-01-01" @default.
- W1490346992 modified "2023-09-25" @default.
- W1490346992 title "Techniques for Embedding Executable Specifications in Software Component Interfaces" @default.
- W1490346992 cites W1583826417 @default.
- W1490346992 cites W1601712140 @default.
- W1490346992 cites W1991507543 @default.
- W1490346992 cites W2013492611 @default.
- W1490346992 cites W2099008194 @default.
- W1490346992 cites W2114701528 @default.
- W1490346992 cites W2164859807 @default.
- W1490346992 cites W2168468191 @default.
- W1490346992 cites W2987907651 @default.
- W1490346992 cites W4296471858 @default.
- W1490346992 doi "https://doi.org/10.1007/3-540-36465-x_14" @default.
- W1490346992 hasPublicationYear "2003" @default.
- W1490346992 type Work @default.
- W1490346992 sameAs 1490346992 @default.
- W1490346992 citedByCount "5" @default.
- W1490346992 crossrefType "book-chapter" @default.
- W1490346992 hasAuthorship W1490346992A5013603769 @default.
- W1490346992 hasAuthorship W1490346992A5085928016 @default.
- W1490346992 hasConcept C111919701 @default.
- W1490346992 hasConcept C113843644 @default.
- W1490346992 hasConcept C115903868 @default.
- W1490346992 hasConcept C116253237 @default.
- W1490346992 hasConcept C121332964 @default.
- W1490346992 hasConcept C129307140 @default.
- W1490346992 hasConcept C154945302 @default.
- W1490346992 hasConcept C157915830 @default.
- W1490346992 hasConcept C160145156 @default.
- W1490346992 hasConcept C168167062 @default.
- W1490346992 hasConcept C174683762 @default.
- W1490346992 hasConcept C177264268 @default.
- W1490346992 hasConcept C177774035 @default.
- W1490346992 hasConcept C199360897 @default.
- W1490346992 hasConcept C2776760102 @default.
- W1490346992 hasConcept C2777904410 @default.
- W1490346992 hasConcept C2781238097 @default.
- W1490346992 hasConcept C41008148 @default.
- W1490346992 hasConcept C41608201 @default.
- W1490346992 hasConcept C529173508 @default.
- W1490346992 hasConcept C73752529 @default.
- W1490346992 hasConcept C97355855 @default.
- W1490346992 hasConceptScore W1490346992C111919701 @default.
- W1490346992 hasConceptScore W1490346992C113843644 @default.
- W1490346992 hasConceptScore W1490346992C115903868 @default.
- W1490346992 hasConceptScore W1490346992C116253237 @default.
- W1490346992 hasConceptScore W1490346992C121332964 @default.
- W1490346992 hasConceptScore W1490346992C129307140 @default.
- W1490346992 hasConceptScore W1490346992C154945302 @default.
- W1490346992 hasConceptScore W1490346992C157915830 @default.
- W1490346992 hasConceptScore W1490346992C160145156 @default.
- W1490346992 hasConceptScore W1490346992C168167062 @default.
- W1490346992 hasConceptScore W1490346992C174683762 @default.
- W1490346992 hasConceptScore W1490346992C177264268 @default.
- W1490346992 hasConceptScore W1490346992C177774035 @default.
- W1490346992 hasConceptScore W1490346992C199360897 @default.
- W1490346992 hasConceptScore W1490346992C2776760102 @default.
- W1490346992 hasConceptScore W1490346992C2777904410 @default.
- W1490346992 hasConceptScore W1490346992C2781238097 @default.
- W1490346992 hasConceptScore W1490346992C41008148 @default.
- W1490346992 hasConceptScore W1490346992C41608201 @default.
- W1490346992 hasConceptScore W1490346992C529173508 @default.
- W1490346992 hasConceptScore W1490346992C73752529 @default.
- W1490346992 hasConceptScore W1490346992C97355855 @default.
- W1490346992 hasLocation W14903469921 @default.
- W1490346992 hasOpenAccess W1490346992 @default.
- W1490346992 hasPrimaryLocation W14903469921 @default.
- W1490346992 hasRelatedWork W1520261999 @default.
- W1490346992 hasRelatedWork W1528692333 @default.
- W1490346992 hasRelatedWork W1601251910 @default.
- W1490346992 hasRelatedWork W1967499492 @default.
- W1490346992 hasRelatedWork W2026046761 @default.
- W1490346992 hasRelatedWork W2100424584 @default.
- W1490346992 hasRelatedWork W2546978246 @default.
- W1490346992 hasRelatedWork W2748872428 @default.
- W1490346992 hasRelatedWork W2999589555 @default.
- W1490346992 hasRelatedWork W3032775210 @default.
- W1490346992 isParatext "false" @default.
- W1490346992 isRetracted "false" @default.
- W1490346992 magId "1490346992" @default.
- W1490346992 workType "book-chapter" @default.