机译:基于意图方案的软件需求规范测试方法
机译:基于场景的具有量化约束的汽车需求规范和SL / SF监视器的综合
机译:功能满足场景:基于场景的建模和一致性检查产品线规格
机译:医疗保健应用中基于正式方案的需求规范和测试案例生成
机译:一个开放框架,用于规范和执行可测需求模型。
机译:在存在重组人芳香酶的情况下二甲雄酮(7α11β-二甲基-19-睾丸酮)和11β-甲基-19-睾丸酮不转化为芳香A环产物
机译:系统上下文系统中基于迭代和情景的要求规范
机译:合同最终项目详细规范/主要设备/。第1部分 - 土星1B计划的s-4B阶段201至204的性能/设计和资格要求以及产品配置和验收测试要求