APPROACHING A FORMAL FRAMEWORK FOR GRAPHICS SOFTWARE STANDARDS

被引：6

作者：

GNATZ, R

机构：

来源：

关键词：

D O I：

10.1016/0097-8493(84)90022-0

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：39 / 50

页数：12

共 14 条

[1]

Bauer F.L., 1982, ALGORITHMIC LANGUAGE

[2]

BAUER FL, 1981, INFOTECH STATE ART R, V9

[3]

BAUER FL, 1981, TUMI8104 TU MUN I IN

[4]

ENCARNACAO J, 1982, APR EEC WORKSH GRAPH

[5]

GNATZ R, 1982, PROGRAMMIERSPRACHEN, V7

[6]

GNATZ R, 1981, GERATEUNABHANGIGE GR

[7]

GRIES D, 1979, LECTURE NOTES COMPUT, V69, P94

[8] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].

HOARE, CAR .

[9]

WIRSING M, 1983, UNPUB ACTA INFORMATI

[10]

[No title captured]