使用时序逻辑检测软件需求阶段的特征干扰

作者：费丽娟; 胡金柱; 李敏

来源：计算机应用, 2004, (03): 109-111.

• 时序逻辑
• XYZ/E语言
• 特征干扰
• 需求分析 temporal logic
• XYZ/E system
• feature interaction
• requirement analysis

针对需求阶段的特征干扰问题,提出了使用时序逻辑语言XYZ/E检测特征干扰的方法。最后给出了一个简单的升降机系统的实例。

• 单位
  软件工程国家重点实验室; 武汉大学; 华中师范大学