摘要：
面向对象编程 之 第四单元总结 针对第四单元和本学期所学的内容，在独立思考的前提下在博客园完成技术博客的撰写： （1）总结本单元三次作业的架构设计 （2）总结自己在四个单元中架构设计及OO方法理解的演进 （3）总结自己在四个单元中测试理解与实践的演进 （4）总结自己的课程收获 （5）立足于自己的体会 阅读全文
摘要：
面向对象编程 之 第三单元总结 针对 第三单元的三次作业和课程内容 ，在独立思考的前提下在博客园完成技术博客的撰写 (1)梳理 JML 语言的 理论基础、应用工具链 情况 (2) (选做，能较为完善完成的酌情加分) 部署SMT Solver，至少选择3个主要方法来尝试进行验证，报告结果。有可能要补充 阅读全文
摘要：
面向对象编程 之 第二单元总结 本次单元的三次作业内容主题依据电梯调度依次展开。本文将主要围绕代码的设计策略、功能性能设计平衡、度量分析、自动化测试以及总结感想六方面对此次作业进行阐述。 (1)从多线程的协同和同步控制方面，分析和总结自己三次作业的设计策略。 (2)从功能设计和性能设计的平衡方面，更 阅读全文
摘要：
面向对象编程 之 第一单元总结 本次单元的三次作业内容主题依据多项式求导依次展开。本文将主要围绕代码的架构设计以及规模分析，从架构设计、 程序结构分析、自动化测试以及总结感想四方面对此次作业进行阐述。 [TOC] 1.多项式求导架构设计分析 1.1 需求分析 第一次作业，主要是简单多项式导函数的求 阅读全文