形式方法在CAD软件开发中的应用

针对设计问题的特点，将以数学为基础的形式化方法应用于ＣＡＤ软件开发中，分层次形式化表达ＣＡＤ系统。可以沟通用户，系统分析员，程序员以及测试工程师之对系统的理解，达到共识。同时为软件模块的重复利用提供了可能性。     

形式化方法在CAD软件开发中的应用

针对设计问题的特点,将以数学为基础的形式化方法应用于CAD软件开发中,分层次形式化表达CAD系统。可以沟通用户、系统分析员、程序员以及测试工程师之间对系统的理解,达成共识。尽可能在初期发现系统的问题。为CAD软件开发者提供了排除错误、保证可靠性的有效途径。同时为软件模块的重复利用提供了可能性。