Teaching the Oxford Brookes Formal Specification Module

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.

Contributors

Ian Bayley

David Lightfoot

Clare Martin

Conference

Publication date: December 2006

Publication date (Print): December 2006

Pages: 1-5

Affiliations

School of Technology

Oxford Brookes University, United Kingdom

Article

DOI: 10.14236/ewic/TFM2006.14

Copyright statement: © Ian Bayley et al. Published by BCS Learning and Development Ltd. Teaching Formal Methods: Practice and Experience, BCS London Office, UK

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

Product

Product Information: 1477-9358BCS 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/

Categories

Series title: Electronic Workshops in Computing