摘要: 一、本单元两次作业架构设计 1.1 第一次作业的架构设计 1.1.1 UML类图 1.1.2 设计分析 本次作业的任务是实现一个UML类图解析器,可以通过输入各种指令来进行类图有关信息的查询。作业的程序主干逻辑和解析mdj格式文件这种最脏最累的活也由助教们帮我们完成了(辛苦!)。而我们只需要利用解析 阅读全文
posted @ 2019-06-21 22:14 zzhnobug 阅读(356) 评论(0) 推荐(0) 编辑
摘要: 本单元的三次作业与JML有关,都是依据课程组下发的JML规格实现相应的类及方法。 一、JML语言的理论基础及应用工具链 1.1 JML语言的理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(Behavior 阅读全文
posted @ 2019-05-22 13:41 zzhnobug 阅读(203) 评论(0) 推荐(0) 编辑
摘要: 本单元的重点是多线程的设计与控制。通过对java多线程知识的学习与练习,我初步掌握了多线程设计的一些要点。 一、设计策略 1.1 第五次作业设计策略 第五次作业为单部电梯多线程傻瓜调度,要求按照先来先服务的原则进行服务。首先建立一个输入类,专门用于处理输入。然后建立一个电梯类,用于模拟电梯的运行。两 阅读全文
posted @ 2019-04-24 17:27 zzhnobug 阅读(152) 评论(0) 推荐(0) 编辑
摘要: 本单元围绕表达式求导展开,由浅入深,由易到难,令人收获良多。通过这一单元的练习,我不仅掌握了一定的Java知识,更重要的是摆脱了固有的面向过程思维定式,逐渐认识了面向对象的思想。 一、基于度量分析程序结构(使用MetricsReloaded插件) 1.1 第一次作业 设计思路:由于第一次作业较容易, 阅读全文
posted @ 2019-03-26 13:45 zzhnobug 阅读(313) 评论(0) 推荐(0) 编辑