Teaching the oxford Brookes formal specification module

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.