摘要：
本单元三次作业的架构设计 第十三次作业 在这次作业，实现一个UML类图的解析。作业中对UmlClass、UmlInterface、UmlOperation和UmlAssociation进行了重新封装，根据需要实现的查询功能实现了一些新的方法。 在MyUmlInteraction类中需要进行查询时只需 阅读全文
摘要：
第五次作业 第五次的作业，输入已经从官方那边提供的，然从在InputReq调用所有的官方提供的输入，还有做新的类（Req）。Elevator类就是表示Elevator的功能。第一次作业还是比较简单因为只有一部电梯，在这就是锻炼我们使用synchronized方法。 Hacked： 无Bug UML类 阅读全文
摘要：
第一次作业 第一次的作业，只需要对输入的字符串进行解构、保存、求导然后输出就完成了，但对我 来说，在做这次作业的时候有点难，在上网我找了资料来学习和参考，就能找出那样的思路。寒假之前课程组进行的预习活动远不能让我对java的基础操作就熟，因此在第一次作业还没有面向对象的思想。然后在做第一次作业的时候 阅读全文
摘要：
1.JML语言的理论基础 & 应用工具链情况 JML概述 JML概述 Java建模语言（JML）是Java程序的规范语言，它使用Hoare风格的前后条件和不变量，遵循契约范式的设计。规范被写成源代码文件的Java注释注释，因此可以用任何Java编译器编译。JML是Java模块的行为接口规范语言。JM 阅读全文
摘要：
第一次作业（简单多项式导函数） 在第一次作业我第一次思路是只用一个类就是main类,但这个思路我觉得不对因为我应该再建一个类（PolyTerm），PolyTerm类是来判断多项式的格式。 但在第一次作业我对正则表达式还不太熟悉然后就是能够处理输入，但一旦碰到输入错误就无法处理，然后输出格式也不对，因 阅读全文
摘要：
测试与正确性论证的效果差异 这此的测试是使用规格通过测试用例对实现方法正确性的检查，与平时测试时直接用数据输入输出判断不同，这测试针对每一个具体方法的实现，使用JUnit。 优点： 缺点： 正确性论证可以做到全面的覆盖，在论证过程中会找到了不少写不正确的规格。但是，它的工作量实在是太大了，除了单纯论 阅读全文
摘要：
一）。规格化设计的大致发展历史 软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究，即J.Backus提出BNF描述Algol60语言的语法，出现了各 种语法分析程序自动生成器以及语法制导的编译方法，使得编译系统的开发从“手工艺制作方式”发展成具有牢固理论基础的系统方法。形 阅读全文
摘要：
过了这三次作业老师教我们怎么设计一个多线程程序，这三次作业都是关于多线程。 第5次作业——多线程电梯 这第5次作业我赶不上提交，因为在之前的作业我没做所以第五次作业我没法做。 我基本设计是这样：输入、调度器、三部电梯，共5个线程。输入和总调度器从共享对象——请求队列——中获取请求，从调度器到三部电梯 阅读全文
摘要：
OO 课程心得体会 首先我很抱歉因为我追不上了第一及第三次作业，因为第一次和第二次作业发布时我国际学院老师还不能帮我选课，第三次作业要做的时候时间来不及了所以在这次博客作业我只能分享个人的感觉。在第二次作业我自己遇到的困难是语言问题，因为我中文是有限的我需要读指导书好多遍，第二是当时要做的时候自己没 阅读全文