Matches in SemOpenAlex for { <https://semopenalex.org/work/W1577620545> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1577620545 endingPage "434" @default.
- W1577620545 startingPage "421" @default.
- W1577620545 abstract "In this paper, we describe how formal specification is adopted to improve the commonly used verification and validation technique known as program inspection, in order to establish a more rigorous, repeatable, and efficient inspection process than the conventional practice. We present a systematic approach to inspecting program code on the basis of the relation between functional scenarios defined in a specification and execution paths implemented in its program. We report a prototype tool for the approach to support both forward and backward inspection strategies, and a case study of inspecting an Automatic Teller Machine system to evaluate the performance of the approach and the tool." @default.
- W1577620545 created "2016-06-24" @default.
- W1577620545 creator A5008599221 @default.
- W1577620545 creator A5025927902 @default.
- W1577620545 creator A5044917982 @default.
- W1577620545 creator A5073452348 @default.
- W1577620545 creator A5083564560 @default.
- W1577620545 date "2005-01-01" @default.
- W1577620545 modified "2023-09-26" @default.
- W1577620545 title "An Automated Approach to Specification-Based Program Inspection" @default.
- W1577620545 cites W1516255433 @default.
- W1577620545 cites W1549146503 @default.
- W1577620545 cites W1968978437 @default.
- W1577620545 cites W2012686127 @default.
- W1577620545 cites W2016976065 @default.
- W1577620545 cites W2059554369 @default.
- W1577620545 cites W2116247135 @default.
- W1577620545 cites W2137860663 @default.
- W1577620545 cites W2161407365 @default.
- W1577620545 cites W2346597859 @default.
- W1577620545 cites W2612751497 @default.
- W1577620545 doi "https://doi.org/10.1007/11576280_29" @default.
- W1577620545 hasPublicationYear "2005" @default.
- W1577620545 type Work @default.
- W1577620545 sameAs 1577620545 @default.
- W1577620545 citedByCount "12" @default.
- W1577620545 countsByYear W15776205452013 @default.
- W1577620545 countsByYear W15776205452016 @default.
- W1577620545 countsByYear W15776205452022 @default.
- W1577620545 countsByYear W15776205452023 @default.
- W1577620545 crossrefType "book-chapter" @default.
- W1577620545 hasAuthorship W1577620545A5008599221 @default.
- W1577620545 hasAuthorship W1577620545A5025927902 @default.
- W1577620545 hasAuthorship W1577620545A5044917982 @default.
- W1577620545 hasAuthorship W1577620545A5073452348 @default.
- W1577620545 hasAuthorship W1577620545A5083564560 @default.
- W1577620545 hasConcept C10272871 @default.
- W1577620545 hasConcept C115903868 @default.
- W1577620545 hasConcept C116253237 @default.
- W1577620545 hasConcept C117447612 @default.
- W1577620545 hasConcept C124101348 @default.
- W1577620545 hasConcept C177264268 @default.
- W1577620545 hasConcept C199360897 @default.
- W1577620545 hasConcept C25343380 @default.
- W1577620545 hasConcept C2776760102 @default.
- W1577620545 hasConcept C2777904410 @default.
- W1577620545 hasConcept C41008148 @default.
- W1577620545 hasConcept C529173508 @default.
- W1577620545 hasConcept C75606506 @default.
- W1577620545 hasConcept C98045186 @default.
- W1577620545 hasConceptScore W1577620545C10272871 @default.
- W1577620545 hasConceptScore W1577620545C115903868 @default.
- W1577620545 hasConceptScore W1577620545C116253237 @default.
- W1577620545 hasConceptScore W1577620545C117447612 @default.
- W1577620545 hasConceptScore W1577620545C124101348 @default.
- W1577620545 hasConceptScore W1577620545C177264268 @default.
- W1577620545 hasConceptScore W1577620545C199360897 @default.
- W1577620545 hasConceptScore W1577620545C25343380 @default.
- W1577620545 hasConceptScore W1577620545C2776760102 @default.
- W1577620545 hasConceptScore W1577620545C2777904410 @default.
- W1577620545 hasConceptScore W1577620545C41008148 @default.
- W1577620545 hasConceptScore W1577620545C529173508 @default.
- W1577620545 hasConceptScore W1577620545C75606506 @default.
- W1577620545 hasConceptScore W1577620545C98045186 @default.
- W1577620545 hasLocation W15776205451 @default.
- W1577620545 hasOpenAccess W1577620545 @default.
- W1577620545 hasPrimaryLocation W15776205451 @default.
- W1577620545 hasRelatedWork W1536552036 @default.
- W1577620545 hasRelatedWork W1577002526 @default.
- W1577620545 hasRelatedWork W1583364777 @default.
- W1577620545 hasRelatedWork W1966978306 @default.
- W1577620545 hasRelatedWork W2121507724 @default.
- W1577620545 hasRelatedWork W2283267494 @default.
- W1577620545 hasRelatedWork W2384847609 @default.
- W1577620545 hasRelatedWork W27605384 @default.
- W1577620545 hasRelatedWork W3026743628 @default.
- W1577620545 hasRelatedWork W63592217 @default.
- W1577620545 isParatext "false" @default.
- W1577620545 isRetracted "false" @default.
- W1577620545 magId "1577620545" @default.
- W1577620545 workType "book-chapter" @default.