摘要：
项目 内容 课程：北航2020春软件工程 博客园班级博客 作业：提问回顾与个人总结 提问回顾与个人总结 前情提要：博客：个人博客作业——软件与软件工程 个人博客作业 之前的问题与新知 1. 软件的“生命周期”？ 原书第一章中写道： 软件团队要从需求分析开始，……，展开后续工作，如设计（软件架构）、实 阅读全文
摘要：
[技术博客] 用Monaco Editor打造接近vscode体验的浏览器IDE 官方文档与重要参考资料 官方demo 官方API调用样例 Playground 官方API Doc，但其搜索框不支持模糊匹配 官方GitHub Issues，可搜索相关问题 CSDN优秀博客 带主题颜色选择的demo 阅读全文
摘要：
| 项目 | 内容 | | | | | 班级：北航2020春软件工程 006班（罗杰、任健 周五） | "博客园班级博客" | | 作业：分析软件产品，提出建议和规划 | "个人博客作业 软件案例分析" | | 个人课程目标 | 系统学习软件工程，训练软件开发能力 | | 这个作业在哪个具体方面帮助 阅读全文
摘要：
| 项目 | 内容 | | | | | 班级：北航2020春软件工程 006班（罗杰、任健 周五） | "博客园班级博客" | | 作业：设计程序求几何对象的交点集合，支持命令行和GUI | "结对项目作业" | | 个人课程目标 | 系统学习软件工程，训练软件开发能力 | | 这个作业在哪个具体方 阅读全文
摘要：
【软工】个人项目作业——个人软件流程(PSP) | 项目 | 内容 | | | | | 班级：北航2020春软件工程 006班（罗杰、任健 周五） | "博客园班级博客" | | 作业：设计程序求几何对象的交点集合 | "个人项目作业" | | 个人课程目标 | 系统学习软件工程，训练软件开发能力 阅读全文
摘要：
【软工】个人博客作业 | 项目 | 内容 | | | | | 课程：北航2020春软件工程 | "博客园班级博客" | | 作业：阅读《构建之法》, 回答关于软件和软工的问题 | "个人博客作业" | | 个人课程目标 | 系统学习软件工程，训练软件开发能力 | | 这个作业在哪个具体方面帮助我实现 阅读全文
摘要：
我与计算机：昨天、今天、明天 | 项目 | 内容 | | | | | 课程：北航2020春软件工程 | "博客园班级博客" | | 作业：阅读并撰写博客回答问题 | "第一次作业 热身！" | | 个人课程目标 | 补全自己在软件开发方面的能力和经验 | | 这个作业在哪个具体方面帮助我实现目标 | 阅读全文
摘要：
一、第四单元架构设计总结 第一次作业 由于需要按名查找类图模型，于是建立"Class"类进行管理 由于方法具有参数导致类中存在二级结构，于是建立"Operation"类进行管理，再将其作为Class类的成员 对重名情况的处理：不同对象的ID不同，对象实体也不同，但Name(String)相同，这是一 阅读全文
摘要：
JML语言及工具 JML语言理论 JML语言利用前置条件、后置条件、不变式等约束语法，描述了Java程序的数据、方法、类的规格，是一种契约式程序设计的实现工具。 \result：表示方法的返回值。 \old(expr)：表示在方法执行前的值。一般将所关心的表达式取值整体括起来。 \forall：全称 阅读全文
摘要：
单元统一的多线程设计策略 类的设计 电梯 每部电梯为一个线程。 电梯从调度器接收原子指令，知晓自己的状态（内部的人/服务的人、运行方向、所在楼层） 原子指令包括且仅包括： 向上走一层 / 向下走一层 让哪些人进电梯 让哪些人出电梯 而电梯不可见其他电梯的状态、不可见调度队列的内容 相当于电梯只是一个 阅读全文