05 2020 档案

面向对象第三单元总结
摘要：1 JML语言的基础及应用 1.1 JML语言 Java建模语言（JML）是一种行为行为规范语言，可以使用给定Java模块的行为。 为了支持JML语言的轴论，我们将Eiffel的“合同设计（contract design）”方法与Larch系列框架规范语言的基于模型的规范方法相结合。 主要文章为以下 阅读全文
posted @ 2020-05-23 20:16 ManGoStin 阅读(144) 评论(0) 推荐(0)