FUNCTIONAL REFINEMENT AND NESTED OBJECTS FOR OBJECT-ORIENTED DESIGN

被引：20

作者：

JALOTE, P

机构：

来源：

关键词：

D O I：

10.1109/32.21754

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：264 / 270

页数：7

共 16 条

[1]

ABBOT R, 1983, COMMUN ACM, V26, P884

[2] OBJECT-ORIENTED DEVELOPMENT [J].

BOOCH, G .

[3]

Booch G., 1983, SOFTWARE ENG ADA

[4]

BOOCH G, 1983, TUTORIAL SOFTWARE DE

[5]

CHANG E, NOTES EUCLID

[6]

DAHL OJ, 1970, S22 NORW COMP CTR PU

[7] ABSTRACT DATA TYPES AND SOFTWARE VALIDATION [J].

GUTTAG, JV ;

HOROWITZ, E ;

MUSSER, DR .

[8]

GUTTAG JV, 1977, COMMUN ACM, V20, P307

[9] ABSTRACTION MECHANISMS IN CLU [J].

LISKOV, B ;

SNYDER, A ;

ATKINSON, R ;

SCHAFFERT, C .

[10]

Liskov B. H., 1975, IEEE Transactions on Software Engineering, VSE-1, P7, DOI 10.1109/TSE.1975.6312816