摘要
针对设计问题的特点，将以数学为基础的形式化方法应用于CAD软件开发中，分层次形式化表达CAD系统。可以沟通用户、系统分析员、程序员以及测试工程师之间对系统的理解，达成共识。尽可能在初期发现系统的问题。为CAD软件开发者提供了排除错误、保证可靠性的有效途径。同时为软件模块的重复利用提供了可能性。
According to the features of design problems, a formal method based onmathematics is applied to CAD software development. CAD systems can be formallyrepresented at different levels. It can let users, system analysts, prograammers and testengineers have a common understanding of the desired system; and find errors as early aspossible. It also provides an approach for CAD software developers to me errors and ensurereliability, and give the possiblity to reuse the software module described in specificationlanguage.
出处
《西南交通大学学报》
EI
CSCD
北大核心
1999年第6期693-697,共5页
Journal of Southwest Jiaotong University
基金
四川省重点科技攻关项目
