会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
sit down, and eat watermelon
博客园
首页
新随笔
联系
订阅
管理
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)
编辑
公告