2020年5月23日

面向对象第三单元总结博客
摘要： 一、JML语言理论基础及应用工具链情况 （1）JML的程序语言理论 JML（java建模语言）是一种行为接口规格语言（behavioral interface specification language），用于指定java模块的行为。JML结合了按契约设计的方法（design by contrac 阅读全文
posted @ 2020-05-23 21:47 17373128 阅读(130) 评论(1) 推荐(0) 编辑

导航