作业10 形式化方法和阅读

1.什么是形式化方法？

形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。

形式化方法以严格的数学化和机械化方法为基础来规约、构建和验证计算系统，是改善和确保计算系统质量的重要方法，其模型、技术和工具已延生成为计算思维的重要载体。

形式化方法知识体系中的6个知识领域为:

① 基础 ② 形式化规格 ③ 正确性验证及演算 ④ 形式化语义 ⑤ 可执行规格支持

⑥ 其他 6个知识领域包括15个知识子领域或者知识单元:

FM01形式化方法的集合理论/拓扑基础

FM02 形式化方法的逻辑基础

FM03 形式化方法的类型理论基础

FM04 形式化方法的代数基础

FM05 面向性质规格

FM06 面向模型规格

FM07 多范式规格

FM08 构造正确性

FM09 验证正确性

FM10 机器检验正确性

FM11 求精技术

FM12 程序语言语义

FM13 形式化分布式、并发、移动

FM14 声明式程序设计

FM15 其他

2.阅读《大象——thinking in UML》

确定？

 

编辑