17373366

摘要： 前言 第四单元的OO课程又结束了，这也意味着自己OO学习算是告一段落了。接下来我将从5个方面来总结一下UML单元的学习以及整个OO课程的一些总结。 架构设计 第一次作业 程序分析： 对于需要进行信息存储的类比如说Class和InterFace，还有Class下的Operation，都单独建立一个类来 阅读全文

摘要： 前言 经过了三个星期的第三单元的学习，现在又到了进行总结的时间了。接下来我将从ML语言的理论基础，SMT Solver，JMLUnit，以及自己作业的架构等方面来叙述这个单元的学习。 JML语言的理论基础和应用工具链 理论基础： JML(Java Modeling Language)是用于对Java 阅读全文

摘要： 前言 又经过了三周艰难的面向对象课程的学习，又到了我们最喜欢的写博客总结环节。说实话，经过了三周的锤炼，对于多线程相关的知识，我还是学到了不少的。 第一次作业 程序分析： 电梯作业，我逐渐走上了一条面向对象的路，一共使用了7个类。分别是主类，调度器类，人线程类，人本身类，电梯线程类，电梯本身类，结束 阅读全文

摘要： 前言 在经历了三周相对痛苦的面向对象课程的学习之后，终于有了机会进行一次总结。说实话经过了三周的学习，还是收获了不少东西的。 第一次作业 程序分析： 这次作业是我的第一次OO作业，其中只有四个类，分别是主类、中间类、判断类和求导类。 设计思路：首先应用一个主类进行数据的输入和输出工作，然后中间类负责 阅读全文