EXTENDING STATE TRANSITION DIAGRAMS FOR THE SPECIFICATION OF HUMAN COMPUTER INTERACTION

被引：70

作者：

WASSERMAN, AI ^{[1
]}

机构：

[1] UNIV CALIF BERKELEY,DIV COMP SCI,BERKELEY,CA 94720

来源：

关键词：

D O I：

10.1109/TSE.1985.232519

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：699 / 713

页数：15

共 24 条

[1] BIELESKI P, 1983, 8TH NZ COMP C, P123
[2] MODELING AND VALIDATING THE MAN-MACHINE INTERFACE
CASEY, BE
DASARATHY, B
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1982, 12 (06) : 557 - 569
[3] DESIGN OF A SEPARABLE TRANSITION-DIAGRAM COMPILER
CONWAY, ME
[J]. COMMUNICATIONS OF THE ACM, 1963, 6 (07) : 396 - 408
[4] DeMarco T., 1979, STRUCTURED ANAL SYST
[5] Goldberg Adele, 1983, SMALLTALK 80 LANGUAG
[6] USING FORMAL SPECIFICATIONS IN THE DESIGN OF A HUMAN-COMPUTER INTERFACE
JACOB, RJK
[J]. COMMUNICATIONS OF THE ACM, 1983, 26 (04) : 259 - 264
[7] KERNIGHAN BW, P SIGPLAN SIGOA S TE
[8] KERNIGHAN BW, 1981, ACM SIGPLAN NOTICES, V16, P92
[9] THE ARCHITECTURE OF THE PLAIN DATA-BASE HANDLER
KERSTEN, ML
WASSERMAN, AI
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1981, 11 (02) : 175 - 186
[10] KERSTEN ML, 1984, TROLL USE REFERENCE