$$ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Self-defined math definitions %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Math symbol commands \newcommand{\intd}{\,{\rm d}} % Symbol 'd' used in integration, such as 'dx' \newcommand{\diff}{{\rm d}} % Symbol 'd' used in differentiation ... $$
2019年5月21日
BUAAOO-Third-Summary
摘要： 目录 从DBC到JML SMT solver 使用 JML toolchain的可视化输出 和我的测试结果 规格的完善策略 架构设计 debug情况 心得体会 一、从DBC到JML 契约式设计（Design by Contract）是一种开发软件的新思路。不妨通过商业活动的中真实的Contract（ 阅读全文
posted @ 2019-05-21 22:57 I_love_SE_forever 阅读(448) 评论(0) 推荐(3) 编辑
2019年4月23日
BUAAOO-Second-Summary
摘要： 目录 homework & class & trainning : 两次上机、三次作业、四周课堂 code analysis & review : 为什么我没有bug，为什么大家的bug越来越少 多线程设计 OO 设计感言 Scanning: Junit 一、作业、课堂、上机总结若干 1. 关于De 阅读全文
posted @ 2019-04-23 16:19 I_love_SE_forever 阅读(530) 评论(0) 推荐(5) 编辑
2019年3月25日
BUAAOO-First-Summary
摘要： 目录 homework & class & trainning : 两次上机、三次作业、四周课堂 code analysis & review : 为什么我没有bug 黑盒测试和白盒测试 OO 设计感言 Scanning: Creational Pattern & Multithreading 一、 阅读全文
posted @ 2019-03-25 21:04 I_love_SE_forever 阅读(630) 评论(0) 推荐(3) 编辑