2019年5月21日
面向对象程序设计第三单元总结（规格系列）
摘要： 2019面向对象程序设计第三单元总结 前言 ​ 本单元是规格类作业，和之前的单元相比，本单元作业没有要求我们自己按照自己的想法实现一个工程，而是根据规格进行“契约式”设计，满足所给的需求。在规格方面，作业中使用了JML语言，和以前单纯地指导书中所给的自然语言式的要求相比，这种描述更加全面地描述了一个 阅读全文
posted @ 2019-05-21 20:21 那个夏天的蝴蝶 阅读(187) 评论(0) 推荐(0) 编辑
Live2D