1问题建模与输入契约
闭卷重建问题建模与输入契约的对象、状态、事件、不变量与一个失败反例。
选一章打印。双面打印(按长边翻页)后沿虚线剪开,每张卡片正面题目、背面答案。
闭卷重建问题建模与输入契约的对象、状态、事件、不变量与一个失败反例。
闭卷重建基线算法与反例的对象、状态、事件、不变量与一个失败反例。
闭卷重建算法选型与证明计划的对象、状态、事件、不变量与一个失败反例。
闭卷重建复杂度预算与实验的对象、状态、事件、不变量与一个失败反例。
闭卷重建差分测试与随机数据的对象、状态、事件、不变量与一个失败反例。
闭卷重建性能回归与复现的对象、状态、事件、不变量与一个失败反例。
闭卷重建算法项目答辩的对象、状态、事件、不变量与一个失败反例。