USING FORMAL SPECIFICATIONS IN THE DESIGN OF A HUMAN-COMPUTER INTERFACE

被引：62

作者：

JACOB, RJK

机构：

来源：

关键词：

D O I：

10.1145/2163.358093

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：259 / 264

页数：6

共 19 条

[1] DESIGN OF A SEPARABLE TRANSITION-DIAGRAM COMPILER [J].

CONWAY, ME .

[2]

DIJKSTRA EW, 1976, DISCIPLINE PROGRAMMI, P209

EMBLEY, DW .

INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1978, 10 (02) :197-216

[4] ART OF NATURAL GRAPHIC MAN - MACHINE CONVERSATION [J].

FOLEY, JD ;

WALLACE, VL .

[5]

Hanau P. R., 1980, Computer Graphics, V14, P271, DOI 10.1145/965105.807504

[6] MILITARY MESSAGE SYSTEMS - CURRENT STATUS AND FUTURE-DIRECTIONS [J].

HEITMEYER, CL ;

WILSON, SH .

[7]

HEITMEYER CL, 1982, SOFTWARE ENG NOTES, V7

[8]

HEITMEYER CL, 1981, 7590450CHCH NAV RES

[9]

HUERAS JF, 1978, THESIS U CALIFORNIA

[10]

JACOB RJK, UNPUB SURVEY EXAMPLE