Formal Specification in the Revision of GKS: An Illustrative Example
No Thumbnail Available
Date
1992
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Blackwell Science Ltd and the Eurographics Association
Abstract
The 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.
Description
@article{10.1111:1467-8659.1110017,
journal = {Computer Graphics Forum},
title = {{Formal Specification in the Revision of GKS: An Illustrative Example}},
author = {Duce, D.A. and Damnjanovic, L.B.},
year = {1992},
publisher = {Blackwell Science Ltd and the Eurographics Association},
ISSN = {1467-8659},
DOI = {10.1111/1467-8659.1110017}
}