| 形式化方法在CAD软件开发中的应用 |
| |
| 引用本文： | 何滨.形式化方法在CAD软件开发中的应用[J].西南交通大学学报,1999,34(6):693-697. |
| |
| 作者姓名： | 何滨 |
| |
| 作者单位： | 西南交通大学,CAD工程中心,成都,610031 |
| |
| 基金项目： | 四川省重点科技攻关项目 |
| |
| 摘 要： | 针对设计问题的特点，将以数学为基础的形式化方法应用于CAD软件开发中，分层次形式化表达CAD系统。可以沟通用户、系统分析员、程序员以及测试工程师之间对系统的理解，达成共识。尽可能在初期发现系统的问题。为CAD软件开发者提供了排除错误、保证可靠性的有效途径。同时为软件模块的重复利用提供了可能性。
|
| 关 键 词： | 计算机辅助设计 可靠性 程序系统 形式化方法 |
| 修稿时间： | 1999-06-02 |
The Application of Formal Method to CAD Software Development |
| |
| He Bin.The Application of Formal Method to CAD Software Development[J].Journal of Southwest Jiaotong University,1999,34(6):693-697. |
| |
| Authors: | He Bin |
| |
| Abstract: | 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. |
| |
| Keywords: | computer aided design reliability software formal method |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
