BCS is a registered charity: No 292786
Teaching Formal Methods: Practice and Experience
BCS London Office, UK, 15 December 2006
Ian Bayley, David Lightfoot & Clare Martin
We teach a second-stage undergraduate module called Formal Specification using the Z notation to students who do not typically have a high level of mathematics.
We have done this with a good degree of success for many years and the module continues to be viable. We discuss the pattern of our course and speculate on why it is successful.