摘要：
1、第四单元两次作业的框架设计 两次作业的框架设计是一脉相承的，第14次作业完全继承了第13次作业类中的方法。 通过对 类的分析，直接将前一次作业中涉及到的9个类在构造方法中便分开并单独存放，即分为了9个 因为一开始对查询需求没有做过多考虑，后续发现这种分离方式在一定程度上使查询结果复杂化了，而 阅读全文
摘要：
一.JML语言 定义 Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为 。它结合了Eiffel的契约方法设计 和Larch 系列接口规范语言的基于模型的规范方法 。 理论基础 JML是契约式语言的一种具体表现形式。 契约（Contact）：声明一个函数/方法的时候，对函 阅读全文
摘要：
面向对象第二单元（多线程调度）总结体会 前言 这三次作业的训练目的在于熟练掌握JAVA多线程同步互斥调度。其采用了比较贴合实际的电梯问题来作为载体，将多线程调度由易到难分成三个部分： 第一阶段要求了解结合多线程概念，理解电梯与请求之间的协作关系，考虑哪些资源需要被两个进程同时访问 第二阶段要求不 阅读全文
摘要：
前言 本次博客是针对面向对象的前三次作业中出现的问题进行的反思与思考。由于大一学习的程序设计与数据结构属于比较基础的课程，且使用C语言实现，在做题过程中总是采用面向过程的方法，使得程序冗长，一main到底。而本学期的前三次作业虽然强调面向对象，但由于理解深刻，往往无法实现真正意义上的高内聚，低耦合， 阅读全文