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