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

• 作者: 何滨
• 来源期刊: 西南交通大学学报
• 学科: 工学
• 关键词: 计算机辅助设计 可靠性 程序系统 形式化方法
• 年，卷（期）: 1999,（6）
• 页码范围: 693-697
• 页数: 5页
• 分类号: TP391.72
• 字数: 3946字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.1999.06.017

摘要

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