Formal Specification in the Revision of GKS: An Illustrative Example
作者:
D.A. Duce,
L.B. Damnjanovic,
期刊:
Computer Graphics Forum
(WILEY Available online 1992)
卷期:
Volume 11,
issue 1
页码: 17-30
ISSN:0167-7055
年代: 1992
DOI:10.1111/1467-8659.1110017
出版商: Blackwell Science Ltd
数据来源: WILEY
摘要:
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'
点击下载:
PDF
(632KB)
返 回