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