摘要: 前言 本单元围绕JML进行规格化设计,契约式编程的思想基本上贯穿了整个单元。 本单元最大的新体验在于:作为大工程中某一部分代码的实现者,履行应尽的责任,而非像前几个单元一样自行设计完整架构并完成所有代码。更直观的感受在于:由于课程组提供了细化到每一个类和类方法的JML描述,完成作业更像是做一道道小题 阅读全文
posted @ 2022-06-05 20:17 深夜竞走的KFC 阅读(23) 评论(0) 推荐(0) 编辑