Department of Computer Science, Concordia University, Montreal, Canada;
functional requirement specification; program slicing; use case maps; comprehension; maintenance;
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
机译:将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
机译:将减少技术应用于软件功能要求规范
机译:使用国际标准识别,规范和测量分配给实时嵌入式软件的系统非功能性要求
机译:模型检测技术在截尾线性回归模型评估函数形式规格
机译:将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
机译:讨论更高阶的软件概念,因为它们适用于功能要求和规格