A formal analysis of modularisation and its application to object-oriented methods

被引：0
|
作者：
Batenin, A [1 ]
机构：
[1] Univ Bath, Bath BA2 7AY, Avon, England
来源：
OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER | 1998年 / 1543卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：267 / 269
页数：3
相关论文
共 50 条
  • [1] FORMAL METHODS IN OBJECT-ORIENTED ANALYSIS
    WILSON, JCR
    BT TECHNOLOGY JOURNAL, 1993, 11 (03): : 18 - 31
  • [2] On the integration of formal methods and object-oriented methods
    Jisuanji Gongcheng, 1 (13-16, 69):
  • [3] A review of object-oriented approaches in formal methods
    RuizDelgado, A
    Pitt, D
    Smythe, C
    COMPUTER JOURNAL, 1995, 38 (10): : 777 - 784
  • [4] Enhancing object-oriented methods with formal notations
    Imperial Coll, London, United Kingdom
    Theor Pract Object Syst, 4 (247-268):
  • [5] FORMAL METHODS - FROM OBJECT-BASED TO OBJECT-ORIENTED
    VANDERLINDEN, FJ
    SIGPLAN NOTICES, 1994, 29 (07): : 29 - 38
  • [6] Comparison of formal specification methods and object-oriented paradigms
    Iglewski, M
    Muldner, T
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 1997, 20 (04) : 355 - 377
  • [7] Object-Oriented MSVL and Its Application
    Wang, Xiaobing
    Duan, Zhenhua
    Tian, Cong
    Zhang, Haibin
    FOURTH INTERNATIONAL CONFERENCE ON MACHINE VISION (ICMV 2011): MACHINE VISION, IMAGE PROCESSING, AND PATTERN ANALYSIS, 2012, 8349
  • [8] Object-oriented formal specifications
    Periyasamy, K
    TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, : 428 - 441
  • [9] Formal methods in object oriented analysis
    Wilson, J.C.R.
    British Telecom technology journal, 1993, 11 (03): : 18 - 31
  • [10] Real-time object-oriented design and formal methods
    De la Puente, JA
    REAL-TIME SYSTEMS, 2000, 18 (01) : 79 - 83
12345