主页

教学

软件形式化方法

课程简介

  基本信息
  内容提要
  参考书目

课程简介—软件开发的形式方法

基本信息

内容提要

0. 导论
1. 形式系统
2. 逻辑基础
3. 函数和运算

5. 集合抽象
6. 对象的组合
7. 映射抽象
8. 序列抽象

9. 数据类型理论
10. 数据精化的正确性

11. 程序的正确性
12. 程序语言的语义
13. 程序的推导

参考书目

1. Jim Woodcook & Martin Loomes
   Software Engineering Mathematics--Formal Methods Demystified
   Pitman Publishing 1988
2. Cliff B. Jones
   Systematic Software Development Using VDM
   Prentice-hall international 1990
3. 缪准扣 李刚 朱关铭
   软件工程语言--Z
   上海科学技术文献出版社 1999
4. Chris George 原著 张乃孝 和华 翻译
   Raise规范语言简明教程
   1999