摘要： 一．总结本单元两次作业的架构设计 第四单元共有两次作业，第十三次作业是实现一个UML类图解析器，可以通过输入各种指令来进行类图有关信息的查询；第十四次作业是在第十三次作业的基础上，扩展解析器，使得能够支持对UML顺序图和UML状态图的解析，并能够支持几个基本规则的验证。 ①第十三次作业 本次作业较简 阅读全文

摘要： (一)梳理JML语言的理论基础、应用工具链情况 （1）理论基础 面向对象编程思想中有一个重要原则就是尽量推迟过程性的思考，所以我们在设计面向对象程序时首先要考虑的要干什么而不是怎么干什么。JML作为一种行为接口的规范语言，可以用来指定Java模块的行为，其最基本的用途是作为Java的合同设计(DBC 阅读全文

摘要： 早就听闻多线程玄学而神秘，刚上手的时候疯狂上锁把共享资源藏得严严实实的勉强保证了线程的安全性，但到了后来线程间同步和互斥关系更加复杂，终于还是入了线程不安全的坑…最直观的就是在第三次的时候，互测挨了两刀但本地怎么也复现不了，结果直接提交原码后互测点全过了，但强测点却错了俩…解决了线程不安全的问题之后 阅读全文

摘要： 恢复内容开始 写在前面： 作为一个面向对象的门外汉+面向过程的小菜鸡，在最初开启oo作业时实在是紧张得很。然而一月有余，Idea的智能+课程的设计让我多少对oo有了些心得体会，码起伪面向对象代码来也是越来越顺手。回首看去，第一单元的三次作业其实相当仁慈，三次作业的要求逐层递进，虽然做不到面面俱到，但 阅读全文