Matches in SemOpenAlex for { <https://semopenalex.org/work/W4302433153> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4302433153 abstract "The success of a number of projects has been shown to be significantly improved by the use of a formalism. However, there remains an open issue: to what extent can a development process based on a singular formal notation and method succeed. The majority of approaches demonstrate a low level of flexibility by attempting to use a single notation to express all of the different aspects encountered in software development. Often, these approaches leave a number of scalability issues open. We prefer a more eclectic approach. In our experience, the use of a formalism-based toolkit with adequate notations for each development phase is a viable solution. Following this principle, any specific notation is used only where and when it is really suitable and not necessarily over the entire software lifecycle. The approach explored in this article is perhaps slowly emerging in practice - we hope to accelerate its adoption. However, the major challenge is still finding the best way to instantiate it for each specific application scenario. In this work, we describe a development process and method for automotive applications which consists of five phases. The process recognizes the need for having adequate (and tailored) notations (Problem Frames, Requirements State Machine Language, and Event-B) for each development phase as well as direct traceability between the documents produced during each phase. This allows for a stepwise verification/validation of the system under development. The ideas for the formal development method have evolved over two significant case studies carried out in the DEPLOY project." @default.
- W4302433153 created "2022-10-06" @default.
- W4302433153 creator A5035443939 @default.
- W4302433153 creator A5042935023 @default.
- W4302433153 creator A5047697116 @default.
- W4302433153 creator A5061369742 @default.
- W4302433153 creator A5068358720 @default.
- W4302433153 creator A5075175655 @default.
- W4302433153 date "2013-11-24" @default.
- W4302433153 modified "2023-09-25" @default.
- W4302433153 title "Towards a Formalism-Based Toolkit for Automotive Applications" @default.
- W4302433153 doi "https://doi.org/10.48550/arxiv.1311.6145" @default.
- W4302433153 hasPublicationYear "2013" @default.
- W4302433153 type Work @default.
- W4302433153 citedByCount "0" @default.
- W4302433153 crossrefType "posted-content" @default.
- W4302433153 hasAuthorship W4302433153A5035443939 @default.
- W4302433153 hasAuthorship W4302433153A5042935023 @default.
- W4302433153 hasAuthorship W4302433153A5047697116 @default.
- W4302433153 hasAuthorship W4302433153A5061369742 @default.
- W4302433153 hasAuthorship W4302433153A5068358720 @default.
- W4302433153 hasAuthorship W4302433153A5075175655 @default.
- W4302433153 hasBestOaLocation W43024331531 @default.
- W4302433153 hasConcept C115903868 @default.
- W4302433153 hasConcept C127413603 @default.
- W4302433153 hasConcept C142362112 @default.
- W4302433153 hasConcept C146978453 @default.
- W4302433153 hasConcept C153349607 @default.
- W4302433153 hasConcept C153876917 @default.
- W4302433153 hasConcept C180152950 @default.
- W4302433153 hasConcept C192698709 @default.
- W4302433153 hasConcept C199360897 @default.
- W4302433153 hasConcept C2777904410 @default.
- W4302433153 hasConcept C33923547 @default.
- W4302433153 hasConcept C41008148 @default.
- W4302433153 hasConcept C45357846 @default.
- W4302433153 hasConcept C48044578 @default.
- W4302433153 hasConcept C526921623 @default.
- W4302433153 hasConcept C529173508 @default.
- W4302433153 hasConcept C558565934 @default.
- W4302433153 hasConcept C73301696 @default.
- W4302433153 hasConcept C75606506 @default.
- W4302433153 hasConcept C77088390 @default.
- W4302433153 hasConcept C94375191 @default.
- W4302433153 hasConceptScore W4302433153C115903868 @default.
- W4302433153 hasConceptScore W4302433153C127413603 @default.
- W4302433153 hasConceptScore W4302433153C142362112 @default.
- W4302433153 hasConceptScore W4302433153C146978453 @default.
- W4302433153 hasConceptScore W4302433153C153349607 @default.
- W4302433153 hasConceptScore W4302433153C153876917 @default.
- W4302433153 hasConceptScore W4302433153C180152950 @default.
- W4302433153 hasConceptScore W4302433153C192698709 @default.
- W4302433153 hasConceptScore W4302433153C199360897 @default.
- W4302433153 hasConceptScore W4302433153C2777904410 @default.
- W4302433153 hasConceptScore W4302433153C33923547 @default.
- W4302433153 hasConceptScore W4302433153C41008148 @default.
- W4302433153 hasConceptScore W4302433153C45357846 @default.
- W4302433153 hasConceptScore W4302433153C48044578 @default.
- W4302433153 hasConceptScore W4302433153C526921623 @default.
- W4302433153 hasConceptScore W4302433153C529173508 @default.
- W4302433153 hasConceptScore W4302433153C558565934 @default.
- W4302433153 hasConceptScore W4302433153C73301696 @default.
- W4302433153 hasConceptScore W4302433153C75606506 @default.
- W4302433153 hasConceptScore W4302433153C77088390 @default.
- W4302433153 hasConceptScore W4302433153C94375191 @default.
- W4302433153 hasLocation W43024331531 @default.
- W4302433153 hasLocation W43024331532 @default.
- W4302433153 hasLocation W43024331533 @default.
- W4302433153 hasOpenAccess W4302433153 @default.
- W4302433153 hasPrimaryLocation W43024331531 @default.
- W4302433153 hasRelatedWork W1135387179 @default.
- W4302433153 hasRelatedWork W1541085282 @default.
- W4302433153 hasRelatedWork W2072171199 @default.
- W4302433153 hasRelatedWork W2121507724 @default.
- W4302433153 hasRelatedWork W2125996595 @default.
- W4302433153 hasRelatedWork W2167237435 @default.
- W4302433153 hasRelatedWork W285671046 @default.
- W4302433153 hasRelatedWork W2952460095 @default.
- W4302433153 hasRelatedWork W4302433153 @default.
- W4302433153 hasRelatedWork W91200671 @default.
- W4302433153 isParatext "false" @default.
- W4302433153 isRetracted "false" @default.
- W4302433153 workType "article" @default.