Correct object-oriented systems in computational logic

被引：3
|
作者：
Lau, KK
Ornaghi, M
机构：
[1] Univ Manchester, Dept Comp Sci, Manchester M13 9PL, Lancs, England
[2] Univ Milan, Dipartimento Sci Informaz, I-20135 Milan, Italy
来源：
LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION | 2002年 / 2372卷
关键词：
D O I：
10.1007/3-540-45607-4_10
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In our previous work in program development, we have defined steadfastness, a notion of correctness that captures at once modularity, correctness and reusability. This paper extends it to Object-Oriented Systems, namely systems of cooperating objects, and is a first step towards the introduction of correctness in Object-Oriented Design Frameworks. Such frameworks are increasingly recognised as more reusable than single objects, and promise to be useful components in next-generation Component-based Software Development.
引用
收藏
页码：168 / 190
页数：23
相关论文
共 50 条
  • [1] Towards correct object-oriented design frameworks in computational logic - (Extended abstract)
    Lau, KK
    Ornaghi, M
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 260 - 261
  • [2] Computational logic in an object-oriented world
    Kowalski, Bob
    [J]. REASONING, ACTION AND INTERACTION IN AI THEORIES AND SYSTEMS, 2006, 4155 : 59 - 82
  • [3] A logic of object-oriented programs
    Abadi, M
    Rustan, K
    Leino, M
    [J]. VERIFICATION: THEORY AND PRACTICE: ESSAYS DEDICATED TO ZHOAR MANNA ON THE OCCASION OF HIS 64TH BIRTHDAY, 2003, 2772 : 11 - 41
  • [4] AN OBJECT-ORIENTED LOGIC SIMULATOR
    AYERS, KE
    [J]. DR DOBBS JOURNAL, 1989, 14 (12): : 72 - &
  • [5] Towards a logic model for object-oriented systems analysis and design
    Kimbrough, SO
    Vachula, WJ
    [J]. THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 5: ADVANCED TECHNOLOGY, 1997, : 363 - 372
  • [6] Towards an object-oriented logic framework for knowledge based systems
    Xu, DX
    [J]. KNOWLEDGE-BASED SYSTEMS, 1998, 10 (06) : 351 - 357
  • [7] OBJECT-ORIENTED SYSTEMS
    COOK, S
    [J]. COMPUTER JOURNAL, 1989, 32 (04): : 289 - 289
  • [8] OBJECT-ORIENTED SYSTEMS
    HAMILTON, S
    [J]. COMPUTER, 1995, 28 (03) : 80 - 80
  • [9] OBJECT-ORIENTED SYSTEMS
    HOPKINS, TP
    [J]. SOFTWARE ENGINEERING JOURNAL, 1992, 7 (02): : 82 - 83
  • [10] Expression object-oriented of universal logic
    Mao, MY
    Chen, ZC
    He, HC
    [J]. Proceedings of 2005 International Conference on Machine Learning and Cybernetics, Vols 1-9, 2005, : 2593 - 2597
12345