AN APPROACH TO THE FORMAL SPECIFICATION OF COMPUTER-GRAPHICS SYSTEMS

被引:5
作者
CARSON, GS
机构
关键词
D O I
10.1016/0097-8493(84)90023-2
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:51 / 57
页数:7
相关论文
共 9 条
[1]  
CARSON GS, 1982, ANSI X3H382136 DOC
[2]   APPROACHING A FORMAL FRAMEWORK FOR GRAPHICS SOFTWARE STANDARDS [J].
GNATZ, R .
COMPUTERS & GRAPHICS, 1984, 8 (01) :39-50
[3]  
GUTTAG J, 1980, PARC CSL801 XER TECH
[4]   ALGORITHMS TO REVEAL PROPERTIES OF FLOATING-POINT ARITHMETIC [J].
MALCOLM, MA .
COMMUNICATIONS OF THE ACM, 1972, 15 (11) :949-&
[5]  
MALLGREN WR, 1981, 810901 U WASH DEP CO
[6]  
Pagan F. G., 1981, FORMAL SPECIFICATION
[7]   THE ISO-ANSI OPEN SYSTEMS REFERENCE MODEL - A PROPOSAL FOR A SYSTEMS-APPROACH [J].
PIATKOWSKI, TF .
COMPUTER NETWORKS AND ISDN SYSTEMS, 1980, 4 (03) :111-124
[8]   FORMAL METHODS IN COMMUNICATION PROTOCOL DESIGN [J].
VONBOCHMANN, G ;
SUNSHINE, CA .
IEEE TRANSACTIONS ON COMMUNICATIONS, 1980, 28 (04) :624-631
[9]  
1982, X3H38215 AM NAT STAN