EMPIRICAL AND FORMAL LANGUAGE DESIGN APPLIED TO A UNIFIED CONTROL CONSTRUCT FOR INTERACTIVE COMPUTING

被引：8

作者：

EMBLEY, DW ^{[1
]}

机构：

[1] UNIV ILLINOIS,DEPT COMP SCI,URBANA,IL 61801

来源：

INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES | 1978年 / 10卷 / 02期

关键词：

D O I：

10.1016/S0020-7373(78)80012-1

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：197 / 216

页数：20

共 30 条

[11] GREEN TRG, 1975, MRC66 SHEFF U MEM
[12] Hoare C. A. R., 1973, Acta Informatica, V2, P335, DOI 10.1007/BF00289504
[13] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING
HOARE, CAR
[J]. COMMUNICATIONS OF THE ACM, 1969, 12 (10) : 576 - &
[14] HOARE CAR, 1973, AIM224 STANCS73403 S
[15] Keller R. F., 1977, SIGPLAN Notices, V12, P36, DOI 10.1145/954604.954606
[16] Love T., 1977, SIGPLAN Notices, V12, P105, DOI 10.1145/390017.808317
[17] PROGRAMMING BY NON-PROGRAMMERS
MILLER, LA
[J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1974, 6 (02): : 237 - 260
[18] NAUR P, 1975, 2ND C REC ACM S PRIN, P137
[19] Sammet JE, 1969, PROGRAMMING LANGUAGE
[20] EXPERIMENTAL INVESTIGATIONS OF UTILITY OF DETAILED FLOW-CHARTS IN PROGRAMMING
SHNEIDERMAN, B
MAYER, R
MCKAY, D
HELLER, P
[J]. COMMUNICATIONS OF THE ACM, 1977, 20 (06) : 373 - 381