Z规范相关论文
为解决虚拟制造系统间过程信息的集成与共享,提出了一种基于虚拟制造过程元模型和形式化Z语言工具的过程模型规范研究方法。元模型......
本文以以关系数据库的规范为例，详细讨论了两种重要的规范描述语言ＶＤＭ和Ｚ的主要区别，对它们的共性和发展史也作了简单介绍。......
信息物理融合系统由具有连续性的物理系统和具有离散性的信息系统组合而成,是一种复杂的混成系统。针对现有的建模方法不能够直接......
在经典电动力学的框架内,普遍自由选择涉及电磁势规范变换的任意规范条件.Lorentz规范条件考虑非均匀势波动方程的推导,但这同样表......
为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息......
对微软公司提出的COMgt件模型中的接口规则给出了一个基于Z语言规范化描述,使其具有严格的语义基础,能通过形式化的分析来保证规则......
针对统一建模语言序列图,提出了一种利用Z语言对其进行语义分析的方法.该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序......
状态、输入和输出是Z规范的基础，引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统。通过将状态、输入和输出封装在一个M......
