论文部分内容阅读
本文结合在勘测设计一体化软件开发过程中的实践经验，介绍了以数学为基础的形式化方法应用于勘测设计一体化软件的开发中，分层次形式化表达ＣＡＤ系统。形式化方法的应用，可以有利于沟通用户、系统分析员、程序员以及测试工程师之间对系统的理解，达成共识，尽可能在软件开发初期发现系统的问题，为勘测设计一体化软件开发者提供了排除错误、保证可靠性的有效途径。同时，它为软件的重复性利用提供了可能性。