Algebraic specification of Macintosh's Quickdraw using OBJ2
Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu · International Conference on Software Engineering · 1988
We have described QuickDraw, a typical graphics package, using OBJ2, a powerful algebraic language now in the phase of experimental use as a specification language. The results testify the applicability of OBJ2 to some practical problem domains, as well as the premonitioned advantages the use of formal specification techniques brings. The work also sheds some critical lights upon the design of QuickDraw; we detect incomplete procedure definitions, and find imprecise the classification of procedures.