摘要:
面向对象第四单元总结 一、第四单元架构设计 首先贴出本单元设计的部分类图 本单元的架构设计可以划分为三部分:对原生的UmlElement的改造、初始化与合法性检查、功能实现。 1.对原生的UmlElement的改造 首先介绍对原生UmlElement的改造。由于我们的任务是实现解析mdj文件的相关逻 阅读全文
摘要:
在第三单元中,我们接触了契约式编程,学习了JML的语法,感受到了它的优点和不足。这一单元的作业与以往两个单元完全不同,我们不再是从零开始编写程序,而要根据给定的JML实现特定接口,使得程序能够正确运行。很明显,这种编程方式更加贴近当下工业界的开发过程。 JML带来了很多改变。一方面,它束缚了我们的手 阅读全文