机译:基于规则的模型的形式化
rules-based modelingmodel reductionabstract interpretationflow of information;
机译:使用正式语义对基于规则的模型进行注释,以实现创建,分析,重用和可视化
机译:面向域的基于规则的网络模型简化
机译:ALC:自动减少基于规则的模型
机译:基于规则的行为工程:集成的,直观的正式规则建模
机译:构建和简化基于规则的系统中基于计算智能的技术。
机译:使用正式语义对基于规则的模型进行注释以实现创建分析重用和可视化
机译:基于规则的模型的正式缩减
机译:基于规则的软件配置形式模型