摘要：一、规格化设计的历史以及人们重视的原因 发展历史 从20世纪60年代开始，就存在着许多不同的形式规格说明语言和软件开发方法。在形式规格说明领域一些最主要的发展过程列举如下： 1969－1972 C.A.R Hoare撰写了"计算机编程的公理基础（An Axiomatic Basis for Comp 阅读全文

摘要：终于，终于又到了写博客的一周。可以说这三周的作业相比前三周来说的确是翻车了，不过翻车当中也有进步，从多线程电梯的不知所措到最后出租车能够有条理的写程序，感觉自己在这三周作业当中学到的知识比前三次要多得多。 作业分析 多线程电梯 度量 类图 时序图 分析 这次作业是OO翻车的第一次作业。可以说多线程迈 阅读全文