2020年5月23日
OO第三单元总结
摘要： oo第三单元总结 1.JML语言的基础理论、应用工具链情况 JML是Java模块的行为接口规范语言。JML提供了语义来正式描述Java模块的行为，从而避免了有关模块设计者意图的歧义。JML的目标是提供严格的形式语义，同时仍然可供任何Java程序员访问。可以利用JML的行为规范的各种工具。因为规范可以 阅读全文
posted @ 2020-05-23 15:34 shmoo 阅读(143) 评论(0) 推荐(0)