Formal Specification in the Revision of GKS: An Illustrative Example |
| |
| Authors: | DA Duce† LB Damnjanovic‡ |
| |
| Affiliation: | Rutherford Appleton Laboratory, Chilton, Didcot, Oxon OX1 1 0QX, UK;Mihajlo Pupin Institute, Volgina 15, 11000 Beograd, Yugoslavia |
| |
| 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. |
| |
| Keywords: | |
|
|
