摘要: 面向对象第三次总结性博客 规格化设计的发展和重要性关于这个题目,搜寻好久无果。反倒是找到了一个有意思的东西。有趣的问题后来经过多次尝试之后,键入关键字Specification and Verification,出现了数篇英文论文。看上去国外更比国内关注规格的重要性,这样来说北航的OO课程还是超前的。其中比较有说服力的一篇文章如下:Specification and Verification ... 阅读全文
posted @ 2018-05-29 16:52 JamesDYX 阅读(194) 评论(0) 推荐(0) 编辑
只有注册用户登录后才能阅读该文。 阅读全文
posted @ 2018-05-01 21:18 JamesDYX 阅读(18) 评论(0) 推荐(0) 编辑
只有注册用户登录后才能阅读该文。 阅读全文
posted @ 2018-04-01 23:44 JamesDYX 阅读(100) 评论(2) 推荐(0) 编辑
摘要: 廖雪峰的Git教程: 创建Git仓库: 使用mkdir指令可以新建一个文件,cd进入该文件,pwd可以展示当前路径 进入新创建的文件夹中,或进入已有的文件夹中,使用git init可以创建一个Git仓库 把编辑好的文件放入Git仓库所在文件夹中,使用指令git add newfile.txt把文件添 阅读全文
posted @ 2018-03-09 17:41 JamesDYX 阅读(134) 评论(0) 推荐(0) 编辑
摘要: 2000字面向对象程序设计课程个人体会 阅读全文
posted @ 2017-08-03 23:14 JamesDYX 阅读(499) 评论(0) 推荐(0) 编辑
摘要: 第二节课我们主要学习了接口和IO操作。接口可以看作一个纯的抽象类,只提供设计,不提供方法实现。接口中可以包含基本数据类型,默认为static和final。接口可以允许在几个不相干的对象中定义共同的行为。声明接口时使用[接口修饰符] interface 接口名称 [extends 父接口名]。接口中所 阅读全文
posted @ 2017-07-11 12:25 JamesDYX 阅读(179) 评论(0) 推荐(0) 编辑
摘要: 因为听说大二下OO这门课是个重头戏,再加上自己C学的还可以,我决定笨鸟先飞,提前学习一下JAVA的基础。课程和预想的有稍许不同,可以说比预想的好太多。注重实践,引导式教学,给自己思考留出了很大的空间。课堂上学到的东西也很多。虽然很多内容与C相似,但还是有很大不同。JAVA里面的类可以看作特殊的C的结 阅读全文
posted @ 2017-07-06 22:53 JamesDYX 阅读(123) 评论(0) 推荐(0) 编辑