会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Supercalifragilistic
博客园
首页
新随笔
联系
订阅
管理
2021年5月28日
OO-unit3
摘要: 本单元是基于JML规格来实现对社交关系的模拟和查询,整体架构与设计都是官方给出。在实现过程中,我深感JML是一个非常适合开发的形式化规格语言。尤其对于团队项目的开发,用JML可以清晰规定每一部分的代码要求,程序员在实现时仅需思考在此基础上如何提升性能,而不用为架构设计发愁,体验极佳。 设计策略 由于
阅读全文
posted @ 2021-05-28 23:09 Supercalifragilistic
阅读(73)
评论(0)
推荐(1)
编辑
公告