FORMAL SPECIFICATION OF MANAGED OBJECTS - A CASE-STUDY

被引：0

作者：

JUDGE, AJ ^{[1
]}

WEZEMAN, C ^{[1
]}

机构：

[1] BT LABS,FORMAL METHODS GRP,IPSWICH,ENGLAND

来源：

BT TECHNOLOGY JOURNAL | 1993年 / 11卷 / 03期

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

This paper presents the results of a case study that has investigated the use of object oriented Z for specifying managed objects, and the subsequent implementation in C++ of these formally specified managed objects.

引用

页码：89 / 97

页数：9