Formal Specification in the Revision of GKS: An Illustrative Example

Simple item page
dc.contributor.authorDuce, D.A.en_US
dc.contributor.authorDamnjanovic, L.B.en_US
dc.date.accessioned2014-10-21T07:17:52Z
dc.date.available2014-10-21T07:17:52Z
dc.date.issued1992en_US
dc.description.abstractThe first ISO/IEC standard for computer graphics, the Graphical Kernel System (GKS) was published in August 1985. In accordance with ISO/IEC procedures, GKS is now being reviewed and revised. This paper describes how formal specification techniques are being used by the authors to analyse key parts of proposals being made for changes to the framework of GKS to bring the standard into line with the requirements of applications and the operating environment likely to be found in the mid-1990 s.en_US
dc.description.number1en_US
dc.description.seriesinformationComputer Graphics Forumen_US
dc.description.volume11en_US
dc.identifier.doi10.1111/1467-8659.1110017en_US
dc.identifier.issn1467-8659en_US
dc.identifier.pages17-30en_US
dc.identifier.urihttps://doi.org/10.1111/1467-8659.1110017en_US
dc.publisherBlackwell Science Ltd and the Eurographics Associationen_US
dc.titleFormal Specification in the Revision of GKS: An Illustrative Exampleen_US
Files
Collections
Issue 1