Teach Z by Reverse Engineering Specifications From Real-Life Implementations

This paper describes a different approach to teaching formal methods and Z in particular. A specification is developed interactively with the class but unusually, a working implementation exists and is made available for exploratory testing as part of the lecture. The domain chosen for the application is a simple dynamic content website.

Content

Author and article information

Contributors

Ian Bayley

Conference

Publication date: December 2006

Publication date (Print): December 2006

Pages: 1-5

Affiliations

[0001]School of Technology,

Oxford Brookes University

Article

DOI: 10.14236/ewic/TFM2006.7

SO-VID: 687a70f8-5a3a-4ad0-8883-c64c6bb9b8fb

Copyright statement: © Ian Bayley. 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.7

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

Teach Z by Reverse Engineering Specifications From Real-Life Implementations

Abstract