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 条
  • [31] Object-oriented Case Representation and Its Application in IDS
    Quan, Qian
    Rui, Zhang
    Hong-Yi, Che
    PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 301 - 306
  • [32] Object-oriented methods and processes
    Henderson-Sellers, B
    INTERNATIONAL CONFERENCE ON SOFTWARE METHODS AND TOOLS, PROCEEDING, 2000, : 7 - 12
  • [33] A formal approach to object-oriented software engineering
    Wirsing, M
    Knapp, A
    THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) : 519 - 560
  • [34] A formal foundation for object-oriented software evolution
    Mens, T
    IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 549 - 552
  • [35] FORMAL FOUNDATIONS FOR OBJECT-ORIENTED DATA MODELING
    LIEBERHERR, K
    XIAO, C
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1993, 5 (03) : 462 - 478
  • [36] An object-oriented framework for the formal verification of processors
    Arditi, L
    Collavizza, H
    ECOOP '95 - OBJECT-ORIENTED PROGRAMMING, 1995, 952 : 215 - 234
  • [37] A Matching Approach for Object-Oriented Formal Specifications
    Taibi, Fathi
    Abbou, Fouad Mohammed
    Alam, Md Jahangir
    JOURNAL OF OBJECT TECHNOLOGY, 2008, 7 (08): : 139 - 153
  • [38] Generation of object-oriented formal software specifications
    Hartrum, TC
    Karagias, T
    PROCEEDINGS OF THE IEEE 1997 AEROSPACE AND ELECTRONICS CONFERENCE - NAECON 1997, VOLS 1 AND 2, 1997, : 660 - 667
  • [39] Formal data model for object-oriented databases
    Chen, Rui
    Jisuanji Xuebao/Chinese Journal of Computers, 1997, 20 (01): : 68 - 76
  • [40] Theory and methodology of object-oriented formal modelling
    Xie, Guo
    Liu, Ding
    Hei, Xinhong
    INTERNATIONAL JOURNAL OF SENSOR NETWORKS, 2014, 16 (04) : 252 - 260
12345