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, Professor 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
Deposit and Record Details
Deposit and Record Details