西安交通大学研究生课程简介
课程编码：052038
课程名称：软件形式化方法
Formal Methods in Software Development
学分数：2
课内学时：40
课程内容简介：
本课程为计算机软件与理论专业硕士研究生的专业基础课。通过课程的学习，使学生掌握形式化方法的基本理论、内容以及软件形式化规范的常用方法与手段。具体内容包括：形式化方法概述，形式化方法的数学基础，λ演算，操作语义，指称语义，公理语义，代数规范的初始语义，程序的正确性与推导，形式规范描述语言，形式化方法的应用等。
先修课: 离散数学
参考书目：
１． 陈意云,形式语义学基础，中国科学技术大学出版社，2000
２． 屈延文,形式语义学基础与形式说明,科学出版社，2001
３． John C. Mitchell, Foundations For Programming Languages, The MIT Press,1996.
４． Banjamin C. Pierce, Types and Programming Laungages, The MIT Press, 2002.
５． Robert Harper, Programming Languages: Theory andPractice,2002
执笔人：侯迪
审定人：冯祖仁
