Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169627802> ?p ?o ?g. }
- W2169627802 abstract "Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with dependability as a driver, the components need to be adapted to deal with errors coming from their environment. To achieve this, error containment wrappers are often added to increase the robustness of such components. Adopting a gray-box perspective of software, we first present a modular approach for specifying and verifying embedded software made from components, based on concepts from category theory. This modular approach allows the system designer to check for semantic compatibility. To generate the error containment wrappers needed for adaptation, we subsequently present an algorithm that systematically generates the required wrappers. Using the information obtained through wrapper design, we develop an approach to identify relevant test cases to test individual components. We further exploit the modularity of the specification to identify the relevant test cases to perform testing at different levels of SW abstraction." @default.
- W2169627802 created "2016-06-24" @default.
- W2169627802 creator A5005426902 @default.
- W2169627802 creator A5068568445 @default.
- W2169627802 creator A5079786056 @default.
- W2169627802 date "2003-06-25" @default.
- W2169627802 modified "2023-10-14" @default.
- W2169627802 title "An approach to specify and test component-based dependable software" @default.
- W2169627802 cites W1527688737 @default.
- W2169627802 cites W1538342089 @default.
- W2169627802 cites W1568997950 @default.
- W2169627802 cites W1952581049 @default.
- W2169627802 cites W1979248560 @default.
- W2169627802 cites W2004960548 @default.
- W2169627802 cites W2016079676 @default.
- W2169627802 cites W2076253536 @default.
- W2169627802 cites W2109033710 @default.
- W2169627802 cites W2111164171 @default.
- W2169627802 cites W2115484804 @default.
- W2169627802 cites W2121411024 @default.
- W2169627802 cites W2125539770 @default.
- W2169627802 cites W2132264164 @default.
- W2169627802 cites W2134435800 @default.
- W2169627802 cites W2139250089 @default.
- W2169627802 cites W2147661183 @default.
- W2169627802 cites W2150155141 @default.
- W2169627802 cites W2151474392 @default.
- W2169627802 cites W2168230617 @default.
- W2169627802 cites W2499974232 @default.
- W2169627802 cites W2914206182 @default.
- W2169627802 cites W303139982 @default.
- W2169627802 doi "https://doi.org/10.1109/hase.2002.1173125" @default.
- W2169627802 hasPublicationYear "2003" @default.
- W2169627802 type Work @default.
- W2169627802 sameAs 2169627802 @default.
- W2169627802 citedByCount "10" @default.
- W2169627802 crossrefType "proceedings-article" @default.
- W2169627802 hasAuthorship W2169627802A5005426902 @default.
- W2169627802 hasAuthorship W2169627802A5068568445 @default.
- W2169627802 hasAuthorship W2169627802A5079786056 @default.
- W2169627802 hasConcept C101468663 @default.
- W2169627802 hasConcept C104317684 @default.
- W2169627802 hasConcept C115903868 @default.
- W2169627802 hasConcept C119857082 @default.
- W2169627802 hasConcept C127413603 @default.
- W2169627802 hasConcept C128942645 @default.
- W2169627802 hasConcept C149091818 @default.
- W2169627802 hasConcept C152877465 @default.
- W2169627802 hasConcept C165696696 @default.
- W2169627802 hasConcept C165825675 @default.
- W2169627802 hasConcept C174683762 @default.
- W2169627802 hasConcept C185592680 @default.
- W2169627802 hasConcept C186846655 @default.
- W2169627802 hasConcept C199360897 @default.
- W2169627802 hasConcept C200601418 @default.
- W2169627802 hasConcept C2777904410 @default.
- W2169627802 hasConcept C2779478453 @default.
- W2169627802 hasConcept C38652104 @default.
- W2169627802 hasConcept C41008148 @default.
- W2169627802 hasConcept C54355233 @default.
- W2169627802 hasConcept C55493867 @default.
- W2169627802 hasConcept C63479239 @default.
- W2169627802 hasConcept C77019957 @default.
- W2169627802 hasConcept C86803240 @default.
- W2169627802 hasConceptScore W2169627802C101468663 @default.
- W2169627802 hasConceptScore W2169627802C104317684 @default.
- W2169627802 hasConceptScore W2169627802C115903868 @default.
- W2169627802 hasConceptScore W2169627802C119857082 @default.
- W2169627802 hasConceptScore W2169627802C127413603 @default.
- W2169627802 hasConceptScore W2169627802C128942645 @default.
- W2169627802 hasConceptScore W2169627802C149091818 @default.
- W2169627802 hasConceptScore W2169627802C152877465 @default.
- W2169627802 hasConceptScore W2169627802C165696696 @default.
- W2169627802 hasConceptScore W2169627802C165825675 @default.
- W2169627802 hasConceptScore W2169627802C174683762 @default.
- W2169627802 hasConceptScore W2169627802C185592680 @default.
- W2169627802 hasConceptScore W2169627802C186846655 @default.
- W2169627802 hasConceptScore W2169627802C199360897 @default.
- W2169627802 hasConceptScore W2169627802C200601418 @default.
- W2169627802 hasConceptScore W2169627802C2777904410 @default.
- W2169627802 hasConceptScore W2169627802C2779478453 @default.
- W2169627802 hasConceptScore W2169627802C38652104 @default.
- W2169627802 hasConceptScore W2169627802C41008148 @default.
- W2169627802 hasConceptScore W2169627802C54355233 @default.
- W2169627802 hasConceptScore W2169627802C55493867 @default.
- W2169627802 hasConceptScore W2169627802C63479239 @default.
- W2169627802 hasConceptScore W2169627802C77019957 @default.
- W2169627802 hasConceptScore W2169627802C86803240 @default.
- W2169627802 hasLocation W21696278021 @default.
- W2169627802 hasOpenAccess W2169627802 @default.
- W2169627802 hasPrimaryLocation W21696278021 @default.
- W2169627802 hasRelatedWork W1039235300 @default.
- W2169627802 hasRelatedWork W111489515 @default.
- W2169627802 hasRelatedWork W16631048 @default.
- W2169627802 hasRelatedWork W1911502767 @default.
- W2169627802 hasRelatedWork W1995430343 @default.
- W2169627802 hasRelatedWork W2006026292 @default.
- W2169627802 hasRelatedWork W2036727936 @default.
- W2169627802 hasRelatedWork W2091799760 @default.
- W2169627802 hasRelatedWork W2295479797 @default.