摘要:
【BUAA-OO】第四单元作业总结 阅读全文
摘要:
第三单元作业总结 一、JML语言的理论基础 1. 综述 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言,属于行为接口规格语言。通过JML及其支持工具,不仅可以基于规格自动构造测试用例,还可以通过SMT Solver等工具以静态方式来检查代码实现 阅读全文
摘要:
BUAA-OO第二单元作业总结 阅读全文
摘要:
#OO第一单元作业总结 #确认存活,爱学习,爱北航,爱OO 一、三次作业分析 1.第一次作业 1.1 程序结构 对方法的度量: 类的内聚和相互间的耦合情况: 类图: 优缺点: 优点大概没什么优点,毕竟我只是个emmmm 缺点是显而易见的简单粗暴,一个Polynomial干到底,输入输出提取优化求导一 阅读全文