FUNCTIONAL REFINEMENT AND NESTED OBJECTS FOR OBJECT-ORIENTED DESIGN

被引：20
作者：
JALOTE, P
机构：
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1989年 / 15卷 / 03期
关键词：
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
    BOOCH, G
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) : 211 - 221
  • [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
    GUTTAG, JV
    HOROWITZ, E
    MUSSER, DR
    [J]. COMMUNICATIONS OF THE ACM, 1978, 21 (12) : 1048 - 1064
  • [8] GUTTAG JV, 1977, COMMUN ACM, V20, P307
  • [9] ABSTRACTION MECHANISMS IN CLU
    LISKOV, B
    SNYDER, A
    ATKINSON, R
    SCHAFFERT, C
    [J]. COMMUNICATIONS OF THE ACM, 1977, 20 (08) : 564 - 576
  • [10] Liskov B. H., 1975, IEEE Transactions on Software Engineering, VSE-1, P7, DOI 10.1109/TSE.1975.6312816
12