架构
Prime_min
奇怪一句话怎么可以长300字
展开
-
表达式解析和表达式求导面向对象
表达式解析和表达式求导Differential Homework形式化描述对表达式做求导设定的形式化表述表达式 →\rightarrow→ 空白项 [加减 空白项] 项 空白项 | 表达式 加减 空白项 项 空白项项 →\rightarrow→ [加减 空白项] 因子 | 项 空白项 * 空白项 因子因子 →\rightarrow→ 变量因子 | 常数因子变量因子 →\right...原创 2020-03-04 17:03:23 · 425 阅读 · 0 评论 -
JML使用基础——利用openjml和JMLunit联合操作——SMT solver验证
目录从DBC到JMLSMT solver 使用JML toolchain的可视化输出 和我的测试结果规格的完善策略架构设计debug情况心得体会一、从DBC到JML契约式设计(Design by Contract)是一种开发软件的新思路。不妨通过商业活动的中真实的Contract(契约)来理解这个例子:供应商必须提供某种产品(这是供应商的义务),并且有权期望客户付费(这...原创 2019-05-23 10:37:38 · 1878 阅读 · 0 评论