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 条
12345