An Approach to the Formal Specification of Configurable Models of Graphics Systems

Simple item page
dc.contributor.authorArnold, D.B.en_US
dc.contributor.authorDuce, D.A.en_US
dc.contributor.authorReynolds, G.Jen_US
dc.date.accessioned2015-10-05T07:55:25Z
dc.date.available2015-10-05T07:55:25Z
dc.date.issued1987en_US
dc.description.abstractThis paper describes a general framework for the formal specification of modular graphics systems. The approach is illustrated by an example taken from the Graphical Kernel System (GKS) and uses the Z specification notation.en_US
dc.description.seriesinformationEG 1987-Technical Papersen_US
dc.identifier.doi10.2312/egtp.19871033en_US
dc.identifier.issn1017-4656en_US
dc.identifier.urihttps://doi.org/10.2312/egtp.19871033en_US
dc.publisherEurographics Associationen_US
dc.titleAn Approach to the Formal Specification of Configurable Models of Graphics Systemsen_US
Files
Collections
EG1987 Proceedings (Technical Papers)
EG1987 Proceedings (Technical Papers)