Title :
Algebraic specification of Macintosh´s QuickDraw using OBJ2
Author :
Nakagawa, A.T. ; Futatsugi, K. ; Tomura, S. ; Shimizu, T.
Author_Institution :
Electrotech. Lab., Ibaraki, Japan
Abstract :
The authors describe QuickDraw, a typical graphics package, using OBJ2, a powerful algebraic language now in the phase of experimental use as a specification language. The results show the applicability of OBJ2 to practical problem domains and the advantages of the use of formal specification techniques brings. The authors take a critical look at the design of QuickDraw; they detect incomplete procedure definitions and find imprecise the classification of procedures
Keywords :
Apple computers; computer graphics; microcomputer applications; software engineering; software packages; specification languages; Macintosh; OBJ2; QuickDraw; algebraic language; classification; formal specification techniques; graphics package; incomplete procedure definitions; software engineering; specification language; Cities and towns; Computer languages; Equations; Formal specifications; Graphics; Laboratories; Packaging; Software packages; Specification languages; Testing;
Conference_Titel :
Software Engineering, 1988., Proceedings of the 10th International Conference on
Print_ISBN :
0-89791-258-6
DOI :
10.1109/ICSE.1988.93714
