摘要：
一、作业架构设计 本单元作业尽管逻辑并不复杂，但工程量是较大的，尤其是第一次作业。 本单元的作业是json格式描述的UML图的解析器。其中，所有的解析程序都已经给定，并会向指定的类的构造函数传入一个包含了所有UML图元素的数组。 UML图包含三种类型： UML类图：包括类和接口，类和接口之间的继承、 阅读全文
摘要：
一、JML介绍 JML(Java Modelling Language)是一种用于描述Java程序方法的行为的语言。JML规格对方法的执行效果、执行条件和副作用等作出了明确的规定。 JML方法规格的场景有两种：正常行为和异常行为，分别用normal_behavior和exceptional_beha 阅读全文
摘要：
一、问题描述 本单元的问题，是编程经典问题电车难题电梯问题。一个目的选层电梯，在每层的电梯外侧都可以选择想要去的地方。在这个单元，不仅可以见到多个电梯来回鬼畜，还可以看到电梯故障吃人，多线程的bug应有尽有。 第一次作业不同往年，平移了上一届的第二次作业，需要制作一台可捎带电梯。电梯可以采用任意的调 阅读全文
摘要：
一、问题简述 本次作业的任务为多项式的求导。一个多项式为类似x**2+sin(x**2)**3这样的式子，第一次仅是只带有幂函数的、常数因子固定在每个乘积项的第一个因子位置的多项式求导；第二次则是增加了三角函数，给表达式带来了化简的难题，且对格式错误的输入要输出WRONG FORMAT!；而第三次又 阅读全文