formal specification; formal verification; Very Large Software Company; leadership requirements engineering roles; software development projects;
机译:开发扩展的Kansei工程方法以将经验要求纳入产品服务系统设计中
机译:一种新型的小型体外循环系统减少了新生儿心脏手术期间的输血需求:连续13位患者的初步经验。
机译:迈向软件产品线的安全需求管理:安全域需求工程流程
机译:在VLSC的两种产品的需求工程需求工程经验
机译:提取产品线需求工程。
机译:基于价值的需求工程:方法和经验
机译:作为产品体验的Web服务增强器及其对需求工程的影响:一份立场文件
机译:地球观测系统。输出数据产品和输入要求,版本2.0.Volume 3:算法汇总表和非EOs数据产品