2021年5月31日
OO-Unit3-总结
摘要： OO-Unit3-总结 1.JML规格设计策略 由于JML的规格描述较复杂，本单元的JML规格设计我往往采用由简入难的迭代开发策略。 即一开始不着急开发出最为复杂，性能最好的代码，先严格按照JML描述写一遍代码，实现基本功能。比如类似public instance model non_null Pe 阅读全文
posted @ 2021-05-31 21:24 BUAADreamer 阅读(124) 评论(0) 推荐(0) 编辑