The Z notation: a reference manual
The Z notation: a reference manual
The REDO compendium: reverse engineering for software maintenance
The REDO compendium: reverse engineering for software maintenance
Another approach for resisting student resistance to formal methods
ACM SIGCSE Bulletin
Hi-index | 0.00 |
This paper describes a different approach to teaching formal methods and Z in particular. A specification is developed interactively with the class but unusually, a working implementation exists and is made available for exploratory testing as part of the lecture. The domain chosen for the application is a simple dynamic content website.