Teaching Formal Methods: Practice and Experience

BCS London Office, UK, 15 December 2006

AUTHORS

Ian Bayley, David Lightfoot & Clare Martin

ABSTRACT

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.

PAPER FORMATS

PDF Version of this Paper (48kb)