Structuring mechanisms for an object-oriented formal specification language

被引：0
|
作者：
Cornélio, M [1 ]
Borba, P [1 ]
机构：
[1] Univ Fed Pernambuco, Ctr Informat, BR-50740540 Recife, PE, Brazil
来源：
SOFTWARE REUSE: ADVANCES IN SOFTWARE REUSABILITY | 2000年 / 1844卷
关键词：
formal methods; Z; object-oriented specification; parameterized programming; language design;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this work we propose an extension of the MooZ formal specification language with support for parameterized packages. This enhances MooZ's capabilities for software reuse and maintenance in the large. We discuss several design issues for MooZ's structuring mechanisms: the distinction between inheritance and subtyping, values and objects, vertical and horizontal composition, packages and classes. We also analyse the impact of our design decisions on software reuse.
引用
收藏
页码：402 / 419
页数：18
相关论文
共 50 条
  • [31] Specification matching of object-oriented components
    Feiks, F
    Hemer, D
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 182 - 190
  • [32] OBJECT-ORIENTED SPECIFICATION OF USER INTERFACES
    JAAKSI, A
    SOFTWARE-PRACTICE & EXPERIENCE, 1995, 25 (11): : 1203 - 1221
  • [33] OBJECT-ORIENTED SPECIFICATION AND STEPWISE REFINEMENT
    SAAKE, G
    JUNGCLAUS, R
    EHRICH, HD
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 1 : 99 - 121
  • [34] Specification and Verification of Object-Oriented Software
    Leino, K. Rustan M.
    ENGINEERING METHODS AND TOOLS FOR SOFTWARE SAFETY AND SECURITY, 2009, 22 : 231 - 266
  • [35] Object-Oriented Modeling of Object-Oriented Concepts A Case Study in Structuring an Educational Domain
    Pedroni, Michela
    Meyer, Bertrand
    TEACHING FUNDAMENTAL CONCEPTS OF INFORMATICS, PROCEEDINGS, 2010, 5941 : 155 - 169
  • [36] FORMAL METHODS IN OBJECT-ORIENTED ANALYSIS
    WILSON, JCR
    BT TECHNOLOGY JOURNAL, 1993, 11 (03): : 18 - 31
  • [37] On Differencing Object-Oriented Formal Specifications
    Taibi, Fathi
    Alam, Md. Jahangir
    Abdullah, Junaidi
    JOURNAL OF OBJECT TECHNOLOGY, 2010, 9 (01): : 183 - 198
  • [38] AN OBJECT-ORIENTED EXCEPTION HANDLING-SYSTEM FOR AN OBJECT-ORIENTED LANGUAGE
    DONY, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 322 : 146 - 161
  • [39] An object-oriented structuring for Z based on views
    Amálio, N
    Polack, F
    Stepney, S
    ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 262 - 278
  • [40] AN IMPLEMENTATION OF OBJ2 - AN OBJECT-ORIENTED LANGUAGE FOR ABSTRACT PROGRAM SPECIFICATION
    SRIDHAR, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 241 : 81 - 95
12345