Matches in SemOpenAlex for { <https://semopenalex.org/work/W2483292535> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2483292535 endingPage "241" @default.
- W2483292535 startingPage "209" @default.
- W2483292535 abstract "The development of complex computer-based systems poses two fundamental challenges. On one side, the architectural decomposition must be complemented by a suitable refinement of the requirements. On the other side, it is fundamental to provide the means for component reuse in order to limit development costs. In this chapter, the authors discuss the approach taken in FoReVeR, a project funded by the European Space Agency (ESA), where these two issues are tackled in the setting of space systems. The approach taken in FoReVeR is based on the idea of contracts, which allow one to formally specify the requirements of components at different levels of abstraction and to formally prove the correctness of requirements decomposition. In particular, the authors show how system-level requirements can be progressively refined into software requirements and how the contract-based framework supports the reuse of the components of a reference architecture under development by ESA. The authors discuss how the proposed solution has been integrated in a space development process and present the results of case studies." @default.
- W2483292535 created "2016-08-23" @default.
- W2483292535 creator A5010111097 @default.
- W2483292535 creator A5017426974 @default.
- W2483292535 creator A5018618502 @default.
- W2483292535 creator A5040715391 @default.
- W2483292535 creator A5062594280 @default.
- W2483292535 creator A5077687136 @default.
- W2483292535 date "2014-01-01" @default.
- W2483292535 modified "2023-09-23" @default.
- W2483292535 title "Requirements Refinement and Component Reuse" @default.
- W2483292535 cites W1546573565 @default.
- W2483292535 cites W1594976552 @default.
- W2483292535 cites W1776738182 @default.
- W2483292535 cites W1970488655 @default.
- W2483292535 cites W1987023830 @default.
- W2483292535 cites W2023808162 @default.
- W2483292535 cites W2028287022 @default.
- W2483292535 cites W2090669830 @default.
- W2483292535 cites W2116352900 @default.
- W2483292535 cites W2122824813 @default.
- W2483292535 cites W2139872812 @default.
- W2483292535 cites W2165203881 @default.
- W2483292535 doi "https://doi.org/10.4018/978-1-4666-6194-3.ch009" @default.
- W2483292535 hasPublicationYear "2014" @default.
- W2483292535 type Work @default.
- W2483292535 sameAs 2483292535 @default.
- W2483292535 citedByCount "6" @default.
- W2483292535 countsByYear W24832925352015 @default.
- W2483292535 countsByYear W24832925352016 @default.
- W2483292535 countsByYear W24832925352017 @default.
- W2483292535 countsByYear W24832925352018 @default.
- W2483292535 countsByYear W24832925352022 @default.
- W2483292535 crossrefType "book-chapter" @default.
- W2483292535 hasAuthorship W2483292535A5010111097 @default.
- W2483292535 hasAuthorship W2483292535A5017426974 @default.
- W2483292535 hasAuthorship W2483292535A5018618502 @default.
- W2483292535 hasAuthorship W2483292535A5040715391 @default.
- W2483292535 hasAuthorship W2483292535A5062594280 @default.
- W2483292535 hasAuthorship W2483292535A5077687136 @default.
- W2483292535 hasConcept C111472728 @default.
- W2483292535 hasConcept C115903868 @default.
- W2483292535 hasConcept C121332964 @default.
- W2483292535 hasConcept C124304363 @default.
- W2483292535 hasConcept C124681953 @default.
- W2483292535 hasConcept C127413603 @default.
- W2483292535 hasConcept C138885662 @default.
- W2483292535 hasConcept C168167062 @default.
- W2483292535 hasConcept C18903297 @default.
- W2483292535 hasConcept C199360897 @default.
- W2483292535 hasConcept C201995342 @default.
- W2483292535 hasConcept C206588197 @default.
- W2483292535 hasConcept C41008148 @default.
- W2483292535 hasConcept C548081761 @default.
- W2483292535 hasConcept C55439883 @default.
- W2483292535 hasConcept C86803240 @default.
- W2483292535 hasConcept C97355855 @default.
- W2483292535 hasConcept C98045186 @default.
- W2483292535 hasConceptScore W2483292535C111472728 @default.
- W2483292535 hasConceptScore W2483292535C115903868 @default.
- W2483292535 hasConceptScore W2483292535C121332964 @default.
- W2483292535 hasConceptScore W2483292535C124304363 @default.
- W2483292535 hasConceptScore W2483292535C124681953 @default.
- W2483292535 hasConceptScore W2483292535C127413603 @default.
- W2483292535 hasConceptScore W2483292535C138885662 @default.
- W2483292535 hasConceptScore W2483292535C168167062 @default.
- W2483292535 hasConceptScore W2483292535C18903297 @default.
- W2483292535 hasConceptScore W2483292535C199360897 @default.
- W2483292535 hasConceptScore W2483292535C201995342 @default.
- W2483292535 hasConceptScore W2483292535C206588197 @default.
- W2483292535 hasConceptScore W2483292535C41008148 @default.
- W2483292535 hasConceptScore W2483292535C548081761 @default.
- W2483292535 hasConceptScore W2483292535C55439883 @default.
- W2483292535 hasConceptScore W2483292535C86803240 @default.
- W2483292535 hasConceptScore W2483292535C97355855 @default.
- W2483292535 hasConceptScore W2483292535C98045186 @default.
- W2483292535 hasLocation W24832925351 @default.
- W2483292535 hasOpenAccess W2483292535 @default.
- W2483292535 hasPrimaryLocation W24832925351 @default.
- W2483292535 hasRelatedWork W1759303344 @default.
- W2483292535 hasRelatedWork W2062371367 @default.
- W2483292535 hasRelatedWork W2093892847 @default.
- W2483292535 hasRelatedWork W2127564302 @default.
- W2483292535 hasRelatedWork W2144544021 @default.
- W2483292535 hasRelatedWork W2349883060 @default.
- W2483292535 hasRelatedWork W2387981732 @default.
- W2483292535 hasRelatedWork W2388233637 @default.
- W2483292535 hasRelatedWork W564251926 @default.
- W2483292535 hasRelatedWork W2468989706 @default.
- W2483292535 isParatext "false" @default.
- W2483292535 isRetracted "false" @default.
- W2483292535 magId "2483292535" @default.
- W2483292535 workType "book-chapter" @default.