摘要：
program PASCALS(INPUT,OUTPUT,PRD,PRR); { author:N.Wirth, E.T.H. CH-8092 Zurich,1.3.76 } { modified by R.E.Berry Department of computer studies University of Lancaster Variants of this ... 阅读全文
摘要：
一、正确性论证和测试的效果差异及优缺点 1.效果差异： 正确性论证包括对对象的有效性和方法的正确性进行论证，论证过程主要从方法的逻辑出发，验证是否满足相应的不变式和方法前置、后置条件。论证过程较为冗长，但从需求角度出发，在满足规格的前提下，可以对后置的所有可能结果进行验证，从一定程度上可以保证程执行 阅读全文
摘要：
规格化设计调研 发展历史 20世纪60年代，软件设计出现危机，并且在这时候产生了结构化程序设计方法，随着更大容量，更高速度的计算机的出现，计算机的应用范围也迅速扩大，结构化的程序设计开始无法满足用户的需求，面向对象程序设计应运而生。 重视原因 对于具有复杂需求的项目： 规格Bug表格分析 Bug编号 阅读全文
摘要：
第五次作业 类图 度量 时序图 设计策略分析及心得体会 最开始接触多线程，对于多线程的工作机制理解起来比较困难，花费了两天时间查阅大量资料之后终于对线程的相关知识所有掌握和了解。在阅读过指导书之后，经过一定的分析和思考，并参照PPT上的思维导图，得到了初步的设计策略。 真实模拟时间的电梯调度和第三次 阅读全文