The Usability of Formal Specification Representations
Babak Khazaei, Chris Roast · PPIG · 2001
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.