2018年5月29日
规格化设计-----JSF(第三次博客作业)
摘要： 从20世纪60年代开始，就存在着许多不同的形式规格说明语言和软件开发方法。在形式规格说明领域一些最主要的发展过程列举如下： 1969－1972 C.A.R Hoare撰写了"计算机编程的公理基础（An Axiomatic Basis for Computer Programming）"和"数据表示的 阅读全文
posted @ 2018-05-29 20:21 bwjak 阅读(235) 评论(0) 推荐(1) 编辑