摘要：
两次作业的架构分析 第一次 针对于第一次的作业，考虑到包含有各种各样的UML的类，并且这些类中已经提供了众多的方法，起初为了方便使用这些官方包的代码提供的功能，考虑自己实现一些My类，与UML类相对应的进行继承，但在过程中发现，官方包的这些类的内容都没有提供有效的构造，无法实现。退而求其次，将UML 阅读全文
摘要：
一、梳理JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 jml原子表达式： \result:表示方法的返回值 \old(expr):表示expr在执行方法前的值 \not_assigned(x,y,... 阅读全文
摘要：
电梯第一次作业 第一次电梯较为简单，主要目的在于初步接触多线程，可以实现一些简单的操作。 在本次作业中，为了更好的了解多线程，我也阅读了一些代码，并据此仿写完成了第一次作业。 根据生产者和消费者的模式，读入线程即为生产者，电梯与调度器一起为消费者。仓库的容量为1，故两线程相互进行等待（这主要是没有真 阅读全文
摘要：
Homework 1 简单多项式导函数 对于初次接触的OO，第一次作业已经可以体会到其与面向过程的C语言之间的差别。 我的想法是，建立了Multinomial和Monomial 两个类，分别能够实现多项式和单项式。 对于多项式类，只提供默认的无参数构造方法。对单项式类，提供参数为系数和指数的构造方法 阅读全文