|
|||||
|
|
The Formal Specification of Level la of GKS |
|
| Authors: | Ljiljana B Damnjanovic |
| Affiliation: | Mihajlo Pupin Institute Computer Systems Department; Volgina 15, 11000 Beograd, Yugoslavia |
| Abstract: | 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. |
| Keywords: | Formal specification computer graphics Graphical Kernel System (GKS) |