2019年北航OO第3单元(JML)总结
摘要：
1 JML语言的理论基础及应用工具链 1.1 JML语言 Java建模语言(JML)是一种行为接口规范语言，可用于指定Java模块的行为。它结合了Eiffel的“契约设计(design by contract)”方法和Larch系列接口规范语言的基于模型的规范方法，以及细化演算的一些元素。对JML语 阅读全文
posted @ 2019-05-22 14:49 白色恋人716 阅读(528) 评论(0) 推荐(0) 编辑