2020 年 5月 22 日随笔档案 - 紫杉醇

2020年5月22日

摘要： JML简介及相关工具链使用 1.JML规格描述语言介绍本单元学习的内容是JML规格描述语言。我们知道，面向对象方法是一个抽象过程，需求者仅需关注方法的规格。规格是对一个方法/类/程序的外部可感知行为(语义)的抽象表示，内部细节无需在规格中表示，同时需保证规格实现的无二义性。JML规格描述语言使阅读全文

posted @ 2020-05-22 21:19 紫杉醇阅读(197) 评论(0) 推荐(0) 编辑