形式化故障树分析建模和软件安全性测试

形式化变分理论，赵建中，，本文以数学逻辑讨论了弹性力学中的变分理论，提出变分理论一致性原则。文章讨论了钱伟长教授提出的变分原理中的变量独立问题。文

收集的协议形式化的相关论文，总共57篇，希望对别的同学了解协议形式化有所帮助

北大形式化方法课程的课件，重点介绍软件开发过程中的形式化方法。

作　　者： 古天龙　编 出 版 社： 高等教育出版社 形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化

Formal methods in software development

需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型，用来将软件需求分析直接、自动地转换为形式化描述，为需求验证提供帮助，避免软件在需求规范上可能产生的错误。

安全关键系统（SCS）是在超出规定规格的范围内操作可能会对用户和/或环境造成伤害的系统。 这样的系统用于广泛的领域，例如航空航天，汽车，铁路运输和医疗保健。 在本文中，我们提出了一种在模型驱动工程（M

统一建模语言（UnifiedModelingLanguage，UML）又称标准建模语言，是始于1997年的一个OMG标准，它是一个支持模型化和软件系统开发的图形化语言。本书是UML的入门书籍。

论文《基于形式化方法的协议测试理论》

本文介绍了我们在几何知识对象的识别,形式化,结构化和规范化方面的工作,目的是进行语义表示和知识管理。 我们根据几何知识在几何文献中的积累和表示方式对几何知识进行分类,通过调整一阶逻辑的语言来对几何知识