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
相关论文
共 50 条
  • [1] Design with objects: an approach to object-oriented design
    Liang, WY
    O'Grady, P
    COMPUTER-AIDED DESIGN, 1998, 30 (12) : 943 - 956
  • [2] The research and implementation of object-oriented nested design
    Wu, YH
    OBJECT-ORIENTED TECHNOLOGY, 1997, : 54 - 59
  • [3] A framework for object identification and refinement process in object-oriented analysis and design
    Wahono, RS
    Far, BH
    FIRST IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, PROCEEDINGS, 2002, : 351 - 360
  • [4] ROLES FOR COMPOSITE OBJECTS IN OBJECT-ORIENTED ANALYSIS AND DESIGN
    CIVELLO, F
    SIGPLAN NOTICES, 1993, 28 (10): : 376 - 393
  • [5] Reviving functional decomposition in object-oriented design
    Wolber, D
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1997, 10 (06): : 31 - 38
  • [6] AMR++: Object-oriented design for adaptive mesh refinement
    Quinlan, D
    PROCEEDINGS OF THE HIGH-PERFORMANCE COMPUTING (HPC'98), 1998, : 69 - 74
  • [7] A refinement algebra for object-oriented programming
    Borba, P
    Sampaio, A
    Cornélio, M
    ECOOP 2003 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2003, 2743 : 457 - 482
  • [8] Graph transformations for object-oriented refinement
    Zhao, Liang
    Liu, Xiaojian
    Liu, Zhiming
    Qiu, Zongyan
    FORMAL ASPECTS OF COMPUTING, 2009, 21 (1-2) : 103 - 131
  • [9] OBJECT-ORIENTED SPECIFICATION AND STEPWISE REFINEMENT
    SAAKE, G
    JUNGCLAUS, R
    EHRICH, HD
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 1 : 99 - 121
  • [10] A Refinement Methodology for Object-Oriented Programs
    Tafat, Asma
    Boulme, Sylvain
    Marche, Claude
    FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE, 2011, 6528 : 153 - +
12345