University of Victoria Department of Electrical and Computer Engineering PO Box 3055 STN CSC Victoria BC V8W 3P6 Canada;
component-based development; distributed systems; formal methods; ,object design; UML; PVS; specification; consistency-checking;
机译:使用MDA集成软件供应链中的异构组件
机译:异构生物信息学软件组件的集成平台
机译:严格的机器人软件设计:基于组件的正式方法
机译:迈向异构软件组件严格整合的一步
机译:用于严格分析C ++通用库组件的集成工具和方法。
机译:HisCoM-mimi:用于二元表型的miRNA-mRNA整合模型的层次结构成分分析软件
机译:将软件组件集成到异构IT系统中的模型
机译:分布式和异构软件组件集成中的自动胶水/包装代码生成