FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952280609> ?p ?o ?g. }

• W2952280609 abstract "In this paper we outline a software development process for safety-critical systems that aims at combining some of the specific strengths of model-based development with those of programming language based development using safety-critical subsets of Ada. Model-based software development and model-based test case generation techniques are combined with code generation techniques and tools providing a transition from model to code both for a system itself and for its test cases. This allows developers to combine domain-oriented, model-based techniques with source code based validation techniques, as required for conformity with standards for the development of safety-critical software, such as the avionics standard RTCA/DO-178B. We introduce the AutoFocus and Validator modeling and validation toolset and sketch its usage for modeling, test case generation, and code generation in a combined approach, which is further illustrated by a simplified leading edge aerospace model with built-in fault tolerance." @default.
• W2952280609 created "2019-06-27" @default.
• W2952280609 creator A5001880350 @default.
• W2952280609 creator A5002011805 @default.
• W2952280609 creator A5002977474 @default.
• W2952280609 creator A5020433714 @default.
• W2952280609 creator A5038539566 @default.
• W2952280609 creator A5041466060 @default.
• W2952280609 date "2002-01-26" @default.
• W2952280609 modified "2023-09-27" @default.
• W2952280609 title "Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems" @default.
• W2952280609 cites W1509650477 @default.
• W2952280609 cites W1518379336 @default.
• W2952280609 cites W1680983300 @default.
• W2952280609 cites W2037818628 @default.
• W2952280609 cites W2159765281 @default.
• W2952280609 cites W2725916269 @default.
• W2952280609 hasPublicationYear "2002" @default.
• W2952280609 type Work @default.
• W2952280609 sameAs 2952280609 @default.
• W2952280609 citedByCount "0" @default.
• W2952280609 crossrefType "posted-content" @default.
• W2952280609 hasAuthorship W2952280609A5001880350 @default.
• W2952280609 hasAuthorship W2952280609A5002011805 @default.
• W2952280609 hasAuthorship W2952280609A5002977474 @default.
• W2952280609 hasAuthorship W2952280609A5020433714 @default.
• W2952280609 hasAuthorship W2952280609A5038539566 @default.
• W2952280609 hasAuthorship W2952280609A5041466060 @default.
• W2952280609 hasConcept C109905503 @default.
• W2952280609 hasConcept C111919701 @default.
• W2952280609 hasConcept C115903868 @default.
• W2952280609 hasConcept C119857082 @default.
• W2952280609 hasConcept C127413603 @default.
• W2952280609 hasConcept C128942645 @default.
• W2952280609 hasConcept C133162039 @default.
• W2952280609 hasConcept C136764020 @default.
• W2952280609 hasConcept C137287247 @default.
• W2952280609 hasConcept C146978453 @default.
• W2952280609 hasConcept C152877465 @default.
• W2952280609 hasConcept C15792166 @default.
• W2952280609 hasConcept C165825675 @default.
• W2952280609 hasConcept C180152950 @default.
• W2952280609 hasConcept C186846655 @default.
• W2952280609 hasConcept C195672273 @default.
• W2952280609 hasConcept C199360897 @default.
• W2952280609 hasConcept C201995342 @default.
• W2952280609 hasConcept C21547014 @default.
• W2952280609 hasConcept C26517878 @default.
• W2952280609 hasConcept C2777904410 @default.
• W2952280609 hasConcept C35292069 @default.
• W2952280609 hasConcept C41008148 @default.
• W2952280609 hasConcept C44154836 @default.
• W2952280609 hasConcept C48002344 @default.
• W2952280609 hasConcept C529173508 @default.
• W2952280609 hasConcept C53942775 @default.
• W2952280609 hasConceptScore W2952280609C109905503 @default.
• W2952280609 hasConceptScore W2952280609C111919701 @default.
• W2952280609 hasConceptScore W2952280609C115903868 @default.
• W2952280609 hasConceptScore W2952280609C119857082 @default.
• W2952280609 hasConceptScore W2952280609C127413603 @default.
• W2952280609 hasConceptScore W2952280609C128942645 @default.
• W2952280609 hasConceptScore W2952280609C133162039 @default.
• W2952280609 hasConceptScore W2952280609C136764020 @default.
• W2952280609 hasConceptScore W2952280609C137287247 @default.
• W2952280609 hasConceptScore W2952280609C146978453 @default.
• W2952280609 hasConceptScore W2952280609C152877465 @default.
• W2952280609 hasConceptScore W2952280609C15792166 @default.
• W2952280609 hasConceptScore W2952280609C165825675 @default.
• W2952280609 hasConceptScore W2952280609C180152950 @default.
• W2952280609 hasConceptScore W2952280609C186846655 @default.
• W2952280609 hasConceptScore W2952280609C195672273 @default.
• W2952280609 hasConceptScore W2952280609C199360897 @default.
• W2952280609 hasConceptScore W2952280609C201995342 @default.
• W2952280609 hasConceptScore W2952280609C21547014 @default.
• W2952280609 hasConceptScore W2952280609C26517878 @default.
• W2952280609 hasConceptScore W2952280609C2777904410 @default.
• W2952280609 hasConceptScore W2952280609C35292069 @default.
• W2952280609 hasConceptScore W2952280609C41008148 @default.
• W2952280609 hasConceptScore W2952280609C44154836 @default.
• W2952280609 hasConceptScore W2952280609C48002344 @default.
• W2952280609 hasConceptScore W2952280609C529173508 @default.
• W2952280609 hasConceptScore W2952280609C53942775 @default.
• W2952280609 hasLocation W29522806091 @default.
• W2952280609 hasOpenAccess W2952280609 @default.
• W2952280609 hasPrimaryLocation W29522806091 @default.
• W2952280609 hasRelatedWork W1535450757 @default.
• W2952280609 hasRelatedWork W1560755584 @default.
• W2952280609 hasRelatedWork W1608087281 @default.
• W2952280609 hasRelatedWork W1976197622 @default.
• W2952280609 hasRelatedWork W2012074198 @default.
• W2952280609 hasRelatedWork W2023975198 @default.
• W2952280609 hasRelatedWork W2071197625 @default.
• W2952280609 hasRelatedWork W2108617045 @default.
• W2952280609 hasRelatedWork W2157057671 @default.
• W2952280609 hasRelatedWork W2189507155 @default.
• W2952280609 hasRelatedWork W2213250134 @default.
• W2952280609 hasRelatedWork W2294446918 @default.
• W2952280609 hasRelatedWork W2482029010 @default.
• W2952280609 hasRelatedWork W2545888242 @default.
• W2952280609 hasRelatedWork W2765445829 @default.

• next