机译:挖掘技术规范中不连贯的要求:分析和实施
CNRS, IRTT, Toulouse, France;
Requirement engineering; Linguistics of requirements; Incoherence analysis; Natural language processing;
机译:实施到设计和需求规范的可追溯性:正式的技术评审方法(逆向工程工具)
机译:实施到设计和需求规格的可追溯性:正式的技术评审方法(逆向工程工具)
机译:形式规范行为要求和对实现映射的要求的计算机辅助发现
机译:挖掘技术规范中的不连贯要求
机译:通过计算机介导的通信实现的虚拟类的技术要求规范。
机译:基于cBioPortal的分子肿瘤板平台的需求分析和规范
机译:所有系统实现的直接搜索方法采样根据技术设计规范的要求开发