检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[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[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.171