摘要: 一、JML语言的理论基础及工具链 根据课程下发的JML理论手册,我了解到JML是用于对Java程序进行规格化设计的一种表示语言,基于Larch方法搭建。它作为一种行为接口规格语言,能够方便开发者开展规格化设计,还能够针对已有的代码实现,抽象出相应的规格,从而提高代码的可维护性。 工具链:有部分同学使 阅读全文
posted @ 2020-05-23 22:00 Jacky-Ma 阅读(144) 评论(0) 推荐(0) 编辑
摘要: 前言 OO的第一单元作业,是以表达式求导为主题的Java编程作业,其中涉及到不少面向对象的知识。本单元是整个课程的基础,但是由于个人种种原因,没有很好的完成作业,因此本文既是一篇总结,也是一份反思。 一、基于度量的对自己程序结构的分析 首先贴出本次代码的UML类图及方法复杂度、类复杂度等。由于三次作 阅读全文
posted @ 2020-03-21 21:45 Jacky-Ma 阅读(185) 评论(0) 推荐(0) 编辑