Hewlett-Packard Corporation MS 8-60, 16399 West Bernardo San Diego, CA 92127-1899;
NASA Jet Propulsion Laboratory MS 601-237, 4800 Oak Grove Dr Pasadena, CA 91109;
NASA Johnson Space Center MS NS3, 2101 NASA Road 1 Houston, TX 77058;
机译:集成面向对象方法和形式化方法进行需求工程
机译:集成面向对象方法和需求工程的形式方法
机译:集成需求工程的面向对象方法和形式方法
机译:使用形式化方法进行需求可靠性工程的经验报告
机译:需求工程中的管理问题:亚特兰大地区软件从业人员(乔治亚州)报告的方法和问题的分析。
机译:基于价值的需求工程:方法和经验
机译:将需求工程引入正式方法:Event-B和KaOs的时序图
机译:经验报告:使用正式方法对关键航天器软件进行需求分析