摘要：
第四单元总结 一、 本单元架构设计 本次作业的一个重点就是把原本按照父子关系链接的elements分析并用合适的数据结构存储起来。我选择的方法是按照元素之间的逻辑关系来构建，也就是UMLCLASS下分出attribute, operation等属性,以及father来存储父类；UMLINTERFAC 阅读全文
摘要：
一、 JML理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 对于JML，个人觉得JML相比于自然语言的优势在于，它更为严谨准确，避免了自然语言容易引起歧义的缺点。但同样，JML也有一些缺点。首先它的效率更低，相比于自然语言，表达同样 阅读全文
摘要：
设计策略： 这一单元的三次作业我的程序基本上一样架构，主线程负责接收输入并传给CONTROLLER， 然后由CONTROLLER在接受乘客之后唤醒电梯，并负责将乘客传递给电梯。 结构比较简单，只有五个类：main，control，elevator，passenger，Globalvar。其中只有el 阅读全文
摘要：
我觉得自己并没有很好地把求导的过程拆解开，我的确也根据几种函数的类型分出了几个类，并对他们分别设置了方法。 但是由于我试图一边进行求导，一边进行字符串的分析，导致了大量的代码堆积在了一个方法中，我现在回头看这些代码真是又臭又长，很难进行维护。 有几个bug也都是因为这个原因导致我无法找到bug的产生 阅读全文