specification languages

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

Programming with the user in mind

G. Alexandron, Armoni, M., and Harel, D., Programming with the user in mind, presented at the 09/2011, PPIG 2011 - 23rd Annual Workshop, 2011.
PPIG Workshop: 
Keywords_ER: 
scenario-based design
visual languages
specification languages

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
Subscribe to RSS - specification languages