摘要：一学期的高等软件工程课程结束，可以很客观的说，这门课程是自己这学期投入时间最多的一门课程，也是收获很大的一门课程。在最开始选择这门课程时候，差点被老师的“劝退课”成功劝退，现在想想，还好当时坚持选择了这门课，体验到了这样一门痛并快乐着的、有意义的课程。 我们小组所选的项目是轨道信号灯控制系统。随着一 阅读全文

摘要：轨道信号灯控制系统到了设计建模阶段，与需求建模相比较，我认为除了增加OCL约束之外，我们主要是完成了对故障事件、并行事件、列车行驶连续性进行了具体的设计。 1.故障事件 安全性分析是轨道信号灯系统设计的重中之重。而在我们需求建模阶段，虽然一直有考虑系统可能面对的故障，但是没有全面系统的分析可能存在哪 阅读全文