SALIENT FEATURES OF AN EXECUTABLE SPECIFICATION LANGUAGE AND ITS ENVIRONMENT

被引：52

作者：

ZAVE, P

SCHELL, W

机构：

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1986年 / 12卷 / 02期

关键词：

D O I：

10.1109/TSE.1986.6312946

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：312 / 325

页数：14

共 34 条

[1] REQUIREMENTS ENGINEERING METHODOLOGY FOR REAL-TIME PROCESSING REQUIREMENTS [J].

ALFORD, MW .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) :60-69

[2] CAN PROGRAMMING BE LIBERATED FROM VON NEUMANN STYLE - FUNCTIONAL STYLE AND ITS ALGEBRA OF PROGRAMS [J].

BACKUS, J .

COMMUNICATIONS OF THE ACM, 1978, 21 (08) :613-641

[3]

BALZER R, 1983, COMPUTER, V16, P39, DOI 10.1109/MC.1983.1654237

[4] PROGRAMMING IN A WIDE SPECTRUM LANGUAGE - A COLLECTION OF EXAMPLES [J].

BAUER, FL ;

BROY, M ;

DOSCH, W ;

GNATZ, R ;

KRIEGBRUCKNER, B ;

LAUT, A ;

LUCKMANN, M ;

MATZNER, T ;

MOLLER, B ;

PARTSCH, H ;

PEPPER, P ;

SAMELSON, K ;

STEINBRUGGEN, R ;

WIRSING, M ;

WOSSNER, H .

SCIENCE OF COMPUTER PROGRAMMING, 1981, 1 (1-2) :73-114

[5] TECHNIQUES FOR ALGORITHM ANIMATION [J].

BROWN, MH ;

SEDGEWICK, R .

IEEE SOFTWARE, 1985, 2 (01) :28-39

[6]

DeRemer F., 1976, IEEE Transactions on Software Engineering, VSE-2, P80, DOI 10.1109/TSE.1976.233534

[7]

FITZWATER DR, 1977, 6TH P TEX C COMP SYS

[8]

FRIEDMAN DP, 1978, IEEE T COMPUT, V27, P289, DOI 10.1109/TC.1978.1675100

[9]

Ghezzi C., 1982, PROGRAMMING LANGUAGE

[10]

GIACALONE A, 1984, APR P ACM SIGSOFT SI, P15

← 1 2 3 4 →