Algebraic specification of Macintosh´s QuickDraw using OBJ2

Author

Nakagawa, A.T. ; Futatsugi, K. ; Tomura, S. ; Shimizu, T.

Author_Institution

Electrotech. Lab., Ibaraki, Japan

fYear

1988

fDate

11-15 Apr 1988

Firstpage

334

Lastpage

343

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 1988., Proceedings of the 10th International Conference on

Print_ISBN

0-89791-258-6

Type

conf

DOI

10.1109/ICSE.1988.93714

Filename

93714

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3292506