论文部分内容阅读
OOZS语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Z语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、入口和出口机制,设置了Pre谓词和Post谓词,表达力强,简明精确。本文是该语言的试用文本介绍。
面向对象的形式规格说明语言OOZS
【摘 要】
：
OOZS语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Z语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、入口和出口机制,设置了Pre谓词和Post谓词,表达力强,简明精确。本文是该语言的试用文本介绍。
【出 处】
：
计算机应用与软件
【发表日期】
：
2000年03期
其他文献
结合形变模型和 ACD方法提出了基于形变模型的 3D表面自适应重建方法 .同时引入了与图象统计特性有关的外力 ,使得表面重建结果与模型的初始位置无关 ,利用 ACD方法使模型自适应地改变其拓扑结构 ;为了提高表面重建的速度和鲁棒性 ,提出了多尺度重建算法 .该方法适用于形状、结构复杂的物体重建 ,实验结果证明了该方法的有效性 .
期刊
仿真技术是便携式防空导弹系统优化设计和性能研究的必要手段。该文建立了六自由度弹体运动模型、目标运动模型、相对运动模型等。基于动态仿真软件ＳＩＭＵＬＩＮＫ，研制了面向对象的制导系统仿真软件。利用该仿真软件对某型便携式防空导弹进行了仿真研究，仿真结果证明仿真模型正确合理。应用本仿真软件可进行制导系统参数优化、性能评估、弹道计算和导引规律研究。
期刊
该文介绍了一种面向功率键合图的通用的系统动态特性仿真软件一ＰＭＩＭ。该软件在ＭＡＴＬＡＢ平台上二次开发而成，充分发挥了功率键合图法在分析系统动态特性方面的优势，可以处理包含各种环节的复杂系统软件从系统的健合图模型出发，自动辨错提示、自动建立数学模型（字符型和数值型）、进行仿真计算并按要求输出仿真结果。用户可以方便地修改元件参数或模型直至得到满意的结果。还可以给定优化变量，对系统的动态特性进行参数优
期刊
该文介绍了曲面数控加工编程方法，提出了基于曲面三角形网格模型的数控编程方法，并在此基础上给出了基于曲面散乱数据的三角形网格模型的凸、凹模数控编程方法，实现了复杂曲面测量模型的凸、凹模数控加工。实验仿真结果表明，该方法能有效地解决复杂曲面的凸、凹模数控加工问题。
期刊