The automatic assessment of Z specifications
Eric Foxley, Omar Mukhtar Salman, Zarina Shukur · 1997
This paper presents an analysis of a computer implementable approach to the assessment of the quality of a Z specification document.The perspective from which we approach the problem is that we wish to automatically assess the quality of Z specifications provided by students as part of their coursework for a Formal Specification course.The environment chosen for the assessment is the Ceilidh system, the most widely used student programming automatic assessment system in the world.This provides an environment into which new assessment tools can be inserted, and which provides all of the required administrative frametiork.We need a variety of static anaI$s techniques, and must-study animation of schema in order to be able to assess the correct implementation of operation schema.The basis of the animation is a tool written by AM Zin for translating Z to Prolog.