摘要：#1 本单元作业的架构设计 本单元作业的需求是输入UML模型元素序列，完成对UML模型相关信息的查询。 ##1.1 第一次作业：类图 ##1.1.1 数据结构建立 零级模型：类图 构建顶层容器，保管类图所有元素。 一级模型：类、接口 添加至类图。 二级模型：属性、方法、关联端 添加至对应类或接口。 阅读全文

摘要：#1 概述 本单元我使用Java基于JML规格实现了一个社交网络模拟系统。本文由以下两部分内容组成： JML规格的解读与书写思路 作业中图相关算法的实现 #2 JML规格化设计 JML语言用于对Java类的方法与属性进行形式化的描述，以表示对其行为的预期，使得设计规格化的程序成为可能。 ##2.1 阅读全文

摘要：#1 概述 本单元我基于Java完成了一套多线程电梯运行与调度模拟系统。本文中我将按本单元3次作业的迭代顺序，总结我的设计思路与关键实现细节。通过本文，你可以了解到： 简单的Java多线程设计模式 多线程程序的增量开发方法 #2 作业回顾 ##2.1 第一次作业 本单元实现了北航新主楼A-E座共享输 阅读全文

摘要：本文是北京航空航天大学计算机科学与技术专业本科二年级课程“面向对象设计与构造”第一单元的总结博客。作者：肖圣鹏 1 概述 本单元我使用面向对象的思想设计了一个简单的表达式化简程序。本文中我将从思路与实现两个角度总结本次学习。通过阅读本文你可以： 根据我的思路设计一个表达式化简程序 了解我在实践过程中 阅读全文