The Formal Specification of Level la of GKS
No Thumbnail Available
Date
1991
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Blackwell Science Ltd and the Eurographics Association
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.
Description
@article{10.1111:1467-8659.1010011,
journal = {Computer Graphics Forum},
title = {{The Formal Specification of Level la of GKS}},
author = {Damnjanovic, Ljiljana B.},
year = {1991},
publisher = {Blackwell Science Ltd and the Eurographics Association},
ISSN = {1467-8659},
DOI = {10.1111/1467-8659.1010011}
}