Teaching the oxford Brookes formal specification module

  • Authors:

  • Ian Bayley;David Lightfoot;Clare Martin

  • Affiliations:

  • School of Technology, Oxford Brookes University, United Kingdom;School of Technology, Oxford Brookes University, United Kingdom;School of Technology, Oxford Brookes University, United Kingdom

  • Venue:
  • TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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.