机译:将形式化方法集成到医疗软件开发中:ASM方法
机译:基于形式模型的核应用软件开发方法
机译:一种基于openEHR原型和软件代理的方法,用于重用遗留系统来开发电子医疗应用程序
机译:用于开发分布式软件系统的集成方法 - 组合形式方法;软件重用,以及体验基础
机译:一种基于领域工程和面向对象软件开发概念的可重用专家辅导系统体系结构的开发方法。
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:开发分布式软件系统的集成方法-结合正式方法,软件重用和经验库-