会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
小坤兽
博客园
首页
新随笔
联系
管理
订阅
2019年5月18日
规规格格
摘要: 作业要求<->目录 (1)梳理JML语言的理论基础、应用工具链情况<->JML总结 (2)部署SMT Solver<->无 (3)部署JMLUnitNG/JMLUnit<->测试 (4)梳理架构设计分析对架构的重构<->数据结构+核心思想+算法 (5)按照作业分析代码实现的bug和修复情况<->测试
阅读全文
posted @ 2019-05-18 16:03 小坤兽
阅读(268)
评论(0)
推荐(0)
编辑