面向对象第三单元博客
社区首页 (3667)
请编写您的帖子内容
社区频道(5)
显示侧栏
卡片版式
全部
学习资料
作业
作业提交
活动专区
最新发布
最新回复
标题
阅读量
内容评分
精选

3
评分
回复
面向对象第三单元博客
JML和规格驱动开发 JML 是针对Java设计的形式化规格语言,用于为Java代码编写严格、可读的契约式规范,衔接自然语言描述与形式化逻辑。其逻辑严谨,能明确给出每个方法要去做什么,它能把模糊的需求转化为可校验的逻辑规则,既能作为开发文档,也支持自
复制链接 扫一扫
分享

OO第三单元博客作业
OO第三单元博客作业
...全文
4
评分
回复
OO第三单元博客作业
OO第三单元博客作业
复制链接 扫一扫
分享

OO Unit3总结
OO Unit3总结
...全文
8
评分
回复
OO Unit3总结
OO Unit3总结
复制链接 扫一扫
分享

2
评分
回复
Unit3 :从 JML 到规格驱动开发
第三单元和前两个单元给我的感觉很不一样。前两个单元更像是先从业务场景中抽象对象,再用继承、多态和设计模式把结构搭起来;第三单元则把“应该做什么”以前置的形式交给了我们。JML 不是自然语言提示,而是一组相对严格的契约:前置条件、后置条件、副作用范围、
复制链接 扫一扫
分享

3
评分
回复
BUAA-OO-Unit3-总结
OO 第三单元博客 第三单元的三次作业围绕一个在线视频平台进行展开:第一次从用户、关注关系、视频接收与观看开始;第二次加入硬币、点赞、转发、评论和粉丝勋章;第三次进一步加入基于用户兴趣和 UP 主影响力的推荐系统。和前两个单元相比,这一单元最大的变化
复制链接 扫一扫
分享

3
评分
回复
U3回顾总结blog
OO Unit3 总结:从 JML 到规格驱动开发 目录 OO Unit3 总结:从 JML 到规格驱动开发 目录 概述 整体架构 对 JML 与规格驱动开发的理解 JUnit 测试经验 第一次迭代:社交网络与视频收件箱 容器选择与性能瓶颈 Debu
复制链接 扫一扫
分享

4
评分
回复
OO_U3:JML规格驱动开发与架构演进
OO_U3:JML规格驱动开发与架构演进 第三单元的学习随着最后一次作业的提交落下了帷幕。本单元以JML为核心,不仅锻炼了我们阅读和实现形式化规格的能力,更在无形中强化了我们对图论算法、性能优化以及面向对象测试的理解。以下是对本单元学习的全面总结。
复制链接 扫一扫
分享

8
评分
回复
OO Unit3 总结
Unit3 的三次作业给我的感觉和前两个单元不太一样。前两个单元更多是在自己设计对象、拆分层次,而这一单元的重点明显转到了“根据规格实现程序”。也就是说,代码不是从一段自然语言需求开始写,而是从 JML 规格开始写。 刚开始看 JML 的时候,我其
复制链接 扫一扫
分享

8
评分
回复
OO Unit3总结
OO Unit3总结 这一单元感觉更强调对 JML 的阅读、翻译和执行能力。代码本身未必特别复杂,但一旦规格理解有偏差,bug 往往会非常隐蔽。 一、对 JML 和规格驱动开发的理解 刚开始看 JML 的时候,我更多是把它当成一种“更严格的注释”。后
复制链接 扫一扫
分享

4
评分
回复
第三单元总结:规格驱动开发
在本单元中,我们基于 JML (Java Modeling Language) 规格,逐步实现了一个包含用户、视频、关注关系和兴趣类型的社交视频网络平台。本篇报告将系统总结对规格驱动开发的理解、JUnit 测试经验、系统架构的迭代过程、缺陷分析以及大
复制链接 扫一扫
分享

