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: 
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: 
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: 
Keywords_ER: 
formal specification
specification languages
simple vs. generic

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

Subscribe to RSS - formal specification