The Formal Specification of Level la of GKS
View/
Date
1991Pay-Per-View via TIB Hannover:
Try if this item/paper is available.
Metadata
Show full item recordAbstract
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.
BibTeX
@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}
}
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}
}