Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106579228> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2106579228 endingPage "10" @default.
- W2106579228 startingPage "1" @default.
- W2106579228 abstract "Characterising for contemporary systems is their dependence on constituent systems to provide information, functionality, and scalability. Moreover, as the tasks that systems perform are ever more intimate and critical in their nature, reliability and correctness are great concerns. On these matters, we outline a methodology for formal integration of systems. We claim this formal approach to assist in managing the complexity and correctness, in preserving reliability and in respecting the independence of the constituent systems. As a proof of concept, we integrate two in-house control systems specified independently in the Event-B language with the Rodin Platform tool. Moreover, we show how to introduce a new functionality that is only possible due to the integration. Hence, we formally construct a system of systems and provide the methods for hierarchical integration of those." @default.
- W2106579228 created "2016-06-24" @default.
- W2106579228 creator A5016267924 @default.
- W2106579228 creator A5072544549 @default.
- W2106579228 creator A5081802915 @default.
- W2106579228 creator A5082856589 @default.
- W2106579228 date "2013-08-27" @default.
- W2106579228 modified "2023-09-27" @default.
- W2106579228 title "Formal Development of System of Systems" @default.
- W2106579228 cites W1971486022 @default.
- W2106579228 cites W2015688007 @default.
- W2106579228 cites W2030331955 @default.
- W2106579228 cites W2030828698 @default.
- W2106579228 cites W2033567995 @default.
- W2106579228 cites W2037704142 @default.
- W2106579228 cites W2058107586 @default.
- W2106579228 cites W2066210260 @default.
- W2106579228 cites W2067441543 @default.
- W2106579228 cites W2078117438 @default.
- W2106579228 cites W2128932399 @default.
- W2106579228 cites W2139842876 @default.
- W2106579228 cites W2148782969 @default.
- W2106579228 cites W2169887034 @default.
- W2106579228 cites W2987907651 @default.
- W2106579228 cites W4211008702 @default.
- W2106579228 cites W4247279786 @default.
- W2106579228 doi "https://doi.org/10.1155/2013/457837" @default.
- W2106579228 hasPublicationYear "2013" @default.
- W2106579228 type Work @default.
- W2106579228 sameAs 2106579228 @default.
- W2106579228 citedByCount "0" @default.
- W2106579228 crossrefType "journal-article" @default.
- W2106579228 hasAuthorship W2106579228A5016267924 @default.
- W2106579228 hasAuthorship W2106579228A5072544549 @default.
- W2106579228 hasAuthorship W2106579228A5081802915 @default.
- W2106579228 hasAuthorship W2106579228A5082856589 @default.
- W2106579228 hasBestOaLocation W21065792281 @default.
- W2106579228 hasConcept C111498074 @default.
- W2106579228 hasConcept C115903868 @default.
- W2106579228 hasConcept C120314980 @default.
- W2106579228 hasConcept C121332964 @default.
- W2106579228 hasConcept C163258240 @default.
- W2106579228 hasConcept C199360897 @default.
- W2106579228 hasConcept C2780801425 @default.
- W2106579228 hasConcept C41008148 @default.
- W2106579228 hasConcept C43214815 @default.
- W2106579228 hasConcept C48044578 @default.
- W2106579228 hasConcept C55439883 @default.
- W2106579228 hasConcept C62520636 @default.
- W2106579228 hasConcept C75606506 @default.
- W2106579228 hasConcept C77088390 @default.
- W2106579228 hasConcept C80444323 @default.
- W2106579228 hasConceptScore W2106579228C111498074 @default.
- W2106579228 hasConceptScore W2106579228C115903868 @default.
- W2106579228 hasConceptScore W2106579228C120314980 @default.
- W2106579228 hasConceptScore W2106579228C121332964 @default.
- W2106579228 hasConceptScore W2106579228C163258240 @default.
- W2106579228 hasConceptScore W2106579228C199360897 @default.
- W2106579228 hasConceptScore W2106579228C2780801425 @default.
- W2106579228 hasConceptScore W2106579228C41008148 @default.
- W2106579228 hasConceptScore W2106579228C43214815 @default.
- W2106579228 hasConceptScore W2106579228C48044578 @default.
- W2106579228 hasConceptScore W2106579228C55439883 @default.
- W2106579228 hasConceptScore W2106579228C62520636 @default.
- W2106579228 hasConceptScore W2106579228C75606506 @default.
- W2106579228 hasConceptScore W2106579228C77088390 @default.
- W2106579228 hasConceptScore W2106579228C80444323 @default.
- W2106579228 hasLocation W21065792281 @default.
- W2106579228 hasOpenAccess W2106579228 @default.
- W2106579228 hasPrimaryLocation W21065792281 @default.
- W2106579228 hasRelatedWork W1517976619 @default.
- W2106579228 hasRelatedWork W1601757209 @default.
- W2106579228 hasRelatedWork W1977144985 @default.
- W2106579228 hasRelatedWork W2026335217 @default.
- W2106579228 hasRelatedWork W2099824516 @default.
- W2106579228 hasRelatedWork W2149609054 @default.
- W2106579228 hasRelatedWork W2810816702 @default.
- W2106579228 hasRelatedWork W3091728393 @default.
- W2106579228 hasRelatedWork W3095449116 @default.
- W2106579228 hasRelatedWork W3190680636 @default.
- W2106579228 hasVolume "2013" @default.
- W2106579228 isParatext "false" @default.
- W2106579228 isRetracted "false" @default.
- W2106579228 magId "2106579228" @default.
- W2106579228 workType "article" @default.