experience with a computer-assisted formal programming examination
This paper describes a web-based system for the online delivery of formal examinations and their automated marking. This system was first used in June 2001 in an end-of-year exam for a first year undergraduate programming course. The outcome of this experiment is also described.
experience formalism programming paper web-based systems online formal examination automation automated assessment computation