摘要： 本单元主要是JML语言的学习及完成一个社交关系模拟系统，通过输入的指令完成系统内数据的增删查改等交互。 一、设计策略 本单元主要是针对JML代码逻辑完成主体代码部分的书写，首先根据第一次作业的JML Level0手册学习JML语言相关语法，大致理解系统设计的思路，然后根据每个相应的接口JML规格，去 阅读全文

摘要： 度量分析 由于第一次作业对面向对象不熟悉，导致一main到底，这里就不单独列出来，以下为第三次作业的类图（第二次与第三次比较类似） 总体结构为main类进行输入，表达式识别与求导具体操作在Expression类中进行。 Main类 Expression类 属性：expression String类， 阅读全文