自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(5)
  • 收藏
  • 关注

原创 第四单元:UML建模

uml建模,oo总结

2024-06-12 17:32:38 794

原创 第三单元:规格化设计

第三单元的需要我们读懂JML规格语言,之后基于其给出的规格进行代码实现。经历过三次迭代之后,我的体会是完成作业实现输出正确并不困难(其实根据规格直接编程就能够实现)。但是规格对于我们来说只是一种契约、一种限制,如果我们完全“翻译”规格,会在性能上吃亏(TLE)。所以我们要在编程时注意性能和效率。很多同学都对第三单元的开设目的不太理解,感觉JML晦涩难懂而且除了oo课程好像其他地方都没有用处。但是在三次作业后,我也发现了“契约式编程”的魅力——高可靠性、高可复用性、便于测试。

2024-05-16 10:20:13 905

原创 第二单元:电梯调度

BUAA OO 第二单元电梯调度

2024-04-19 19:22:59 991 1

原创 BUAA2024 OO第一单元:表达式展开

BUAA2024 OO第一单元:表达式展开

2024-03-21 16:20:40 706 1

原创 ooprehomework_2023_hw_8_总结

oopre课程

2023-11-04 17:08:40 206 2

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除