A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Weaving a Formal Methods Education with Problem-Based Learning
[chapter]
2008
Communications in Computer and Information Science
The idea of weaving formal methods through computing (or software engineering) degrees is not a new one. However, there has been little success in developing and implementing such a curriculum. Formal methods continue to be taught as stand-alone modules and students, in general, fail to see how fundamental these methods are to the engineering of software. A major problem is one of motivation -how can the students be expected to enthusiastically embrace a challenging subject when the learning
doi:10.1007/978-3-540-88479-8_32
fatcat:lvn6aczmafdpzmsebbo54kx4w4