会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
mio4
博客园
首页
新随笔
联系
订阅
管理
2018年5月28日
OO第三次博客作业
摘要: 规格化设计发展历史 在调研的过程中再一次验证了“百度搜索不适合学术”这个观点,没有找到合适的搜索结果后,转用Google,才找到了一些细节。 保证程序的正确性以及减少软件错误一直是程序员关注的问题,Hoare提出了基于“前置后置条件”的接口规格方法。 为了建立正确的类规格,近些年来,研究者们进行了抽
阅读全文
posted @ 2018-05-28 11:37 mio4
阅读(264)
评论(0)
推荐(0)
编辑
公告