模态迁移系统论文

基于场景和属性的需求引出及形式化建模
论文摘要场景是一种分析与验证需求的有效工具,因此基于场景的分析与设计受到广泛关注。场景提供预期系统的行为实例,也就是说场景中的交互行为一定是预期系统要出现的行为。一个场景一般情...