The automatic assessment of Z specifications
The need to automate the process of assessing a specification in a learning environment is identified to be one of the fundamental ways to improve the use of formal notation in specifying a real system. General issues involved in building an automatic marking system for computer-based courses are e...
| Main Author: | |
|---|---|
| Format: | Thesis (University of Nottingham only) |
| Language: | English |
| Published: |
1999
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/28622/ |