Blog
About

  • Record: found
  • Abstract: found
  • Article: found
Is Open Access

Teaching the Oxford Brookes Formal Specification Module

, ,

Teaching Formal Methods: Practice and Experience (TFM)

Teaching Formal Methods: Practice and Experience

15 December 2006

Read this article at

Bookmark
      There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

      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.

      Related collections

      Author and article information

      Affiliations
      School of Technology

      Oxford Brookes University, United Kingdom
      Contributors
      Conference
      December 2006
      December 2006
      : 1-5
      10.14236/ewic/TFM2006.14
      © Ian Bayley et al. Published by BCS Learning and Development Ltd. Teaching Formal Methods: Practice and Experience, BCS London Office, UK

      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/

      Teaching Formal Methods: Practice and Experience
      TFM
      BCS London Office, UK
      15 December 2006
      Electronic Workshops in Computing (eWiC)
      Teaching Formal Methods: Practice and Experience
      Product
      Product Information: 1477-9358 BCS Learning & Development
      Self URI (journal page): https://ewic.bcs.org/
      Categories
      Electronic Workshops in Computing

      Comments

      Comment on this article