2018年5月30日
OO第三次阶段性总结
摘要： 一、规格化设计的历史以及人们重视的原因 发展历史 从20世纪60年代开始，就存在着许多不同的形式规格说明语言和软件开发方法。在形式规格说明领域一些最主要的发展过程列举如下： 1969－1972 C.A.R Hoare撰写了"计算机编程的公理基础（An Axiomatic Basis for Comp 阅读全文
posted @ 2018-05-30 16:19 bwisme 阅读(119) 评论(0) 推荐(0) 编辑