The Formal Specification of Level la of GKS

Simple item page
dc.contributor.authorDamnjanovic, Ljiljana B.en_US
dc.date.accessioned2014-10-21T06:20:13Z
dc.date.available2014-10-21T06:20:13Z
dc.date.issued1991en_US
dc.description.abstractIn 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.en_US
dc.description.number1en_US
dc.description.seriesinformationComputer Graphics Forumen_US
dc.description.volume10en_US
dc.identifier.doi10.1111/1467-8659.1010011en_US
dc.identifier.issn1467-8659en_US
dc.identifier.pages11-25en_US
dc.identifier.urihttps://doi.org/10.1111/1467-8659.1010011en_US
dc.publisherBlackwell Science Ltd and the Eurographics Associationen_US
dc.titleThe Formal Specification of Level la of GKSen_US
Files
Collections
Issue 1