University of Bordeaux / INRIA, France;
declarative languages; programming support; pro-gram analysis; program generation;
机译:一种面向范式的NG-RE混合动力发电新方法
机译:寻求一种敏捷方法来管理全球软件开发期间需求对软件体系结构的影响
机译:迈向采用现代软件开发方法:基于组件的软件工程
机译:绿色软件开发模型:实现可持续软件开发的方法
机译:一种集成的软件风险管理方法及其在软件开发生命周期中的作用
机译:基于模糊的TopSis对有效安全要求工程方法的选择分析可靠性医疗软件开发
机译:与软件开发设置协调软件开发过程:一种系统方法
机译:国防部采购中的软件架构:软件开发计划的方法和语言