Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570594366> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1570594366 endingPage "188" @default.
- W1570594366 startingPage "174" @default.
- W1570594366 abstract "Recently, Space Systems Finland has undertaken formal Event B development of a part of the on-board software for the BepiColombo space mission. As a result, lack of modularisation mechanisms in Event B has been identified as a serious obstacle to scalability. One of the main benefits of modularisation is that it allows us to decompose system models into components that can be independently developed. It also helps to manage complexity of models that in the industrial setting are usually very large and difficult to comprehend. On the other hand, modularisation enables reuse of formally developed components in the formal product line development. In this paper we propose a conservative extension of Event B formalism to support modularisation. We demonstrate how our approach can support reuse in the formal development in the space domain." @default.
- W1570594366 created "2016-06-24" @default.
- W1570594366 creator A5013810800 @default.
- W1570594366 creator A5014617388 @default.
- W1570594366 creator A5045498426 @default.
- W1570594366 creator A5050355269 @default.
- W1570594366 creator A5061369742 @default.
- W1570594366 creator A5070192715 @default.
- W1570594366 creator A5079640086 @default.
- W1570594366 date "2010-01-01" @default.
- W1570594366 modified "2023-09-23" @default.
- W1570594366 title "Supporting Reuse in Event B Development: Modularisation Approach" @default.
- W1570594366 cites W1489503486 @default.
- W1570594366 cites W1598636284 @default.
- W1570594366 cites W2015744089 @default.
- W1570594366 cites W2037704142 @default.
- W1570594366 cites W2084291524 @default.
- W1570594366 cites W2293400264 @default.
- W1570594366 cites W4254354208 @default.
- W1570594366 cites W580039167 @default.
- W1570594366 doi "https://doi.org/10.1007/978-3-642-11811-1_14" @default.
- W1570594366 hasPublicationYear "2010" @default.
- W1570594366 type Work @default.
- W1570594366 sameAs 1570594366 @default.
- W1570594366 citedByCount "50" @default.
- W1570594366 countsByYear W15705943662012 @default.
- W1570594366 countsByYear W15705943662013 @default.
- W1570594366 countsByYear W15705943662014 @default.
- W1570594366 countsByYear W15705943662015 @default.
- W1570594366 countsByYear W15705943662016 @default.
- W1570594366 countsByYear W15705943662017 @default.
- W1570594366 countsByYear W15705943662018 @default.
- W1570594366 countsByYear W15705943662019 @default.
- W1570594366 countsByYear W15705943662020 @default.
- W1570594366 countsByYear W15705943662021 @default.
- W1570594366 countsByYear W15705943662022 @default.
- W1570594366 crossrefType "book-chapter" @default.
- W1570594366 hasAuthorship W1570594366A5013810800 @default.
- W1570594366 hasAuthorship W1570594366A5014617388 @default.
- W1570594366 hasAuthorship W1570594366A5045498426 @default.
- W1570594366 hasAuthorship W1570594366A5050355269 @default.
- W1570594366 hasAuthorship W1570594366A5061369742 @default.
- W1570594366 hasAuthorship W1570594366A5070192715 @default.
- W1570594366 hasAuthorship W1570594366A5079640086 @default.
- W1570594366 hasConcept C115903868 @default.
- W1570594366 hasConcept C121332964 @default.
- W1570594366 hasConcept C127413603 @default.
- W1570594366 hasConcept C199360897 @default.
- W1570594366 hasConcept C201995342 @default.
- W1570594366 hasConcept C206588197 @default.
- W1570594366 hasConcept C2779662365 @default.
- W1570594366 hasConcept C41008148 @default.
- W1570594366 hasConcept C548081761 @default.
- W1570594366 hasConcept C62520636 @default.
- W1570594366 hasConceptScore W1570594366C115903868 @default.
- W1570594366 hasConceptScore W1570594366C121332964 @default.
- W1570594366 hasConceptScore W1570594366C127413603 @default.
- W1570594366 hasConceptScore W1570594366C199360897 @default.
- W1570594366 hasConceptScore W1570594366C201995342 @default.
- W1570594366 hasConceptScore W1570594366C206588197 @default.
- W1570594366 hasConceptScore W1570594366C2779662365 @default.
- W1570594366 hasConceptScore W1570594366C41008148 @default.
- W1570594366 hasConceptScore W1570594366C548081761 @default.
- W1570594366 hasConceptScore W1570594366C62520636 @default.
- W1570594366 hasLocation W15705943661 @default.
- W1570594366 hasOpenAccess W1570594366 @default.
- W1570594366 hasPrimaryLocation W15705943661 @default.
- W1570594366 hasRelatedWork W1965725810 @default.
- W1570594366 hasRelatedWork W2067623886 @default.
- W1570594366 hasRelatedWork W2144544021 @default.
- W1570594366 hasRelatedWork W2161437433 @default.
- W1570594366 hasRelatedWork W2166247150 @default.
- W1570594366 hasRelatedWork W2325996004 @default.
- W1570594366 hasRelatedWork W2353424795 @default.
- W1570594366 hasRelatedWork W2387981732 @default.
- W1570594366 hasRelatedWork W2561859999 @default.
- W1570594366 hasRelatedWork W4243252198 @default.
- W1570594366 isParatext "false" @default.
- W1570594366 isRetracted "false" @default.
- W1570594366 magId "1570594366" @default.
- W1570594366 workType "book-chapter" @default.