Loading

2020年5月22日
OO第三单元个人总结
摘要： OO第三单元个人总结 JML理论与基础与应用工具链 JML是什么？ Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为 。它结合了Eiffel的契约设计方法 和Larch 系列接口规范语言的基于模型的规范方法 ，以及细化演算的一些元素 。草稿 《Design by Con 阅读全文
posted @ 2020-05-22 03:42 lcylcy_lcy 阅读(122) 评论(0) 推荐(0) 编辑