Matches in SemOpenAlex for { <https://semopenalex.org/work/W1531509077> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1531509077 endingPage "55" @default.
- W1531509077 startingPage "39" @default.
- W1531509077 abstract "This paper introduces a new technique for the verification of both safety and usability requirements for safety-critical interactive systems. This technique uses the model-oriented formal method B and makes use of an hybrid version of the MVC and PAC software architecture models. Our claim is that this technique -that uses proofs obligations- can ensure both usability and safety requirements, from the specification step of the development process, to the implementation. This technique is illustrated by a case study: a simplified user interface for a Full Authority Digital Engine Control (FADEC) of a single turbojet engine aircraft." @default.
- W1531509077 created "2016-06-24" @default.
- W1531509077 creator A5045094175 @default.
- W1531509077 creator A5051322835 @default.
- W1531509077 creator A5060751771 @default.
- W1531509077 date "2001-01-01" @default.
- W1531509077 modified "2023-09-26" @default.
- W1531509077 title "Interactive System Safety and Usability Enforced with the Development Process" @default.
- W1531509077 cites W13051096 @default.
- W1531509077 cites W1501131646 @default.
- W1531509077 cites W1508742297 @default.
- W1531509077 cites W1536612106 @default.
- W1531509077 cites W1562520172 @default.
- W1531509077 cites W1575584795 @default.
- W1531509077 cites W1606373461 @default.
- W1531509077 cites W196542328 @default.
- W1531509077 cites W1982169621 @default.
- W1531509077 cites W2069187286 @default.
- W1531509077 cites W2158746880 @default.
- W1531509077 cites W2162941015 @default.
- W1531509077 cites W4254354208 @default.
- W1531509077 doi "https://doi.org/10.1007/3-540-45348-2_8" @default.
- W1531509077 hasPublicationYear "2001" @default.
- W1531509077 type Work @default.
- W1531509077 sameAs 1531509077 @default.
- W1531509077 citedByCount "5" @default.
- W1531509077 countsByYear W15315090772017 @default.
- W1531509077 crossrefType "book-chapter" @default.
- W1531509077 hasAuthorship W1531509077A5045094175 @default.
- W1531509077 hasAuthorship W1531509077A5051322835 @default.
- W1531509077 hasAuthorship W1531509077A5060751771 @default.
- W1531509077 hasBestOaLocation W15315090771 @default.
- W1531509077 hasConcept C100302975 @default.
- W1531509077 hasConcept C107457646 @default.
- W1531509077 hasConcept C108710211 @default.
- W1531509077 hasConcept C111919701 @default.
- W1531509077 hasConcept C115903868 @default.
- W1531509077 hasConcept C127413603 @default.
- W1531509077 hasConcept C170130773 @default.
- W1531509077 hasConcept C201995342 @default.
- W1531509077 hasConcept C23456302 @default.
- W1531509077 hasConcept C2524010 @default.
- W1531509077 hasConcept C33923547 @default.
- W1531509077 hasConcept C41008148 @default.
- W1531509077 hasConcept C71151206 @default.
- W1531509077 hasConcept C87105883 @default.
- W1531509077 hasConcept C98045186 @default.
- W1531509077 hasConceptScore W1531509077C100302975 @default.
- W1531509077 hasConceptScore W1531509077C107457646 @default.
- W1531509077 hasConceptScore W1531509077C108710211 @default.
- W1531509077 hasConceptScore W1531509077C111919701 @default.
- W1531509077 hasConceptScore W1531509077C115903868 @default.
- W1531509077 hasConceptScore W1531509077C127413603 @default.
- W1531509077 hasConceptScore W1531509077C170130773 @default.
- W1531509077 hasConceptScore W1531509077C201995342 @default.
- W1531509077 hasConceptScore W1531509077C23456302 @default.
- W1531509077 hasConceptScore W1531509077C2524010 @default.
- W1531509077 hasConceptScore W1531509077C33923547 @default.
- W1531509077 hasConceptScore W1531509077C41008148 @default.
- W1531509077 hasConceptScore W1531509077C71151206 @default.
- W1531509077 hasConceptScore W1531509077C87105883 @default.
- W1531509077 hasConceptScore W1531509077C98045186 @default.
- W1531509077 hasLocation W15315090771 @default.
- W1531509077 hasLocation W15315090772 @default.
- W1531509077 hasLocation W15315090773 @default.
- W1531509077 hasOpenAccess W1531509077 @default.
- W1531509077 hasPrimaryLocation W15315090771 @default.
- W1531509077 hasRelatedWork W1533647253 @default.
- W1531509077 hasRelatedWork W162123863 @default.
- W1531509077 hasRelatedWork W1969160610 @default.
- W1531509077 hasRelatedWork W2034501045 @default.
- W1531509077 hasRelatedWork W2092272107 @default.
- W1531509077 hasRelatedWork W2108686368 @default.
- W1531509077 hasRelatedWork W2188312195 @default.
- W1531509077 hasRelatedWork W2369811593 @default.
- W1531509077 hasRelatedWork W2795019794 @default.
- W1531509077 hasRelatedWork W3196286103 @default.
- W1531509077 isParatext "false" @default.
- W1531509077 isRetracted "false" @default.
- W1531509077 magId "1531509077" @default.
- W1531509077 workType "book-chapter" @default.