FORMAL SPECIFICATION AND OBJECT-ORIENTED DESIGN

被引：0
|
作者：
BUCHANAN, M [1 ]
BRITTON, C [1 ]
机构：
[1] HATFIELD POLYTECH,SCH INFORMAT SCI,HATFIELD AL10 9AB,HERTS,ENGLAND
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1992年 / 34卷 / 1-5期
关键词：
FORMAL SPECIFICATION; INHERITANCE; OBJ;
D O I：
10.1016/0165-6074(92)90093-M
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In recent years, object-oriented design and formal specification languages have become increasingly important in the development of software systems. In this paper we use the formal specification languages OBJ1 and OBJ3 to investigate the extent to which they support object-oriented design in general and inheritance in particular.
引用
收藏
页码：19 / 22
页数：4
相关论文
共 50 条
  • [1] Object-oriented design frameworks: Formal specification and some implementation issues
    Crnkovic, I
    Filipe, JK
    Larsson, M
    Lau, KK
    [J]. DATABASES AND INFORMATION SYSTEMS, 2001, : 237 - 251
  • [2] OOZS: an Object-Oriented Structured Formal Specification Language
    李刚
    缪淮扣
    朱关铭
    [J]. Advances in Manufacturing, 1997, (01) : 70 - 74
  • [3] Comparison of formal specification methods and object-oriented paradigms
    Iglewski, M
    Muldner, T
    [J]. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 1997, 20 (04) : 355 - 377
  • [4] Structuring mechanisms for an object-oriented formal specification language
    Cornélio, M
    Borba, P
    [J]. SOFTWARE REUSE: ADVANCES IN SOFTWARE REUSABILITY, 2000, 1844 : 402 - 419
  • [5] Formal specification of object-oriented meta-modelling
    Övergaard, G
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 193 - 207
  • [6] A formal specification framework for object-oriented distributed systems
    Buchs, D
    Guelfi, N
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (07) : 635 - 652
  • [7] AN OBJECT-ORIENTED APPROACH TO THE FORMAL SPECIFICATION OF ODP TRADER
    DONG, JS
    DUKE, R
    [J]. OPEN DISTRIBUTED PROCESSING, II, 1994, 20 : 341 - 352
  • [8] Towards a formal specification of an object-oriented architecture for parallel computing
    Bavan, S
    Berki, E
    Georgiadou, E
    Milankovic-Atkinson, M
    Walker, MJ
    [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-III, PROCEEDINGS, 1997, : 1054 - 1060
  • [9] Life-cycle for formal object-oriented specification models
    Bruno, MA
    Bucci, G
    Nesi, P
    [J]. 23RD EUROMICRO CONFERENCE - NEW FRONTIERS OF INFORMATION TECHNOLOGY, PROCEEDINGS: SHORT CONTRIBUTIONS, 1997, : 2 - 7
  • [10] CSL - A CLASS SPECIFICATION LANGUAGE FOR OBJECT-ORIENTED DESIGN
    BUCCI, G
    CECCHINI, R
    DELBIMBO, A
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1990, 28 (1-5): : 201 - 204
12345