Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569488193> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1569488193 abstract "We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain. This leads us to propose two complementary enhancements to Parnas' four-variable model, one elaborating the structure outside the control computer, and the other elaborating the structure inside the control computer. We then identify several challenges which illustrate why formal development in this domain is difficult, and report our own progress in meeting these challenges. Finally, we outline the residual issues, which form the agenda for our future work." @default.
- W1569488193 created "2016-06-24" @default.
- W1569488193 creator A5005419325 @default.
- W1569488193 creator A5025927902 @default.
- W1569488193 creator A5061141314 @default.
- W1569488193 creator A5069609879 @default.
- W1569488193 date "2008-01-01" @default.
- W1569488193 modified "2023-09-23" @default.
- W1569488193 title "On the Formal Development of Safety-Critical Software" @default.
- W1569488193 cites W2082434633 @default.
- W1569488193 cites W2169102479 @default.
- W1569488193 cites W2612751497 @default.
- W1569488193 doi "https://doi.org/10.1007/978-3-540-69149-5_39" @default.
- W1569488193 hasPublicationYear "2008" @default.
- W1569488193 type Work @default.
- W1569488193 sameAs 1569488193 @default.
- W1569488193 citedByCount "5" @default.
- W1569488193 countsByYear W15694881932013 @default.
- W1569488193 countsByYear W15694881932014 @default.
- W1569488193 countsByYear W15694881932015 @default.
- W1569488193 countsByYear W15694881932016 @default.
- W1569488193 crossrefType "book-chapter" @default.
- W1569488193 hasAuthorship W1569488193A5005419325 @default.
- W1569488193 hasAuthorship W1569488193A5025927902 @default.
- W1569488193 hasAuthorship W1569488193A5061141314 @default.
- W1569488193 hasAuthorship W1569488193A5069609879 @default.
- W1569488193 hasBestOaLocation W15694881931 @default.
- W1569488193 hasConcept C111498074 @default.
- W1569488193 hasConcept C115903868 @default.
- W1569488193 hasConcept C127413603 @default.
- W1569488193 hasConcept C134306372 @default.
- W1569488193 hasConcept C167740415 @default.
- W1569488193 hasConcept C17744445 @default.
- W1569488193 hasConcept C199360897 @default.
- W1569488193 hasConcept C199539241 @default.
- W1569488193 hasConcept C201995342 @default.
- W1569488193 hasConcept C2776542497 @default.
- W1569488193 hasConcept C2777904410 @default.
- W1569488193 hasConcept C33923547 @default.
- W1569488193 hasConcept C36503486 @default.
- W1569488193 hasConcept C41008148 @default.
- W1569488193 hasConcept C529173508 @default.
- W1569488193 hasConcept C75606506 @default.
- W1569488193 hasConceptScore W1569488193C111498074 @default.
- W1569488193 hasConceptScore W1569488193C115903868 @default.
- W1569488193 hasConceptScore W1569488193C127413603 @default.
- W1569488193 hasConceptScore W1569488193C134306372 @default.
- W1569488193 hasConceptScore W1569488193C167740415 @default.
- W1569488193 hasConceptScore W1569488193C17744445 @default.
- W1569488193 hasConceptScore W1569488193C199360897 @default.
- W1569488193 hasConceptScore W1569488193C199539241 @default.
- W1569488193 hasConceptScore W1569488193C201995342 @default.
- W1569488193 hasConceptScore W1569488193C2776542497 @default.
- W1569488193 hasConceptScore W1569488193C2777904410 @default.
- W1569488193 hasConceptScore W1569488193C33923547 @default.
- W1569488193 hasConceptScore W1569488193C36503486 @default.
- W1569488193 hasConceptScore W1569488193C41008148 @default.
- W1569488193 hasConceptScore W1569488193C529173508 @default.
- W1569488193 hasConceptScore W1569488193C75606506 @default.
- W1569488193 hasLocation W15694881931 @default.
- W1569488193 hasOpenAccess W1569488193 @default.
- W1569488193 hasPrimaryLocation W15694881931 @default.
- W1569488193 hasRelatedWork W2072171199 @default.
- W1569488193 hasRelatedWork W2086025510 @default.
- W1569488193 hasRelatedWork W2099128309 @default.
- W1569488193 hasRelatedWork W2121507724 @default.
- W1569488193 hasRelatedWork W2121953666 @default.
- W1569488193 hasRelatedWork W2167209520 @default.
- W1569488193 hasRelatedWork W2387645942 @default.
- W1569488193 hasRelatedWork W2741964526 @default.
- W1569488193 hasRelatedWork W27605384 @default.
- W1569488193 hasRelatedWork W2523609994 @default.
- W1569488193 isParatext "false" @default.
- W1569488193 isRetracted "false" @default.
- W1569488193 magId "1569488193" @default.
- W1569488193 workType "book-chapter" @default.