A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf
.
Integrating Formal Specification and Software Verification and Validation
[chapter]
2004
Lecture Notes in Computer Science
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
doi:10.1007/978-3-540-30472-2_8
fatcat:dbpi3dzgcrh5fndqnlcgavfdsi