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

被引：1

作者：

何滨

机构：

[1] 西南交通大学CAD工程中心!成都

来源：

关键词：

计算机辅助设计; 可靠性; 程序系统; 形式化方法;

D O I：

暂无

中图分类号：

TP391.72 [];

学科分类号：

080201 ; 080203 ; 081304 ; 1403 ;

摘要：

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

引用

页码：693 / 697

页数：5