2019年5月18日

规规格格

摘要： 作业要求<->目录 (1)梳理JML语言的理论基础、应用工具链情况<->JML总结 (2)部署SMT Solver<->无 (3)部署JMLUnitNG/JMLUnit<->测试 (4)梳理架构设计分析对架构的重构<->数据结构+核心思想+算法 (5)按照作业分析代码实现的bug和修复情况<->测试 阅读全文

posted @ 2019-05-18 16:03 小坤兽 阅读(268) 评论(0) 推荐(0) 编辑