规格化设计的调研
随着50年代高级语言的出现，编译技术不断完善，涌现出多种流派的语言，其中就有里程碑式的Pascal语言；进入70年代，由于众多语言造成的不可移植、难于维护，Ada程序设计语言诞生了，强调大型系统可读性胜于可写性，Ada程序自成清晰的文档；经过80年代计算机硬件和操作系统的改善，程序设计重点从算法和数据结构实现技术向规模说明方向转移。从空间的角度观察, 广义上来说, 软件规格说明描述的是整个软件系统；狭义来说, 软件规格说明描述的是软件系统的组成部件。从时间的角度来观察, 广义来说, 软件规格说明方法适用于整个软件生命周期； 狭义上来说, 软件规格说明方法仅适用于软件生命周期的特定阶段。规格化设计可以提高程序的可读性，也可以提高阅读效率，便于以后的修改。
规格bug
可能是我运气太好了，这几次都没被扣规格的bug……
改进写法
1. 前置条件
1.1 忽略前置条件
previous
public int[][] getMatrix(Point dst){ /** *@ REQUIRES: None *@ MODIFIES: visited, dist *@ EFFECTS: normal_behaver \result == the shortest distance between point(x,y) from point(x2,y2) ; */ }