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.

Content

Author and article information

Contributors

Ian Bayley

David Lightfoot

Clare Martin

Conference

Publication date: December 2006

Publication date (Print): December 2006

Pages: 1-5

Affiliations

[0001]School of Technology

Oxford Brookes University, United Kingdom

Article

DOI: 10.14236/ewic/TFM2006.14

SO-VID: 00400ce3-d46b-430b-a41a-e751ed6ae2ce

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Teaching Formal Methods: Practice and Experience

Conference acronym: TFM

Conference number:

Conference location: BCS London Office, UK

Conference date: 15 December 2006

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Teaching Formal Methods: Practice and Experience

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/TFM2006.14

Self URI (journal page): https://ewic.bcs.org/

Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

Teaching the Oxford Brookes Formal Specification Module

Abstract