formal specification

An empirical study of the influence of OCL on early learners

B. Khazaei, “An empirical study of the influence of OCL on early learners”, presented at the 09/2011, PPIG 2011 - 23rd Annual Workshop, 2011.
PPIG Workshop: 
2011-09-23rd
Click here to download the PDF file.
Keywords_ER: 
novices
formal specification
specification languages
simple vs. generic

Using a Graphical Design Tool for Formal Specification

C. Snook and Butler, M., “Using a Graphical Design Tool for Formal Specification”, presented at the 04/2001, PPIG 2001 - 13th Annual Workshop, 2001.
PPIG Workshop: 
2001-04-13th
Click here to download the PDF file.
Keywords_ER: 
formal specification
visualisation
mental models

The Usability of Formal Specification Representations

B. Khazaei and Roast, C., “The Usability of Formal Specification Representations”, presented at the 04/2001, PPIG 2001 - 13th Annual Workshop, 2001.
PPIG Workshop: 
2001-04-13th
Click here to download the PDF file.
Keywords_ER: 
formal specification
specification languages
simple vs. generic

Using Z: the impact of specification upon quality

ppigmin's picture
Submitted by ppigmin on 1 July 1999 - 1:00am

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

Subscribe to RSS - formal specification