Matches in SemOpenAlex for { <https://semopenalex.org/work/W1576744815> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1576744815 abstract "It is not surprising that students are unconvinced about the benefits of formal methods if we do not show them how these methods can be integrated with other activities in the software lifecycle. In this paper, we describe an approach to integrating formal specification with more traditional verification and validation techniques in a course that teaches formal specification and specification-based testing. This is accomplished through a series of assignments on a single software component that involves specifying the component in Object-Z, validating that specification using inspection and a specification animation tool, and then testing an implementation of the specification using test cases derived from the formal specification." @default.
- W1576744815 created "2016-06-24" @default.
- W1576744815 creator A5028824146 @default.
- W1576744815 creator A5047069160 @default.
- W1576744815 creator A5076924318 @default.
- W1576744815 date "2004-01-01" @default.
- W1576744815 modified "2023-09-27" @default.
- W1576744815 title "Integrating Formal Specification and Software Verification and Validation" @default.
- W1576744815 cites W2016578292 @default.
- W1576744815 cites W2043563043 @default.
- W1576744815 cites W2063598889 @default.
- W1576744815 cites W2073742092 @default.
- W1576744815 cites W2104241796 @default.
- W1576744815 cites W2146972408 @default.
- W1576744815 cites W2155236304 @default.
- W1576744815 doi "https://doi.org/10.1007/978-3-540-30472-2_8" @default.
- W1576744815 hasPublicationYear "2004" @default.
- W1576744815 type Work @default.
- W1576744815 sameAs 1576744815 @default.
- W1576744815 citedByCount "2" @default.
- W1576744815 countsByYear W15767448152020 @default.
- W1576744815 crossrefType "book-chapter" @default.
- W1576744815 hasAuthorship W1576744815A5028824146 @default.
- W1576744815 hasAuthorship W1576744815A5047069160 @default.
- W1576744815 hasAuthorship W1576744815A5076924318 @default.
- W1576744815 hasConcept C102780508 @default.
- W1576744815 hasConcept C105795698 @default.
- W1576744815 hasConcept C111498074 @default.
- W1576744815 hasConcept C115903868 @default.
- W1576744815 hasConcept C116253237 @default.
- W1576744815 hasConcept C186846655 @default.
- W1576744815 hasConcept C199360897 @default.
- W1576744815 hasConcept C201677973 @default.
- W1576744815 hasConcept C2777904410 @default.
- W1576744815 hasConcept C33923547 @default.
- W1576744815 hasConcept C41008148 @default.
- W1576744815 hasConcept C48002344 @default.
- W1576744815 hasConcept C529173508 @default.
- W1576744815 hasConcept C75606506 @default.
- W1576744815 hasConcept C84651959 @default.
- W1576744815 hasConcept C90069079 @default.
- W1576744815 hasConceptScore W1576744815C102780508 @default.
- W1576744815 hasConceptScore W1576744815C105795698 @default.
- W1576744815 hasConceptScore W1576744815C111498074 @default.
- W1576744815 hasConceptScore W1576744815C115903868 @default.
- W1576744815 hasConceptScore W1576744815C116253237 @default.
- W1576744815 hasConceptScore W1576744815C186846655 @default.
- W1576744815 hasConceptScore W1576744815C199360897 @default.
- W1576744815 hasConceptScore W1576744815C201677973 @default.
- W1576744815 hasConceptScore W1576744815C2777904410 @default.
- W1576744815 hasConceptScore W1576744815C33923547 @default.
- W1576744815 hasConceptScore W1576744815C41008148 @default.
- W1576744815 hasConceptScore W1576744815C48002344 @default.
- W1576744815 hasConceptScore W1576744815C529173508 @default.
- W1576744815 hasConceptScore W1576744815C75606506 @default.
- W1576744815 hasConceptScore W1576744815C84651959 @default.
- W1576744815 hasConceptScore W1576744815C90069079 @default.
- W1576744815 hasLocation W15767448151 @default.
- W1576744815 hasOpenAccess W1576744815 @default.
- W1576744815 hasPrimaryLocation W15767448151 @default.
- W1576744815 hasRelatedWork W1503319068 @default.
- W1576744815 hasRelatedWork W1608485412 @default.
- W1576744815 hasRelatedWork W1980295870 @default.
- W1576744815 hasRelatedWork W2006993239 @default.
- W1576744815 hasRelatedWork W2020416949 @default.
- W1576744815 hasRelatedWork W2038143344 @default.
- W1576744815 hasRelatedWork W2044067585 @default.
- W1576744815 hasRelatedWork W2070307517 @default.
- W1576744815 hasRelatedWork W2092207455 @default.
- W1576744815 hasRelatedWork W2115055521 @default.
- W1576744815 hasRelatedWork W2125373133 @default.
- W1576744815 hasRelatedWork W2126409379 @default.
- W1576744815 hasRelatedWork W2145025660 @default.
- W1576744815 hasRelatedWork W2155028959 @default.
- W1576744815 hasRelatedWork W2165240599 @default.
- W1576744815 hasRelatedWork W2171674700 @default.
- W1576744815 hasRelatedWork W2284606859 @default.
- W1576744815 hasRelatedWork W581245379 @default.
- W1576744815 hasRelatedWork W2725916269 @default.
- W1576744815 hasRelatedWork W2726197984 @default.
- W1576744815 isParatext "false" @default.
- W1576744815 isRetracted "false" @default.
- W1576744815 magId "1576744815" @default.
- W1576744815 workType "book-chapter" @default.