2019年5月21日
OO第三次博客作业
摘要： 一、JML简介及工具链 JML是一种进行详细设计的符号语言，他鼓励你用一种全新的方式来看待Java的类和方法。 JML综合了Eiffel，Larch两者的优点，为Java提供了一个专门设计行为的接口语言。JML用来描述方法模块的动作行为，基于数学模型，其比自然语言更加精确。 JML编译器jmlc可以 阅读全文
posted @ 2019-05-21 19:14 17373060 阅读(155) 评论(0) 推荐(0) 编辑