2019年5月22日
OO第三单元“技术”博客
摘要： 主要针对第三单元的三次作业 JML语言的理论基础、应用工具链情况 JML指的是Java建模语言，全称是Java modeling language，是一种行为接口规范语言，可用于指定Java模块的行为。它结合了Eiffel的契约方法设计和Larch系列接口规范语言的基于模型的规范方法，以及细化演算的 阅读全文
posted @ 2019-05-22 00:49 Geraint23 阅读(123) 评论(0) 推荐(0) 编辑