Matches in SemOpenAlex for { <https://semopenalex.org/work/W2792533757> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2792533757 abstract "As embedded systems increase in complexity, more and more functionality is being migrated to software. Much of the migrated software is critical to the well-being of the system and users. Thus, methods to produce high quality software are needed. Software development today focuses on taking requirements and producing software as fast as possible. Traditional methods have been augmented or replaced with new, agile methods (like SCRUM) designed to produce bits of code as quickly and cheaply as possible. Unfortunately many of these methods ignore standard testing procedures and rely on reported errors to drive corrections in future releases. Traditional methods require exhaustive testing to eliminate a majority of errors. Both processes are time intensive and in the long run cost the project more to correct errors. This paper demonstrates that errors in requirements and design can be discovered and eliminated prior to implementation with the use of automated theorem provers for formal methods. This illustration is key to saving time and costs in the software development life cycle." @default.
- W2792533757 created "2018-03-29" @default.
- W2792533757 creator A5011672232 @default.
- W2792533757 creator A5012550210 @default.
- W2792533757 creator A5034737256 @default.
- W2792533757 date "2017-06-01" @default.
- W2792533757 modified "2023-09-25" @default.
- W2792533757 title "The use of automated theorem proving for error analysis and removal in safety critical embedded system specifications" @default.
- W2792533757 cites W1577791244 @default.
- W2792533757 cites W1801820941 @default.
- W2792533757 cites W1966017250 @default.
- W2792533757 cites W2034717157 @default.
- W2792533757 cites W2035490172 @default.
- W2792533757 cites W2060694887 @default.
- W2792533757 cites W2066459581 @default.
- W2792533757 cites W2072171199 @default.
- W2792533757 cites W2114754412 @default.
- W2792533757 cites W2118775247 @default.
- W2792533757 cites W2123342143 @default.
- W2792533757 cites W2138336393 @default.
- W2792533757 cites W2150763339 @default.
- W2792533757 cites W2171480813 @default.
- W2792533757 cites W2484087285 @default.
- W2792533757 cites W2522448568 @default.
- W2792533757 cites W2592547997 @default.
- W2792533757 cites W3144113453 @default.
- W2792533757 cites W96299864 @default.
- W2792533757 cites W2326316985 @default.
- W2792533757 doi "https://doi.org/10.1109/naecon.2017.8268802" @default.
- W2792533757 hasPublicationYear "2017" @default.
- W2792533757 type Work @default.
- W2792533757 sameAs 2792533757 @default.
- W2792533757 citedByCount "3" @default.
- W2792533757 countsByYear W27925337572016 @default.
- W2792533757 countsByYear W27925337572019 @default.
- W2792533757 crossrefType "proceedings-article" @default.
- W2792533757 hasAuthorship W2792533757A5011672232 @default.
- W2792533757 hasAuthorship W2792533757A5012550210 @default.
- W2792533757 hasAuthorship W2792533757A5034737256 @default.
- W2792533757 hasConcept C109905503 @default.
- W2792533757 hasConcept C111919701 @default.
- W2792533757 hasConcept C115903868 @default.
- W2792533757 hasConcept C117447612 @default.
- W2792533757 hasConcept C127413603 @default.
- W2792533757 hasConcept C14185376 @default.
- W2792533757 hasConcept C149091818 @default.
- W2792533757 hasConcept C186846655 @default.
- W2792533757 hasConcept C199360897 @default.
- W2792533757 hasConcept C200601418 @default.
- W2792533757 hasConcept C26517878 @default.
- W2792533757 hasConcept C2777904410 @default.
- W2792533757 hasConcept C41008148 @default.
- W2792533757 hasConcept C529173508 @default.
- W2792533757 hasConcept C75606506 @default.
- W2792533757 hasConceptScore W2792533757C109905503 @default.
- W2792533757 hasConceptScore W2792533757C111919701 @default.
- W2792533757 hasConceptScore W2792533757C115903868 @default.
- W2792533757 hasConceptScore W2792533757C117447612 @default.
- W2792533757 hasConceptScore W2792533757C127413603 @default.
- W2792533757 hasConceptScore W2792533757C14185376 @default.
- W2792533757 hasConceptScore W2792533757C149091818 @default.
- W2792533757 hasConceptScore W2792533757C186846655 @default.
- W2792533757 hasConceptScore W2792533757C199360897 @default.
- W2792533757 hasConceptScore W2792533757C200601418 @default.
- W2792533757 hasConceptScore W2792533757C26517878 @default.
- W2792533757 hasConceptScore W2792533757C2777904410 @default.
- W2792533757 hasConceptScore W2792533757C41008148 @default.
- W2792533757 hasConceptScore W2792533757C529173508 @default.
- W2792533757 hasConceptScore W2792533757C75606506 @default.
- W2792533757 hasLocation W27925337571 @default.
- W2792533757 hasOpenAccess W2792533757 @default.
- W2792533757 hasPrimaryLocation W27925337571 @default.
- W2792533757 hasRelatedWork W1664113940 @default.
- W2792533757 hasRelatedWork W2000083322 @default.
- W2792533757 hasRelatedWork W2026335683 @default.
- W2792533757 hasRelatedWork W2095226306 @default.
- W2792533757 hasRelatedWork W2095759811 @default.
- W2792533757 hasRelatedWork W2101920551 @default.
- W2792533757 hasRelatedWork W2115855918 @default.
- W2792533757 hasRelatedWork W2120541186 @default.
- W2792533757 hasRelatedWork W2151649926 @default.
- W2792533757 hasRelatedWork W2183247254 @default.
- W2792533757 hasRelatedWork W220431475 @default.
- W2792533757 hasRelatedWork W2324267342 @default.
- W2792533757 hasRelatedWork W2347719194 @default.
- W2792533757 hasRelatedWork W2376124073 @default.
- W2792533757 hasRelatedWork W2403053252 @default.
- W2792533757 hasRelatedWork W3017741478 @default.
- W2792533757 hasRelatedWork W3027557157 @default.
- W2792533757 hasRelatedWork W3106643019 @default.
- W2792533757 hasRelatedWork W3113639789 @default.
- W2792533757 hasRelatedWork W3141029589 @default.
- W2792533757 isParatext "false" @default.
- W2792533757 isRetracted "false" @default.
- W2792533757 magId "2792533757" @default.
- W2792533757 workType "article" @default.