1.形式化方法是描述系统性质的基于数学的技术,也就是说,如果有一种方法有坚实的数学基础,那么它就是形式化的。应用形式化方法准则:选用适当表示方法,不能过分形式化,应该估算成本,应该有形式化方法顾问,不应该放弃传统开发方法,建立详尽的文档,不应该放弃质量标准,不应该盲目依赖形式化方法,应该测试多遍,应该重用。
2.《大象:ThinkinginUML》以UML为载体,将面向对象的分析设计思想巧妙地融入建模过程中,通过贯穿全书的实例将软件系统开发过程中方方面面的知识有机地结合在一起,用生动的语言和精彩的事例将复杂枯燥的软件过程讲解得津津有味。全书分为准备篇、基础篇、进阶篇和总结篇四个部分。准备篇讲述面向对象分析的一些基本概念,及学习建模需要了解的一些基本知识。基础篇对UML的基础概念重新组织和归纳整理,进行扩展和讨论,引申出针对UML的这些概念在面向对象方法中应用方法的思考。进阶篇以一个实例贯穿全篇,阐述如何使用UML从头到尾地实施一个项目。总结篇针对在现实中经常遇到并且较难掌握的问题进行深入的探讨,升华在前几篇学习到的知识。