重要日期
- 2013年4月29日,16:15-启动会议,052号楼,00-016室。如果您有任何问题,请随时联系丹尼尔·迪奇。请将您的演示文稿通过电子邮件发送给他。
- 2013年5月27日14:15–讨论您选择提交的技术论文(052号楼,00-016室)。
- 2013年7月1日:提交研讨会报告的截止日期。你的演讲应该有30分钟。请注意,您需要用英语准备幻灯片/演示文稿。
- 2013年7月22日至2013年7月24日:区块研讨会。实际日期、时间和地点将在此处公布。
描述
研讨会将基于书中选定的章节“需求工程——从系统目标到UML模型再到软件规范“由阿克塞尔·范·兰斯韦德以及与这些章节相对应的技术论文。
话题
第1部分需求工程基础
- 领域理解和利益相关者启发
- 需求评估
- 需求规范和文件
- 要求质量保证
- 需求演变
- 需求工程中的目标导向
第2部分:为需求工程构建系统模型
- 用目标图建模系统目标
- 预测可能出现的错误:目标模型的风险分析
- 用类图建模概念对象
- 建模系统代理和职责
- 建模系统操作
- 建模系统行为
- 集成多个系统视图
- 一种面向目标的实际建模方法
第3部分:系统模型推理
- 用于模型分析和开发的半形式推理
- 系统模型的形式化规范
- 规范构造和分析的形式化推理