摘要: OO第三单元——JML总结 一、JML语法总结 Java建模语言(JML)是一种行为接口规范语言,可用于指定Java模块的行为 。它结合了Eiffel的契约方法设计和 Larch 系列接口规范语言的基于模型的规范方法 ,以及细化演算的一些元素 。 契约设计和JML(由Gary T. Leavens和 阅读全文
posted @ 2020-05-20 21:10 晓晓晓晓 阅读(205) 评论(0) 推荐(0)