COM接口的Z规范  

Z Specification of the COM Interface

在线阅读下载全文

作  者:喻超[1] 毋国庆[1] 

机构地区:[1]武汉大学软件工程国家重点实验室,武汉430072

出  处:《计算机工程》2002年第12期104-105,133,共3页Computer Engineering

摘  要:对微软公司提出的COM组件模型中的接口规则给出了一个基于Z语言规范化描述,使其具有严格的语义基础,能通过形式化的分析来保证规则的相容性。在此基础之上对组件也给出了Z语言的定义,并对合法组件的性质作出了形式化分析。This paper presents a specification of Z model to the interface of COM which is given by the Microsoft company,it is based on the stricted theory , and the harmony of the rule is assured through the formalizd analyzing.After this, the paper defines the component based on the Z language, and gives a formalized analyzing to the property of the legal component.

关 键 词:COM接口 Z规范 软件开发 计算机 COM组件 

分 类 号:TP311.52[自动化与计算机技术—计算机软件与理论]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象