2018年5月29日
面向对象第三次总结性博客
摘要： 面向对象第三次总结性博客 规格化设计的发展和重要性关于这个题目，搜寻好久无果。反倒是找到了一个有意思的东西。有趣的问题后来经过多次尝试之后，键入关键字Specification and Verification，出现了数篇英文论文。看上去国外更比国内关注规格的重要性，这样来说北航的OO课程还是超前的。其中比较有说服力的一篇文章如下：Specification and Verification ... 阅读全文
posted @ 2018-05-29 16:52 JamesDYX 阅读(194) 评论(0) 推荐(0) 编辑