ADL Acme/Armani; MDE checking approach; UML 2.0 components assembly;
机译:一种先进的质量和可靠性评估方法,适用于电子零部件中的热应力问题
机译:OntCheck:一种基于本体的静态正确性检查工具,用于基于组件的模型
机译:OntCheck:用于基于组件的模型的本体驱动的静态正确性检查工具
机译:检查ACME中的组件组件:应用于UML 2.0组件模型的方法
机译:将安全方面系统集成到UML 2.0设计模型中的模型到模型转换方法
机译:更新UMLS语义网络的基因组组件
机译:根据接口自动机和{UML}组件模型组装组件