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