GENERATION AND CONSISTENCY CHECKING OF DESIGN AND PROGRAM STRUCTURES

被引：3

作者：

LICHTMAN, ZL ^{[1
]}

机构：

[1] BRANDEIS UNIV,DEPT COMP SCI,WALTHAM,MA 02254

来源：

关键词：

D O I：

10.1109/TSE.1986.6312930

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：172 / 181

页数：10

共 13 条

[1] A GUIDED TOUR OF PROGRAM DESIGN METHODOLOGIES [J].

BERGLAND, GD .

[2]

CAINE SH, 1975, 1975 AFIPS P NAT COM, V44, P271

[3]

GRAHAM RM, 1983, COMMUN ACM, V16, P110

[4]

LICHTMAN ZL, 1984, MAR P ACM NE REG C L, P491

[5]

LINDEN NM, 1982, PARAMETERIZATION ABS

[6]

LINDLEY LM, 1983, ADA LETT, V2

[7]

PARNAS DL, 1972, COMMUN ACM, V15, P1053, DOI 10.1145/361598.361623

[8]

RUDMIK A, 1982, 6TH P INT C SOFTW EN

[9] STRUCTURED DESIGN [J].

STEVENS, WP ;

MYERS, GJ ;

CONSTANTINE, LL .

[10] TOP-DOWN DEVELOPMENT USING A PROGRAM DESIGN LANGUAGE [J].

VANLEER, P .