论文部分内容阅读
形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观，不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM＋＋形式化方法结合在一起．提出了一种软件形式化开发方法，并通过开发一个实际的文件设备记账系统说明了该方法的可行性与有效性。
基于RUP和VDM＋＋的软件形式化开发方法的研究
【摘 要】
：
形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观，不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM＋＋
【机 构】
：
中国科学技术大学计算机科学与技术系
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年26期
【基金项目】
：
国家自然科学基金（编号：60404004）,中国科学技术大学与日本富士施乐公司合作项目（编号：FXVFP2003）
其他文献
该文主要讨论了基于序列图像的三维重建中的两个关键算法:特征数据点列的重采样算法与三角化算法。把Douglas-Peucker线性简化算法应用在特征边界的重采样上,数据的压缩比得到了明显的改善,也显著地提高了可视化速度。并使用一种简单的三角化算法,对重采样后的数据点列进行三角化,实现目标的三维重建。
文章在代数格及其运算的基础上，深入研究格的嵌入，使得建立在格上的范例相似度量，在范例复用所做的属性替换后，不但遵循一致、严密、完备的理论框架，而且能进一步提高相似度量的精
《之江新语》是生动记录习近平总书记推动中国特色社会主义在浙江创新实践的集成之作,是系统阐述习近平总书记在浙江实践基础上形成的科学思想体系的经典之作,与党的十八大以
[目的]观察银杏达莫联合肾康注射液治疗慢性肾衰竭的疗效。[方法]将100例患者随机分为两组,对照组常规治疗,治疗组加用银杏达莫联合肾康注射液治疗。观察两组治疗前后疗效。[
本文指出了实践教学薄弱成为制约高等农业院校人才培养质量的瓶颈,实践教学改革势在必行.简述了北京农学院农学专业实践教学《农事学》课程的设立,介绍《农事学》课程设立的