第五章，软件工程中的形式化方法

设计是将一个实际问题转换成相应的解决办法的主动过程，所谓设计也可以是对一种解决办法的描述。总体设计描述系统时，不采用计算机方面的专业术语，用户完全能够理解。总体设计是解决系统做什么的问题，而技术设计则是解决系统怎样做的问题。

对于每种情况而言，没有一种设计风格或方法可以说是最佳的。事实上，当新方法和技术出现的时候，我们必须将它们和现有的方法进行比较。大部分的项目，是由一组人员共同工作进行设计的，通常不同的人被分配整个设计中的不同的部分。用户界面是设计中的棘手问题，因为不同的人有不同的认识、理解的风格。而且，不同的人干一件事的顺序也不尽相同，还有它们使用屏幕和键盘的程度也不同。软件设计在开发过程中是一个很重要的部分，而且在其中还有很多有待探索的研究领域。 

从这一章中学到了程序设计中的结构风格，对于异常处理的做法。以及设计中存在的大大小小的问题以及怎么去解决。怎么有条理的去完成设计。