...
机译:本体驱动的软件工程:超越模型的检查和转换
Ontology-driven software engineering; model-driven engineering; component metadata; software composition; model checking;
机译:本体驱动的软件工程:超越模型的检查和转换
机译:OntCheck:用于基于组件的模型的本体驱动的静态正确性检查工具
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:迈向统一的本体驱动方法来建模,检查和执行WSAN
机译:用工程模型和应用程序进行概率符号模型检查。
机译:使用检查数据检查半参数转换模型
机译:ONTCHECK:基于组件的模型的本体驱动的静态正确性检查工具