2019年5月21日
OO规格作业总结
摘要： 一、 1.JML语言理论基础 JML，全称为Java Modeling Language，根据名字可以容易的知道JML是对Java程序进行规格化设计的一门语言。JML是一种行为接口规格语言，可用于指定Java模块的行为。它结合了Eiffel的契约方法设计和Larch系列接口规范语言的基于模型的规范方 阅读全文
posted @ 2019-05-21 21:28 无奈的小Jerry 阅读(207) 评论(0) 推荐(0)