9
评分
回复
OO-第三单元博客作业
一、对 JML 和规格驱动开发的理解 这三次作业做下来,我对 JML 的理解从一开始的“看懂注释”逐渐变成了“用规格来约束程序行为”。最开始我会更习惯从代码实现出发,先想容器怎么设计、方法怎么写、异常怎么抛;但第三单元真正训练的是另一种思路:先看规格
复制链接 扫一扫
分享

9
评分
回复
面向对象设计与构造U3总结
OO第三单元总结 一、对 JML 和规格驱动开发的理解 JML 是一种形式化的规格描述语言,它将“契约式设计”落到 Java 代码上。通过 requires、ensures、assignable、signals 等关键字,我们能精确地定义方法的前置条
复制链接 扫一扫
分享

5
评分
回复
OO unit3博客
Unit3 博客作业 一、JML 与规格驱动开发的理解 经过 Unit3 三次代码作业的实践,我对 JML和规格驱动开发有了从理论到实践的深入理解。 JML 是一种契约式编程的体现。 在 hw9 初次接触 JML 时,我习惯性地先读方法名和参数,然后
复制链接 扫一扫
分享

3
评分
回复
面向对象 Unit3 总结:规格、测试与协作
面向对象 Unit3 总结:规格、测试与协作 一、对 JML 和规格驱动开发的理解 第三单元的核心并不是“多写几个容器类”,而是训练我们从规格出发进行开发。JML 给出的 requires、ensures、signals、assignable、pur
复制链接 扫一扫
分享

9
评分
回复
OO第三单元总结:和JML死磕的那些日子
前言 说实话,第三单元刚开始的时候我是有点懵的。前两个单元我已经慢慢适应了面向对象的思维,结果Unit3直接给我扔来一堆@requires、@ensures、@signals,整个人都不好了。不过回过头来看,这一单元确实让我对"设计先行"有了完全不同
复制链接 扫一扫
分享

5
评分
回复
OO Unit3总结
1. 我对 JML 与规格驱动开发的理解 1.1 JML 的价值:把“应该怎么做”写成可检查的格式 在 Unit3 的三次作业中,JML 不只是注释,而是把一个方法拆成了几类信息: requires:调用方必须满足的前置条件;不满足时行为未定义(或由
复制链接 扫一扫
分享

10
评分
回复
2026_OO_第三单元总结博客
Unit3 的主题是规格化设计。相比前两个单元,这一单元最大的变化在于:我们不再主要依据自然语言描述来理解需求,而是需要阅读 JML 规格,并根据规格实现代码。 三次作业围绕一个在线视频平台逐步迭代。第一次作业要求实现用户、关注关系、视频上传与观看等
复制链接 扫一扫
分享

5
评分
回复
OO UNIT3 总结
OO Unit 3 总结博客 前言 Unit 3 的三次作业(HW9 → HW10 → HW11)围绕一个不断演化的社交视频平台展开:从最初的"用户—关注关系"网络,到引入视频、评论、硬币经济与勋章,再到本次加入智能推荐系统。表面看是在加功能,实际是
复制链接 扫一扫
分享

4
评分
回复
OO Unit3 博客
OO Unit3 博客 一、对JML和规格驱动开发的理解 JML是一种形式化的规格描述语言,它用数学化的方式精确描述一段代码"应该做什么",而不关心"怎么做"。 规格驱动开发的核心思想是:先写规格,再写实现。规格就像是代码的"合同"——它规定了方法的
复制链接 扫一扫
分享

4
评分
回复
OOUNIT3博客总结
Unit3总结 对 JML 与规格驱动开发的理解 JML 是把需求写进代码的契约语言。它依赖javadoc注释,而是可被理解与验证的行为边界: JML 让“输入约束、输出保证、状态保持”显式化,避免只靠口头和经验推断功能。 规格驱动开发强调“先规格后
复制链接 扫一扫
分享
为您搜索到以下结果:
305
社区成员
789
社区内容
发帖
与我相关
我的任务
2026年北航面向对象设计与构造
2026年北航面向对象设计与构造
复制链接 扫一扫
分享确定
社区描述
2026年北航面向对象设计与构造 java 高校
加入社区
获取链接或二维码
- 近7日
- 近30日
- 至今
加载中
社区公告
暂无公告