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 条
  • [41] An integrated object-oriented and formal modeling environment
    France, RB
    Bruel, JM
    LarrondoPetrie, MM
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1997, 10 (07): : 25 - &
  • [42] FORMAL TECHNIQUES FOR PARALLEL OBJECT-ORIENTED LANGUAGES
    AMERICA, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 1 - 17
  • [43] FORMAL TECHNIQUES FOR PARALLEL OBJECT-ORIENTED LANGUAGES
    AMERICA, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 612 : 119 - 140
  • [44] KeY:: A formal method for object-oriented systems
    Ahrendt, Wolfgang
    Beckert, Bernhard
    Haehnle, Reiner
    Schmitt, Peter H.
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4468 : 32 - +
  • [45] Formal foundations of object-oriented modeling notations
    Pons, C
    Baum, G
    ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 2000, : 101 - 110
  • [46] Formal correctness procedures for object-oriented databases
    Edmond, D
    Bouguettaya, A
    Benatallah, B
    PROCEEDINGS OF THE 9TH AUSTRALASIAN DATABASE CONFERENCE, ADC'98, 1998, 20 (02): : 51 - 64
  • [47] Software reliability assessment tool based on object-oriented analysis and its application
    Yamada, S
    Kimura, M
    ANNALS OF SOFTWARE ENGINEERING, 1999, 8 (1-4) : 223 - 238
  • [48] A survey of object-oriented Petri nets and analysis methods
    Miyamoto, T
    Kumagai, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2005, E88A (11) : 2964 - 2971
  • [49] Approach to assessing and comparing object-oriented analysis methods
    Liang, Ying, 2000, SIGS Publications, Inc., New York, NY, United States (13):
  • [50] Formalizing artifacts of Object-Oriented Analysis & Design Methods
    Saeki, M
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 493 - 495
12345