2019年5月22日
OO_2019_第三单元总结——规格化设计
摘要： 本单元学习了规格化设计，学习撰写规格和根据JML规格语言实现相应的方法。 通过实践，了解到规格化设计对代码实现和代码维护都有指导意义，有必要掌握并灵活运用。 JML语言的理论基础、应用工具链 理论基础 JML( Java Modeling Language)是用于对Java程序进行规格化设计的一种表 阅读全文
posted @ 2019-05-22 15:14 Peggyyy 阅读(168) 评论(0) 推荐(0)