2022年6月2日
BUAA-OO-Unit3 Summary
摘要： 第三单元总结--基于JML规格的社交系统 初识JML语言 JML (Java Modeling Language)，Java 建模语言，个人感觉，它的出现可以用类似数学语言的形式，明确所需的要求(即规格)，因此JML的重要作用就在于消除自然语言的二义性。它利用前置条件，后值条件、副作用范围限定来对一 阅读全文
posted @ 2022-06-02 21:34 logiclee0902 阅读(68) 评论(1) 推荐(0) 编辑