Matches in SemOpenAlex for { <https://semopenalex.org/work/W13765794> ?p ?o ?g. }
- W13765794 endingPage "77" @default.
- W13765794 startingPage "63" @default.
- W13765794 abstract "The authors conducted an informal survey of contractors, customers, and certification authorities in the United States aerospace domain to identify barriers to the adoption of formal methods and suggested mitigations for those barriers. We surveyed 31 individuals from the following nine organizations: United States Army, Boeing, FAA, Galois, Honeywell, Lockheed Martin, NASA, Rockwell Collins, and Wind River. The top three barrier categories were education, tools, and the industrial environment (i.e., non-technical barriers with respect to personnel changes, contracts, and schedules) The top three mitigation categories were education, improving tool integration, and creating and disseminating evidence of the benefits of formal analysis. Strategies to accelerate adoption of formal methods include making formal methods a part of the undergraduate software engineering curriculum, hosting courses in formal methods for working engineers, funding the integration of tools, funding improvements to tool interfaces, and promoting/requiring the use of formal methods on future contracts." @default.
- W13765794 created "2016-06-24" @default.
- W13765794 creator A5006310641 @default.
- W13765794 creator A5007833372 @default.
- W13765794 creator A5016460230 @default.
- W13765794 creator A5050996627 @default.
- W13765794 creator A5060222994 @default.
- W13765794 creator A5066275166 @default.
- W13765794 creator A5069042814 @default.
- W13765794 creator A5083278176 @default.
- W13765794 creator A5091588309 @default.
- W13765794 date "2013-01-01" @default.
- W13765794 modified "2023-10-01" @default.
- W13765794 title "Study on the Barriers to the Industrial Adoption of Formal Methods" @default.
- W13765794 cites W1521746323 @default.
- W13765794 cites W1539212946 @default.
- W13765794 cites W155718886 @default.
- W13765794 cites W2150189917 @default.
- W13765794 cites W2165298051 @default.
- W13765794 cites W3021098898 @default.
- W13765794 cites W4296471858 @default.
- W13765794 doi "https://doi.org/10.1007/978-3-642-41010-9_5" @default.
- W13765794 hasPublicationYear "2013" @default.
- W13765794 type Work @default.
- W13765794 sameAs 13765794 @default.
- W13765794 citedByCount "45" @default.
- W13765794 countsByYear W137657942014 @default.
- W13765794 countsByYear W137657942015 @default.
- W13765794 countsByYear W137657942016 @default.
- W13765794 countsByYear W137657942017 @default.
- W13765794 countsByYear W137657942018 @default.
- W13765794 countsByYear W137657942019 @default.
- W13765794 countsByYear W137657942020 @default.
- W13765794 countsByYear W137657942021 @default.
- W13765794 countsByYear W137657942022 @default.
- W13765794 countsByYear W137657942023 @default.
- W13765794 crossrefType "book-chapter" @default.
- W13765794 hasAuthorship W13765794A5006310641 @default.
- W13765794 hasAuthorship W13765794A5007833372 @default.
- W13765794 hasAuthorship W13765794A5016460230 @default.
- W13765794 hasAuthorship W13765794A5050996627 @default.
- W13765794 hasAuthorship W13765794A5060222994 @default.
- W13765794 hasAuthorship W13765794A5066275166 @default.
- W13765794 hasAuthorship W13765794A5069042814 @default.
- W13765794 hasAuthorship W13765794A5083278176 @default.
- W13765794 hasAuthorship W13765794A5091588309 @default.
- W13765794 hasConcept C110354214 @default.
- W13765794 hasConcept C115903868 @default.
- W13765794 hasConcept C127413603 @default.
- W13765794 hasConcept C134306372 @default.
- W13765794 hasConcept C146978453 @default.
- W13765794 hasConcept C15744967 @default.
- W13765794 hasConcept C162324750 @default.
- W13765794 hasConcept C167740415 @default.
- W13765794 hasConcept C17744445 @default.
- W13765794 hasConcept C187736073 @default.
- W13765794 hasConcept C19417346 @default.
- W13765794 hasConcept C199539241 @default.
- W13765794 hasConcept C3017614220 @default.
- W13765794 hasConcept C33923547 @default.
- W13765794 hasConcept C36503486 @default.
- W13765794 hasConcept C41008148 @default.
- W13765794 hasConcept C46304622 @default.
- W13765794 hasConcept C47177190 @default.
- W13765794 hasConcept C75606506 @default.
- W13765794 hasConceptScore W13765794C110354214 @default.
- W13765794 hasConceptScore W13765794C115903868 @default.
- W13765794 hasConceptScore W13765794C127413603 @default.
- W13765794 hasConceptScore W13765794C134306372 @default.
- W13765794 hasConceptScore W13765794C146978453 @default.
- W13765794 hasConceptScore W13765794C15744967 @default.
- W13765794 hasConceptScore W13765794C162324750 @default.
- W13765794 hasConceptScore W13765794C167740415 @default.
- W13765794 hasConceptScore W13765794C17744445 @default.
- W13765794 hasConceptScore W13765794C187736073 @default.
- W13765794 hasConceptScore W13765794C19417346 @default.
- W13765794 hasConceptScore W13765794C199539241 @default.
- W13765794 hasConceptScore W13765794C3017614220 @default.
- W13765794 hasConceptScore W13765794C33923547 @default.
- W13765794 hasConceptScore W13765794C36503486 @default.
- W13765794 hasConceptScore W13765794C41008148 @default.
- W13765794 hasConceptScore W13765794C46304622 @default.
- W13765794 hasConceptScore W13765794C47177190 @default.
- W13765794 hasConceptScore W13765794C75606506 @default.
- W13765794 hasLocation W137657941 @default.
- W13765794 hasOpenAccess W13765794 @default.
- W13765794 hasPrimaryLocation W137657941 @default.
- W13765794 hasRelatedWork W2111584722 @default.
- W13765794 hasRelatedWork W2295057953 @default.
- W13765794 hasRelatedWork W2748952813 @default.
- W13765794 hasRelatedWork W2899084033 @default.
- W13765794 hasRelatedWork W2974721466 @default.
- W13765794 hasRelatedWork W2977668296 @default.
- W13765794 hasRelatedWork W305862016 @default.
- W13765794 hasRelatedWork W4247064176 @default.
- W13765794 hasRelatedWork W4381166639 @default.
- W13765794 hasRelatedWork W2494275866 @default.
- W13765794 isParatext "false" @default.