Teach Z by Reverse Engineering Specifications From Real-Life Implementations
Ian Bayley · Electronic workshops in computing · 2006
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.