2018 年 5月 29 日随笔档案 - 苗萌

公告

2018年5月29日

OO第三次总结

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

posted @ 2018-05-29 00:09 苗萌阅读(248) 评论(0) 推荐(0)