2020年5月22日
OO第三次博客作业
摘要： 本单元学习的内容是基于JML的规格化设计，通过三次作业实现了一个提供了基础功能的人际网络，熟悉了JML，同时也初步了解了基于规格的程序设计，还对部分数据结构和算法的知识进行了复习。 一、JML理论基础及应用工具链 1. JML语言 JML是一种形式化的、面向Java的行为接口规格语言(Behavio 阅读全文
posted @ 2020-05-22 11:15 Roy_wcm 阅读(113) 评论(0) 推荐(0) 编辑