2021年5月31日
面向对象第三单元总结
摘要： 面向对象第三单元总结 第三单元的核心主题是有关JML规格相关内容的学习，主要解决的是工程中的设计正确性问题，实现形式化验证，以最为严谨的数学方法保证设计上的正确性。由于本单元的作业是迭代开发的，故以第三次作业作为分析样本。 实现规格所采取的设计策略 了解各部分之间大致架构，由易到难，由简入繁。在实现 阅读全文
posted @ 2021-05-31 13:44 SaveUp 阅读(56) 评论(1) 推荐(0)