|
|||||
|
|
| 基于时序逻辑和SCR方法的需求分析方法 | |
| 引用本文： | 何峰,毋国庆.基于时序逻辑和SCR方法的需求分析方法[J].武汉大学学报(自然科学版),1999,45(5):577-580. |
| 作者姓名： | 何峰 毋国庆 |
| 作者单位： | 武汉大学软件工程国家重点实验室 |
| 摘 要： | 以定义事件驱动型系统需求的ＳＣＲ方法和时序逻辑为基础，提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动系统的需求分析方法。为便于理解，还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性。 |
| 关 键 词： | 事件驱动型系统 SCR 时序逻辑 需求分析 |
| 本文献已被 维普 等数据库收录！ | |