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