MKibera

摘要： 规格设计的发展历史 在20世纪60年代，软件设计出现危机，例如 Dijkstra 提出了 goto 语句的种种危害，引发了软件开发领域的长期的论战。在这时间产生了结构化程序设计方法，例如Pascal语言在70年代占有统治地位。 之后，随着计算机软件规模日渐庞大，结构化程序设计方法无法满足用户的需求， 阅读全文