Using Z: the impact of specification upon quality

Chris Roast and Jawed Siddiqi

Sheffield Hallam University,
Sheffield, S1 1WB, UK. 
Tel.+44 (0)114 225 2907
Fax.+44 (0)114 225 3161 
c.r.roast@shu.ac.uk

The study reported is concerned with the human factors that can influence the effectiveness with which a design representation notation is exploited. We report an empirical study focusing upon the task of completing a formal specification expressed in the Z notation. The study illustrates how the requirement to employ a formal specification notation can have a deterimental influence upon the validity of the solution produced.