形式化方法在CAD软件开发中的应用关
-
摘要: 针对设计问题的特点，将以数学为基础的形式化方法应用于CAD软件开发中，分层次形 式化表达CAD系统。可以沟通用户、系统分析员、程序员以及测试工程师之间对系统的理解，达成 共识。尽可能在初期发现系统的问题。为(消刀软件开发者提供了排除错误、保证可靠性的有效途 径。同时为软件模块的重复利用提供了可能性。
-
点击查看大图
计量
- 文章访问数: 1092
- HTML全文浏览量: 39
- PDF下载量: 122
- 被引次数: 0
下载: