Open AccessTeach Z by Reverse Engineering Specifications From Real-Life Implementations
Author(s) -
Ian Bayley
Publication year - 2006
Publication title -
electronic workshops in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/tfm2006.7
Subject(s) - computer science , implementation , simple (philosophy) , domain (mathematical analysis) , class (philosophy) , reverse engineering , programming language , software engineering , formal specification , artificial intelligence , mathematics , epistemology , philosophy , mathematical analysis
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom