The use of an electronic voting system in a formal methods course

Miller, A. and Cutts, Q. (2006) The use of an electronic voting system in a formal methods course. In: Boute, R.T. and Oliveira, J.N. (eds.) Formal Methods in the Teaching Lab: Examples, Cases, Assignments and Projects Enhancing Formal Methods Education. A Workshop at the Formal Methods 2006 Symposium, Hamilton, Ontario, Canada, 26 Aug 2006. McMaster University: Hamilton, ON, Canada, pp. 3-8.

Full text not currently available from Enlighten.

Publisher's URL: http://www3.di.uminho.pt/FME-SoE/FMEd06/#prc

Abstract

We describe the design of a discussion-based tutorial within an honours "Modelling Reactive Systems" course facilitated with an electronic voting system. The approach combats confidence and breadth issues, and we report on its effectiveness.

Item Type:Book Sections
Status:Published
Glasgow Author(s) Enlighten ID:Cutts, Professor Quintin and Miller, Dr Alice
Authors: Miller, A., and Cutts, Q.
College/School:College of Science and Engineering > School of Computing Science
Publisher:McMaster University

University Staff: Request a correction | Enlighten Editors: Update this record