毋国庆 王敏 蔡持峰 李剑 朱立松

嵌入式实时系统 构图 软件需求 层次式有穷状态机 视点 需求工程 需求规格说明 不可达状态 动态执行模型 不确定性状态转换 一致性检查

武汉大学软件工程国家重点实验室 湖北武汉 武汉大学计算机科学系