SLAN-4 - A SOFTWARE SPECIFICATION AND DESIGN LANGUAGE

被引：9

作者：

BEICHTER, FW

HERZOG, O

PETZSCH, H

机构：

来源：

关键词：

D O I：

10.1109/TSE.1984.5010217

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：155 / 162

页数：8

共 21 条

[1]

BEICHTER F, 1979, APR IBM GPD DES 79 S, P166

[2]

BEICHTER F, 1982, GTR05272 IBM LAB TEC

[3]

BEICHTER F, 1979, GTR05235 IBM LAB TEC

[4]

BEICHTER F, 1983, IBM J RES DEV, V27

[5]

BERGSTRA J, 1980, IW128 DEP COMP SCI M

[6]

BJORNER D, 1978, LECTURE NOTES COMPUT, V61

[7]

CAMPBELL RH, 1979, 4TH P IEEE INT C SOF

[8]

FLOYD C, 1981, SOFTWARE ENG ENTWURF

[9] ABSTRACT DATA TYPES AND DEVELOPMENT OF DATA-STRUCTURES [J].

GUTTAG, J .

[10]

GUTTAG JV, 1980, 7TH P ANN S PRINC PR