0x585350

2022年6月6日

BUAA面向对象课程博客 第3弹:简单JML规格实现

摘要: #1 概述 本单元我使用Java基于JML规格实现了一个社交网络模拟系统。本文由以下两部分内容组成: JML规格的解读与书写思路 作业中图相关算法的实现 #2 JML规格化设计 JML语言用于对Java类的方法与属性进行形式化的描述,以表示对其行为的预期,使得设计规格化的程序成为可能。 ##2.1 阅读全文

posted @ 2022-06-06 13:38 ^^^TOO_LOW^^^ 阅读(45) 评论(0) 推荐(0) 编辑

导航