2022年6月1日
OO_U3总结
摘要： OO_U3总结 一、简介 本单元学习了JML进行规格化设计。JML通过前置条件、后置条件、副作用等对方法与类进行约束，而编程者只需要保证自己的代码实现符合JML规约，便可以保证程序的正确性。这大大化简了代码编写过程中的思考，降低了出错的概率，防止方法或者类之间过度耦合，也改善了一边架构一边写，想到哪 阅读全文
posted @ 2022-06-01 20:49 Maryin-c 阅读(34) 评论(0) 推荐(0) 编辑