摘要：2022北航面向对象第四次作业分享及学期总结 第四次作业分享 本次作业由三次子任务组成，从5.30号开始，经过三次的迭代开发，实现了一个UML解析器，支持对传入的UML模型进行分析，并且提供相关查询的接口。 UML图 UML(Unified Modeling Language)，又称标准建模语言。是 阅读全文

摘要：2022北航面向对象第三次作业分享及总结 本次作业从5月2号开始，经过三周的迭代开发，在JML规格理解的基础上，完成代码实现，最终完成了一个具有模拟查询功能的社交网络。 作业背景 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 JML是一种行 阅读全文