OO第三次作业
一、JML语言的理论基础、应用工具链情况 1.JML语言的理论基础 面向对象分析和设计的原则之一就是应当尽可能地推迟过程设想，在实现方法之前确实能够做到，但是确定了架构后就会很容易地将思路转向过程性描述。JML语言的功能正是帮助人们尽可能的避免过程性思考，JML语言将延迟设想的面向对象原则扩展到了方法设计阶段，确定方法执行的内容、目的，而不必考虑方法的实现方式。JML说明性地描述类和方法的行为，能
相关文章
- 1. OO第三次作业 Care for a ride？
- 2. OO第三次博客作业
- 3. OO前三次作业思考（第一次OO——Blog）
- 4. OO第二次作业
- 5. OO前三次作业分析
- 6. OO前三次作业总结
- 7. oo前三次作业总结
- 8. OO第一次博客作业
- 9. OO第四次博客作业
- 10. OO第5-7次作业总结
- 更多相关文章...
- • TCP三次握手建立连接的过程 - TCP/IP教程
- • 第一个MyBatis程序 - MyBatis教程
- • RxJava操作符（三）Filtering
- • TiDB 在摩拜单车在线数据业务的应用和实践
相关标签/搜索
每日一句
-
每一个你不满意的现在，都有一个你没有努力的曾经。
欢迎关注本站公众号,获取更多信息
相关文章
- 1. OO第三次作业 Care for a ride？
- 2. OO第三次博客作业
- 3. OO前三次作业思考（第一次OO——Blog）
- 4. OO第二次作业
- 5. OO前三次作业分析
- 6. OO前三次作业总结
- 7. oo前三次作业总结
- 8. OO第一次博客作业
- 9. OO第四次博客作业
- 10. OO第5-7次作业总结