机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
Department of Nuclear and Quantum Engineering, Korea Advanced Institute of Science and Technology, 373-1 Guseong-dong, Yuseong-gu, Daejeon 305-701, South Korea;
software requirements analysis; VV; safety-critical systems; inspection; traceability; formal method;
机译:基于软件检查,需求可追溯性和容错性,分析安全关键系统软件需求的集成技术。
机译:核反应堆保护系统正式需求规范的软件故障树分析技术
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:一种基于面向对象UML建模的NPP I&C系统正式要求分析方法,软件成本降低
机译:基于UML的软件系统的及时性,非功能性需求:分析技术在GSM域中的应用。
机译:基于模糊的TopSis对有效安全要求工程方法的选择分析可靠性医疗软件开发
机译:用于将自然语言规范翻译成正式软件需求的建模技术分析
机译:将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范