2022年6月6日
BUAA OO 第三单元总结
摘要： BUAA OO 第三单元总结 〇.综述 第三单元训练的主题是规格化设计。在本单元的实现过程中，笔者认为是一个**“戴着镣铐跳舞”**的过程：要在给定的JML的规格约束下，以灵活的数据结构实现规格给定的功能。在这个过程中，JML规格约束给出了逻辑正确性的保证，而数据结构的具体实现是程序性能的决定因素。 阅读全文
posted @ 2022-06-06 15:37 Lingo30 阅读(15) 评论(0) 推荐(0) 编辑