形式语义学介绍

ject management ? SE7. Software tools and environments ? SE8. Component-based computing ? SE9. Formal methods ? SE10. Software reliability ? SE11. Specialized systems development 2017-6-1 5本课程的学科地位?欧洲、美国高校? IEEE/puting Curriculum) 中将 FM 分为 6个知识领域 15个知识子域或知识单元: ?FM01 :不动点演算、 Scott 域理论?FM02 :Hoare 逻辑、?演算?FM06 :抽象状态机、循环不变式、前/后条件?FM12 :指称语义和操作语义?FM14 :函数式程序设计 2017-6-1 6 形式化方法基础其它正确性验证及演算可执行规格支持形式化规格形式化语义形式化方法( Formal Method )知识体系 FM04 FM03 FM02 FM01 FM15 FM05 FM06 FM07 FM08 FM09 FM10 FM11 FM12 FM13 FM14 2017-6-1 7学习目的?掌握不同风格程序语言的基本原理、实现原理和典型编程方法。?学习编写正确程序的方法和技术。?培养抽象思维,提高抽象描述、推理和证明能力。?了解形式化方法的基本思想和应用为在软件开发中应用形式化方法奠定基础。?训练编写正确程序的能力?从认识规律出发训练各种良好的程序设计习惯 2017-6-1 8考核?平时作业/测验: 30 % ?每章结束时的作业/随堂测验?结业考试: 70 % ?关于(作业/测试)抄袭:一经发现, 并确认后,相关部分的分数为零。?交作业的时间:一周后 2017-6-1 9