机译:实施到设计和需求规范的可追溯性:正式的技术评审方法(逆向工程工具)
机译:实施到设计和需求规格的可追溯性:正式的技术评审方法(逆向工程工具)
机译:挖掘技术规范中不连贯的要求:分析和实施
机译:关于技术规范的基于风险评估的方法
机译:规范和分析不精确需求的正式方法。
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:(1)小学化学教科书(2)小学实用化学(3)技术化学家手册表和农村无机化学产品制造商的分析方法(5)农村学校化学(5)的课本 - 定量化学分析
机译:基于风险的技术规范要求分析方法手册