Abstract: 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.
PPIG 2001 - 13th Annual Workshop
The Usability of Formal Specification Representations