The Usability of Formal Specification Representations

Babak Khazaei; C Roast

Formal specification representations are powerful abstraction tools. Employing such tools requires an ability to effectively exploit the information that they express. We report on an experiment investigating the influence of employing a formal specification on the developer’s perception of its solution approach.

Type of Publication: Paper
Conference: PPIG 2001 - 13th Annual Workshop
Publication Year: 2001
Paper #: 23
TitleThe Usability of Formal Specification Representations
Publication TypePaper
AuthorsKhazaei, B, Roast, C
PPIG Workshop: 
2001-04-13th