...
机译:基于组件的容错软件开发的新方法
Indian Institute of Information Technology, 26/C Electronics City, Hosur Road, Bangalore 560100, India;
fault-tolerant software; component-based design; compositional verification; category theory;
机译:软件系统的模型集成开发:基于组件的灵活方法
机译:模型集成软件系统的开发:一种灵活的基于组件的方法
机译:为基于组件的软件系统开发优化软件组件选择
机译:在基于组件的软件开发中处理软件演进的正式方法
机译:用于开发可信赖系统的基于组件的正式软件工程方法。
机译:用于编辑和执行基于知识组件的临床指南的软件工具
机译:基于组件的系统的容错软件体系结构
机译:支持基于组件的软件工程方法,用于开发塔卡里产品和未来的指挥与控制系统