05 2019 档案

oo第三单元博客作业
摘要：OO第三单元博客作业 一、 梳理JML语言的理论基础，应用工具链情况 （1） 理论基础：JML是一种形式化的、面向java的行为接口规格语言，遵循契约式设计规则，通过前置、后置、不变式等的约束严格描述某个模块的行为，以防止出现设计错误。JML允许在规格中混合使用java语法成分和JML引入的语法成分 阅读全文

posted @ 2019-05-22 20:03 suirui 阅读(103) 评论(0) 推荐(0)

导航