形式化方法在勘测设计一体化软件开发中的应用 石红兵; 侯永会 【期刊名称】《《工程设计CAD与智能建筑》》 【年(卷),期】2000(000)010 【摘 要】本文结合在勘测设计一体化软件开发过程中的实践经验，介绍了以数学为基础的形式化方法应用于勘测设计一体化软件的开发中，分层次形式化表达CAD系统。形式化方法的应用，可以有利于沟通用户、系统分析员、程序员以及测试工程师之间对系统的理解，达成共识，尽可能在软件开发初期发现系统的问题，为勘测设计一体化软件开发者提供了排除错误、保证可靠性的有效途径。同时，它为软件的重复性利用提供了可能性。 【总页数】4页(P32-35) 【作 者】石红兵; 侯永会 【作者单位】北方交通大学 【正文语种】中 文 【中图分类】U212 【相关文献】 1.勘测设计一体化软件开发过程中数据库的设计 [J], 石红兵;郑云;曾学贵 2.形式化方法在藏文软件开发中的应用研究 [J], 马小龙 3.形式化方法在软件开发中的应用 [J], 曹斌;刘栓 4.软件开发的形式化方法在程序测试中的应用 [J], 廖伟志 5.地理信息系统在勘测设计一体化软件开发过程中的应用 [J], 石红兵;魏庆朝 因版权原因，仅展示原文概要，查看原文内容请购买 本文来源：https://www.wddqw.com/doc/5f7b8c4e5aeef8c75fbfc77da26925c52cc5913a.html