Matches in SemOpenAlex for { <https://semopenalex.org/work/W1491103651> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1491103651 abstract "Arguments for and against the deployment of formal methods in system design are rarely supported by evidence derived from experiments that compare a particular formal approach with conventional methods [2]. We illustrate an approach to the use of formal methods for secure code synthesis in safety-critical Avionics applications. The technique makes use of code components and uses sound introduction rules for the components to ensure constraints on their use are enforced. The approach we describe is the subject of a controlled experiment where it is running in parallel with the conventional approach. We describe the experiment and report some preliminary findings." @default.
- W1491103651 created "2016-06-24" @default.
- W1491103651 creator A5017037898 @default.
- W1491103651 creator A5017757624 @default.
- W1491103651 creator A5025692757 @default.
- W1491103651 creator A5058502599 @default.
- W1491103651 date "1999-01-01" @default.
- W1491103651 modified "2023-09-23" @default.
- W1491103651 title "Secure synthesis of code: a process improvement experiment" @default.
- W1491103651 cites W176324665 @default.
- W1491103651 cites W1991884084 @default.
- W1491103651 cites W2060313876 @default.
- W1491103651 cites W2125853559 @default.
- W1491103651 cites W2157279226 @default.
- W1491103651 cites W4234528212 @default.
- W1491103651 doi "https://doi.org/10.1007/3-540-48118-4_46" @default.
- W1491103651 hasPublicationYear "1999" @default.
- W1491103651 type Work @default.
- W1491103651 sameAs 1491103651 @default.
- W1491103651 citedByCount "18" @default.
- W1491103651 countsByYear W14911036512014 @default.
- W1491103651 countsByYear W14911036512019 @default.
- W1491103651 crossrefType "book-chapter" @default.
- W1491103651 hasAuthorship W1491103651A5017037898 @default.
- W1491103651 hasAuthorship W1491103651A5017757624 @default.
- W1491103651 hasAuthorship W1491103651A5025692757 @default.
- W1491103651 hasAuthorship W1491103651A5058502599 @default.
- W1491103651 hasBestOaLocation W14911036511 @default.
- W1491103651 hasConcept C105339364 @default.
- W1491103651 hasConcept C111498074 @default.
- W1491103651 hasConcept C115903868 @default.
- W1491103651 hasConcept C116253237 @default.
- W1491103651 hasConcept C133162039 @default.
- W1491103651 hasConcept C15792166 @default.
- W1491103651 hasConcept C159985019 @default.
- W1491103651 hasConcept C177264268 @default.
- W1491103651 hasConcept C192562407 @default.
- W1491103651 hasConcept C199360897 @default.
- W1491103651 hasConcept C26517878 @default.
- W1491103651 hasConcept C2776760102 @default.
- W1491103651 hasConcept C38652104 @default.
- W1491103651 hasConcept C41008148 @default.
- W1491103651 hasConcept C75606506 @default.
- W1491103651 hasConcept C98045186 @default.
- W1491103651 hasConceptScore W1491103651C105339364 @default.
- W1491103651 hasConceptScore W1491103651C111498074 @default.
- W1491103651 hasConceptScore W1491103651C115903868 @default.
- W1491103651 hasConceptScore W1491103651C116253237 @default.
- W1491103651 hasConceptScore W1491103651C133162039 @default.
- W1491103651 hasConceptScore W1491103651C15792166 @default.
- W1491103651 hasConceptScore W1491103651C159985019 @default.
- W1491103651 hasConceptScore W1491103651C177264268 @default.
- W1491103651 hasConceptScore W1491103651C192562407 @default.
- W1491103651 hasConceptScore W1491103651C199360897 @default.
- W1491103651 hasConceptScore W1491103651C26517878 @default.
- W1491103651 hasConceptScore W1491103651C2776760102 @default.
- W1491103651 hasConceptScore W1491103651C38652104 @default.
- W1491103651 hasConceptScore W1491103651C41008148 @default.
- W1491103651 hasConceptScore W1491103651C75606506 @default.
- W1491103651 hasConceptScore W1491103651C98045186 @default.
- W1491103651 hasLocation W14911036511 @default.
- W1491103651 hasOpenAccess W1491103651 @default.
- W1491103651 hasPrimaryLocation W14911036511 @default.
- W1491103651 hasRelatedWork W1503973138 @default.
- W1491103651 hasRelatedWork W1552647623 @default.
- W1491103651 hasRelatedWork W1556566737 @default.
- W1491103651 hasRelatedWork W1559870885 @default.
- W1491103651 hasRelatedWork W1582439588 @default.
- W1491103651 hasRelatedWork W1589421353 @default.
- W1491103651 hasRelatedWork W1720140439 @default.
- W1491103651 hasRelatedWork W2006406722 @default.
- W1491103651 hasRelatedWork W2101508170 @default.
- W1491103651 hasRelatedWork W2120926795 @default.
- W1491103651 hasRelatedWork W2129384397 @default.
- W1491103651 hasRelatedWork W2136877520 @default.
- W1491103651 hasRelatedWork W2146706022 @default.
- W1491103651 hasRelatedWork W2159181605 @default.
- W1491103651 hasRelatedWork W2476089118 @default.
- W1491103651 hasRelatedWork W2617307175 @default.
- W1491103651 hasRelatedWork W2913459036 @default.
- W1491103651 hasRelatedWork W2916183516 @default.
- W1491103651 hasRelatedWork W3144368627 @default.
- W1491103651 hasRelatedWork W78882874 @default.
- W1491103651 isParatext "false" @default.
- W1491103651 isRetracted "false" @default.
- W1491103651 magId "1491103651" @default.
- W1491103651 workType "book-chapter" @default.