课程：软件构造 - 随笔分类 - giere

软件构造-对specifications的一些理解和总结

摘要：本篇blog的内容来源于对MIT课程中的readings 6 - Specifitions阅读后的一些总结和个人的理解网址：http://web.mit.edu/6.031/www/fa18/classes/06-specifications/ 这篇reading详细介绍了java程序编写中的sp 阅读全文

posted @ 2019-06-13 22:45 giere 阅读(1113) 评论(0) 推荐(0)

理解java容器：iterator与collection，容器的起源

摘要：关于容器iterator与collection：容器的起源iterator的简要介绍iterableiterator关于remove方法Collection的简要介绍基本特性方法关于容器java中有许多有用的容器，比如说Set，广泛使用的ArrayList，这些容器使用的非常广泛所有这些容器都是直接或间接源于一个接口：Collection（不是Collections）iterator与collec... 阅读全文

posted @ 2019-04-10 19:46 giere 阅读(998) 评论(0) 推荐(0)

【软件构造】-<笔记>-浅谈java中类的初始化过程

摘要：编写java程序时，每创建一个新的对象，都会对对象的内容进行初始化。每一个类的方法中的局部变量都有严格的初始化要求，因此假如写出下面的程序：编译时就会得到一条出错信息，因为java会严格检查方法内部局部变量的初始化，正如《java编程思想》中所说“未初始化的局部变量更有可能是程序员的疏忽” 但是阅读全文

posted @ 2019-03-13 16:59 giere 阅读(285) 评论(0) 推荐(0)

随笔分类 - 课程：软件构造

公告