摘要:
第四单元作业总结与学期回顾 一、第四单元作业架构 本单元作业的要求是实现一个UML解析器,在对UML文件进行解析后实现UML的一些基本的正确性检查以及查询功能。字符串的解析工作已由课程组完成,我们需要填充的部分为对UML元素的解析以及正确性检查和查询功能的实现。 1.1 程序运行流程 本单元作业代码 阅读全文
摘要:
第三单元作业总结与心得 本单元作业的主题为JML。JML是一种针对Java的规格描述语言,在弥补了自然语言的二义性缺陷的基础上为代码的架构与功能设计提供了一个统一的表达方式。本单元作业需要实现的具体功能均由课程组提供的JML规格给出,我们需要依据这些给定的规格提供自己的具体实现。这种作业模式与前两个 阅读全文