Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091570652> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2091570652 endingPage "229" @default.
- W2091570652 startingPage "207" @default.
- W2091570652 abstract "For widespread reuse in a component-based software industry, a component must be designed and developed to be reused. Benefits of reuse are maximized when a component is reused “as is” (possibly with provisions for expected customization, such as through parameters), based only on its specification. The expression of the specification of a component is crucial in this setting. The specification must be formal, yet understandable, as well as abstract and implementation-independent. The specification also must make it possible to demonstrate correctness of an implementation of the specification and permit formal reasoning about its behavior in a client program. This paper explains how it is possible to write specifications with these properties in RESOLVE, a conceptual framework that we have developed for constructing reusable software components." @default.
- W2091570652 created "2016-06-24" @default.
- W2091570652 creator A5047326006 @default.
- W2091570652 creator A5052330332 @default.
- W2091570652 creator A5069844269 @default.
- W2091570652 date "1993-06-01" @default.
- W2091570652 modified "2023-10-06" @default.
- W2091570652 title "ON SPECIFICATION OF REUSABLE SOFTWARE COMPONENTS" @default.
- W2091570652 doi "https://doi.org/10.1142/s0218194093000100" @default.
- W2091570652 hasPublicationYear "1993" @default.
- W2091570652 type Work @default.
- W2091570652 sameAs 2091570652 @default.
- W2091570652 citedByCount "33" @default.
- W2091570652 crossrefType "journal-article" @default.
- W2091570652 hasAuthorship W2091570652A5047326006 @default.
- W2091570652 hasAuthorship W2091570652A5052330332 @default.
- W2091570652 hasAuthorship W2091570652A5069844269 @default.
- W2091570652 hasConcept C102780508 @default.
- W2091570652 hasConcept C115903868 @default.
- W2091570652 hasConcept C116253237 @default.
- W2091570652 hasConcept C121332964 @default.
- W2091570652 hasConcept C127413603 @default.
- W2091570652 hasConcept C168167062 @default.
- W2091570652 hasConcept C174683762 @default.
- W2091570652 hasConcept C186846655 @default.
- W2091570652 hasConcept C199360897 @default.
- W2091570652 hasConcept C206588197 @default.
- W2091570652 hasConcept C2777904410 @default.
- W2091570652 hasConcept C41008148 @default.
- W2091570652 hasConcept C529173508 @default.
- W2091570652 hasConcept C548081761 @default.
- W2091570652 hasConcept C55439883 @default.
- W2091570652 hasConcept C75606506 @default.
- W2091570652 hasConcept C80291951 @default.
- W2091570652 hasConcept C97355855 @default.
- W2091570652 hasConceptScore W2091570652C102780508 @default.
- W2091570652 hasConceptScore W2091570652C115903868 @default.
- W2091570652 hasConceptScore W2091570652C116253237 @default.
- W2091570652 hasConceptScore W2091570652C121332964 @default.
- W2091570652 hasConceptScore W2091570652C127413603 @default.
- W2091570652 hasConceptScore W2091570652C168167062 @default.
- W2091570652 hasConceptScore W2091570652C174683762 @default.
- W2091570652 hasConceptScore W2091570652C186846655 @default.
- W2091570652 hasConceptScore W2091570652C199360897 @default.
- W2091570652 hasConceptScore W2091570652C206588197 @default.
- W2091570652 hasConceptScore W2091570652C2777904410 @default.
- W2091570652 hasConceptScore W2091570652C41008148 @default.
- W2091570652 hasConceptScore W2091570652C529173508 @default.
- W2091570652 hasConceptScore W2091570652C548081761 @default.
- W2091570652 hasConceptScore W2091570652C55439883 @default.
- W2091570652 hasConceptScore W2091570652C75606506 @default.
- W2091570652 hasConceptScore W2091570652C80291951 @default.
- W2091570652 hasConceptScore W2091570652C97355855 @default.
- W2091570652 hasIssue "02" @default.
- W2091570652 hasLocation W20915706521 @default.
- W2091570652 hasOpenAccess W2091570652 @default.
- W2091570652 hasPrimaryLocation W20915706521 @default.
- W2091570652 hasRelatedWork W1755017290 @default.
- W2091570652 hasRelatedWork W1911633385 @default.
- W2091570652 hasRelatedWork W1970875812 @default.
- W2091570652 hasRelatedWork W2024280800 @default.
- W2091570652 hasRelatedWork W2082318398 @default.
- W2091570652 hasRelatedWork W2116177699 @default.
- W2091570652 hasRelatedWork W2127984352 @default.
- W2091570652 hasRelatedWork W2142425794 @default.
- W2091570652 hasRelatedWork W2166090385 @default.
- W2091570652 hasRelatedWork W629506503 @default.
- W2091570652 hasVolume "03" @default.
- W2091570652 isParatext "false" @default.
- W2091570652 isRetracted "false" @default.
- W2091570652 magId "2091570652" @default.
- W2091570652 workType "article" @default.