Premium
The Formal Specification of Level la of GKS
Author(s) -
Damnjanovic Ljiljana B.
Publication year - 1991
Publication title -
computer graphics forum
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.578
H-Index - 120
eISSN - 1467-8659
pISSN - 0167-7055
DOI - 10.1111/1467-8659.1010011
Subject(s) - computer science , programming language , formal specification , language of temporal ordering specification , specification language , formal methods , refinement , formal language , formal verification , abstraction , theoretical computer science , philosophy , epistemology
In this paper the formal specification of a part of level la of GKS is given in the algebraic specification language OBJ. It shows that it is possible to produce a formal specification of a substantial part of GKS which is of manageable size and complexity specifying the appropriate level of abstraction of the system and using a suitable formal technique.