用形式方法开发CAE软件

摘要：

计算机辅助工程(CAE)软件规模越来越大,也越来越复杂.软件形式方法可用于开发CAE软件.本文简述了形式方法和Z规格说明语言,以三维空间中的节点序列及其操作为例,介绍了用形式方法开发CAE软件的过程.本文还对形式方法的相关技术进行了讨论.

关键词： 软件形式方法 形式规格说明语言 计算机辅助工程 CAE软件 节点序列

作者: 缪淮扣 胡晓波

作者单位: 上海大学,计算机工程与科学学院上海,200072

会议类型: 国内会议

会议名称: 中国科学院技术科学论坛第二十三次学术报告会议(CAE自主创新发展战略)

会议地点: 上海

会议语种:中文

页码: 176-187

在线出版日期: 2006-10-01（万方平台首次上网日期，不代表论文的发表时间）