王培宇

摘要： OO Unit4及课程总结 随着第四单元作业的结束，本学期的OO课程正式完结。一个学期，四个单元，8次实验，11次代码作业，16次理论授课，OOP这门课程从多个角度带我认识了面向对象设计的思想精髓并在实践中不断加深、锤炼面向对象的思想。付出总是有回报，每次绞尽脑汁地思考架构，换来的是设计能力的大幅提 阅读全文

摘要： OO Unit3 总结 ​ 第三单元的作业是以规格为基础的编程，通过这一单元的作业，笔者基本掌握了规格化设计和实现的思想方法。 JML梳理 理论基础 JML是一种形式化的、面向JAVA的行为接口规格语言，主要用于进行契约式编程，可以基于工具形成对代码的自动验证和测试。 1. 注释结构：JML以jav 阅读全文

摘要： OO Unit2 总结 ​ 第二单元的作业是面向多线程的电梯编程，通过这一单元的作业，笔者基本掌握了多线程编程的方法。 第五次作业 task ：单部先来先服务调度电梯，用户请求可以在任意时刻到达。 类图 时序图 设计策略 ： 虽然第一次作业仅仅只有一部电梯，但是需要一个专门的线程用于处理输入，与电梯 阅读全文

摘要： OO Unit1 总结 ​ 前三次作业以多项式求导为核心，每次作业在上一次基础上加大难度，在完成这些作业以后，我对于面向对象的设计方法、思想迭代开发的模式有了一定的理解，以下是对第一单元三次作业的分析和一些心得体会。 第一次作业 task ：实现简单多项式的求导，因子仅为带符号整数与幂函数。 类图 阅读全文