Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014865696> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2014865696 endingPage "802" @default.
- W2014865696 startingPage "801" @default.
- W2014865696 abstract "The possibility of verifying systems during any phase of the software development process is one of the most significant advantages of using formal methods. Model checking is considered to be the broadest-used formal verification technique, even though a great quantity of computing resources are needed to verify medium-large and large systems. As verification is present over the whole software process, this amount of resources is more critical in incremental and iterative life-cycles. Our proposal focuses on reusing incomplete models and their verification results - which are obtained from a model-checking algorithm - in order to improve this kind of life-cycle. Making good use of these previous verification results can reduce the formal verification costs by minimizing the set of requirements and the set of system states where the properties must be verified. The unspecification that is inherent to incomplete systems is used to provide an approximate and content-oriented retrieval which is supplemented by suggestions to match the desired specifications." @default.
- W2014865696 created "2016-06-24" @default.
- W2014865696 creator A5022290830 @default.
- W2014865696 creator A5024510171 @default.
- W2014865696 date "2001-07-01" @default.
- W2014865696 modified "2023-09-26" @default.
- W2014865696 title "Reuse of verification efforts and incomplete specifications in a formalization, iterative and incremental software process" @default.
- W2014865696 cites W187819744 @default.
- W2014865696 cites W1975255815 @default.
- W2014865696 cites W2088321462 @default.
- W2014865696 cites W2120933861 @default.
- W2014865696 cites W2154238373 @default.
- W2014865696 cites W2170325853 @default.
- W2014865696 cites W2171339374 @default.
- W2014865696 cites W2178077713 @default.
- W2014865696 cites W9697321 @default.
- W2014865696 doi "https://doi.org/10.5555/381473.381674" @default.
- W2014865696 hasPublicationYear "2001" @default.
- W2014865696 type Work @default.
- W2014865696 sameAs 2014865696 @default.
- W2014865696 citedByCount "5" @default.
- W2014865696 countsByYear W20148656962015 @default.
- W2014865696 crossrefType "proceedings-article" @default.
- W2014865696 hasAuthorship W2014865696A5022290830 @default.
- W2014865696 hasAuthorship W2014865696A5024510171 @default.
- W2014865696 hasConcept C110251889 @default.
- W2014865696 hasConcept C111498074 @default.
- W2014865696 hasConcept C115903868 @default.
- W2014865696 hasConcept C116253237 @default.
- W2014865696 hasConcept C142284323 @default.
- W2014865696 hasConcept C143587482 @default.
- W2014865696 hasConcept C149091818 @default.
- W2014865696 hasConcept C177264268 @default.
- W2014865696 hasConcept C180152950 @default.
- W2014865696 hasConcept C186846655 @default.
- W2014865696 hasConcept C18903297 @default.
- W2014865696 hasConcept C199360897 @default.
- W2014865696 hasConcept C206588197 @default.
- W2014865696 hasConcept C2777904410 @default.
- W2014865696 hasConcept C33054407 @default.
- W2014865696 hasConcept C41008148 @default.
- W2014865696 hasConcept C529173508 @default.
- W2014865696 hasConcept C62460635 @default.
- W2014865696 hasConcept C75606506 @default.
- W2014865696 hasConcept C86803240 @default.
- W2014865696 hasConcept C98045186 @default.
- W2014865696 hasConceptScore W2014865696C110251889 @default.
- W2014865696 hasConceptScore W2014865696C111498074 @default.
- W2014865696 hasConceptScore W2014865696C115903868 @default.
- W2014865696 hasConceptScore W2014865696C116253237 @default.
- W2014865696 hasConceptScore W2014865696C142284323 @default.
- W2014865696 hasConceptScore W2014865696C143587482 @default.
- W2014865696 hasConceptScore W2014865696C149091818 @default.
- W2014865696 hasConceptScore W2014865696C177264268 @default.
- W2014865696 hasConceptScore W2014865696C180152950 @default.
- W2014865696 hasConceptScore W2014865696C186846655 @default.
- W2014865696 hasConceptScore W2014865696C18903297 @default.
- W2014865696 hasConceptScore W2014865696C199360897 @default.
- W2014865696 hasConceptScore W2014865696C206588197 @default.
- W2014865696 hasConceptScore W2014865696C2777904410 @default.
- W2014865696 hasConceptScore W2014865696C33054407 @default.
- W2014865696 hasConceptScore W2014865696C41008148 @default.
- W2014865696 hasConceptScore W2014865696C529173508 @default.
- W2014865696 hasConceptScore W2014865696C62460635 @default.
- W2014865696 hasConceptScore W2014865696C75606506 @default.
- W2014865696 hasConceptScore W2014865696C86803240 @default.
- W2014865696 hasConceptScore W2014865696C98045186 @default.
- W2014865696 hasLocation W20148656961 @default.
- W2014865696 hasOpenAccess W2014865696 @default.
- W2014865696 hasPrimaryLocation W20148656961 @default.
- W2014865696 hasRelatedWork W103786485 @default.
- W2014865696 hasRelatedWork W1595999523 @default.
- W2014865696 hasRelatedWork W2062705593 @default.
- W2014865696 hasRelatedWork W2105778188 @default.
- W2014865696 hasRelatedWork W2115671979 @default.
- W2014865696 hasRelatedWork W2161878325 @default.
- W2014865696 hasRelatedWork W2169895769 @default.
- W2014865696 hasRelatedWork W2171339374 @default.
- W2014865696 hasRelatedWork W2367400524 @default.
- W2014865696 hasRelatedWork W2377845476 @default.
- W2014865696 hasRelatedWork W2547116018 @default.
- W2014865696 hasRelatedWork W266923508 @default.
- W2014865696 hasRelatedWork W2745949103 @default.
- W2014865696 hasRelatedWork W2796400167 @default.
- W2014865696 hasRelatedWork W3035582350 @default.
- W2014865696 hasRelatedWork W3049745638 @default.
- W2014865696 hasRelatedWork W3146906833 @default.
- W2014865696 hasRelatedWork W3275244 @default.
- W2014865696 hasRelatedWork W565232785 @default.
- W2014865696 hasRelatedWork W2095075161 @default.
- W2014865696 isParatext "false" @default.
- W2014865696 isRetracted "false" @default.
- W2014865696 magId "2014865696" @default.
- W2014865696 workType "article" @default.