会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
eleony
博客园
首页
新随笔
联系
订阅
管理
2020年5月23日
面向对象第三单元总结
摘要: 一、JML语言 1.理论基础 1.规格化设计 类是一个编程单位,类规格定义了类实现者和类使用者之间的契约:类实现者信任使用者能够确保所有前置条件都能被满足,类使用者信任设计者能够有效管理相应的数据和访问安全。通过这样规格契约的连接,系统的较低层次为系统的较高层次提供了服务接口,从而协同系统不同层次的
阅读全文
posted @ 2020-05-23 17:17 eleony
阅读(194)
评论(0)
推荐(0)
编辑
公告