06 2022 档案

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