摘要：从20世纪60年代开始，就存在着许多不同的形式规格说明语言和软件开发方法。在形式规格说明领域一些最主要的发展过程列举如下： 1969－1972 C.A.R Hoare撰写了"计算机编程的公理基础（An Axiomatic Basis for Computer Programming）"和"数据表示的 阅读全文

摘要：第五次作业：三部电梯的多线程调度 度量分析： 类图： 度量分析中: scheduling方法是电梯调度的主要函数，由于需要依靠指令和电梯状态来判断同质与捎带等等，嵌套得比较深，另外函数体也过大，复杂度有点大 从类图中可以看出各个类之间还算均衡，电梯类比较大，主要是它要记录的一些状态及相关标记比较多， 阅读全文