The automatic assessment of Z specifications
Shukur, Zarina (1999) The automatic assessment of Z specifications. PhD thesis, University of Nottingham.
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.
Actions (Archive Staff Only)