Teaching a formal method in a software engineering course
Chia-Chu Chiang · 2004
This paper outlines the techniques and the lessons in teaching a formal method in a graduate level software engineering course. A formal method with the TUG (Tree Unified with Grammar) formal specification language was used to support the software development process including the requirements, specification, design, coding, testing, and proofs phases. The outline includes the objectives, student background, teaching material and methods, group project, and evaluations of the course from the instructor and students.