$$ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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 ... $$
摘要: 目录 从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) 编辑