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 条
  • [21] OBJECT-ORIENTED INFORMATION-SYSTEMS ANALYSIS - A COMPARISON OF 6 OBJECT-ORIENTED ANALYSIS-METHODS
    IIVARI, J
    METHODS AND ASSOCIATED TOOLS FOR THE INFORMATION SYSTEMS LIFE CYCLE, 1994, 55 : 85 - 110
  • [22] Performance-driven object-oriented program re-modularisation
    Parsa, S.
    Bushehrian, O.
    IET SOFTWARE, 2008, 2 (04) : 362 - 378
  • [23] A LOTOS based tutorial on formal methods for object-oriented distributed systems
    Howard Bowman
    New Generation Computing, 1998, 16 : 343 - 372
  • [24] A LOTOS based tutorial on formal methods for object-oriented distributed systems
    Bowman, H
    NEW GENERATION COMPUTING, 1998, 16 (04) : 343 - 372
  • [25] Formal object-oriented analysis and design of an online ticketing system
    Li, XS
    Liu, ZM
    Guo, ZS
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 259 - 266
  • [26] A relational model for formal object-oriented requirement analysis in UML
    Liu, ZM
    He, JF
    Li, XS
    Chen, YF
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 641 - +
  • [27] Object-oriented numerical software Trilinos and its application
    An, Weiting
    Cao, Jianwen
    Zhang, Ni
    DCABES 2006 Proceedings, Vols 1 and 2, 2006, : 119 - 123
  • [28] OBJECT-ORIENTED BACKPROPAGATION AND ITS APPLICATION TO STRUCTURAL DESIGN
    HUNG, SL
    ADELI, H
    NEUROCOMPUTING, 1994, 6 (01) : 45 - 55
  • [29] An improved Object-Oriented Modeling Technique and its application
    Wang, LJ
    Chen, XM
    OBJECT-ORIENTED TECHNOLOGY, 1997, : 31 - 34
  • [30] A kind of Object-Oriented Petri Net and its Application
    Liu, Xin
    Yin, Guisheng
    Zhan, Ziying
    ICICSE: 2008 INTERNATIONAL CONFERENCE ON INTERNET COMPUTING IN SCIENCE AND ENGINEERING, PROCEEDINGS, 2008, : 541 - +
12345