Matches in SemOpenAlex for { <https://semopenalex.org/work/W2528687119> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2528687119 endingPage "1471" @default.
- W2528687119 startingPage "47" @default.
- W2528687119 abstract "This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging). Three major software verification techniques are discussed: Semantic program synthesis and analysis, static program analysis and dynamic program analysis. The correctness by construction paradigm is illustrated using the VDM-SL and the corresponding CSK Toolbox. The discussion involves the synthesis of direct and/or indirect specification, interpreting the latter and carrying out high-level testing of the specification. Problems are included in the text and one or more difficult exercises appear at the end of each chapter. Also, where appropriate, STADs handling of the concepts is illustrated. Written for advanced students and professionals wishing to explore more than one technique, this comprehensive text will be invaluable with its unique integrated approach." @default.
- W2528687119 created "2016-10-14" @default.
- W2528687119 date "2009-11-01" @default.
- W2528687119 modified "2023-09-24" @default.
- W2528687119 title "Software verification and analysis: an integrated, hands-on approach" @default.
- W2528687119 doi "https://doi.org/10.5860/choice.47-1471" @default.
- W2528687119 hasPublicationYear "2009" @default.
- W2528687119 type Work @default.
- W2528687119 sameAs 2528687119 @default.
- W2528687119 citedByCount "1" @default.
- W2528687119 countsByYear W25286871192015 @default.
- W2528687119 crossrefType "journal-article" @default.
- W2528687119 hasConcept C115903868 @default.
- W2528687119 hasConcept C137287247 @default.
- W2528687119 hasConcept C168065819 @default.
- W2528687119 hasConcept C199360897 @default.
- W2528687119 hasConcept C2777655017 @default.
- W2528687119 hasConcept C2777904410 @default.
- W2528687119 hasConcept C41008148 @default.
- W2528687119 hasConcept C529173508 @default.
- W2528687119 hasConcept C55439883 @default.
- W2528687119 hasConcept C97686452 @default.
- W2528687119 hasConcept C98183937 @default.
- W2528687119 hasConceptScore W2528687119C115903868 @default.
- W2528687119 hasConceptScore W2528687119C137287247 @default.
- W2528687119 hasConceptScore W2528687119C168065819 @default.
- W2528687119 hasConceptScore W2528687119C199360897 @default.
- W2528687119 hasConceptScore W2528687119C2777655017 @default.
- W2528687119 hasConceptScore W2528687119C2777904410 @default.
- W2528687119 hasConceptScore W2528687119C41008148 @default.
- W2528687119 hasConceptScore W2528687119C529173508 @default.
- W2528687119 hasConceptScore W2528687119C55439883 @default.
- W2528687119 hasConceptScore W2528687119C97686452 @default.
- W2528687119 hasConceptScore W2528687119C98183937 @default.
- W2528687119 hasIssue "03" @default.
- W2528687119 hasLocation W25286871191 @default.
- W2528687119 hasOpenAccess W2528687119 @default.
- W2528687119 hasPrimaryLocation W25286871191 @default.
- W2528687119 hasRelatedWork W103786485 @default.
- W2528687119 hasRelatedWork W1536174448 @default.
- W2528687119 hasRelatedWork W1582505564 @default.
- W2528687119 hasRelatedWork W1836717328 @default.
- W2528687119 hasRelatedWork W2044315745 @default.
- W2528687119 hasRelatedWork W206377765 @default.
- W2528687119 hasRelatedWork W2064172314 @default.
- W2528687119 hasRelatedWork W2070756052 @default.
- W2528687119 hasRelatedWork W2104097141 @default.
- W2528687119 hasRelatedWork W2119526945 @default.
- W2528687119 hasRelatedWork W2124657291 @default.
- W2528687119 hasRelatedWork W2124876810 @default.
- W2528687119 hasRelatedWork W2128808025 @default.
- W2528687119 hasRelatedWork W2144950612 @default.
- W2528687119 hasRelatedWork W2181429460 @default.
- W2528687119 hasRelatedWork W2507088792 @default.
- W2528687119 hasRelatedWork W2734061748 @default.
- W2528687119 hasRelatedWork W35505870 @default.
- W2528687119 hasRelatedWork W565232785 @default.
- W2528687119 hasRelatedWork W2152700331 @default.
- W2528687119 hasVolume "47" @default.
- W2528687119 isParatext "false" @default.
- W2528687119 isRetracted "false" @default.
- W2528687119 magId "2528687119" @default.
- W2528687119 workType "article" @default.