规格化设计发展历史
在上世纪六十年代，大容量、高速度计算机出现，计算机的应用范围迅速扩大，随之而来的是软件开发急剧增长，软件系统的规模越来越大，软件可靠性问题也越来越突出，软件危机开始爆发 ，由此产生了结构化程序设计方法，即面向过程程序设计。
然而随着计算机科学的进一步发展，结构化程序设计也变得无法满足用户需求，面向对象程序设计应运而生，规格化设计也就开始出现。
规格化设计使得程序更加规范化，大大提高了程序的可靠性、可维护性，由此就得到了人们的重视。
被报规格bug数
第九次没有；
第十次一万个；
第十一次没有；
规格bug产生的原因
都是漏写，漏写MODIFES，或者EFFECTS，甚至二者里只写了一个，另外一个忘写了。
不好的写法：
1.漏写，改进方法：补上就是；
2.自然语言，改进方法：之所以写自然语言是因为代码太复杂，所以把代码拆到能不用自然语言即可。
功能bug与规格bug的聚类关系
我被报的功能bug也是因为漏写东西，但和规格bug并无联系。
感想体会
1.运气其实挺重要的。
2.不懂为什么一个系列作业先让写了大量的代码再来要求规格。
3.分享一件耐人寻味的事：第十一次作业我的一个室友拿到测试任务后，准备jsf捞一把，但打开代码他发现：每个类里面实现功能的方法极少，可能就那么一两个，但代码并不短，有长达三四百行的方法。我不好评价这份代码写得怎么样，但客观事实是：在面向对象程序设计这门课的互测中的”规格检查“环节，这份代码扣分是极少的。于是室友在jsf上斩获颇少。