University of Paderborn, Dept. of Mathematics and Computer Science D-33095 Paderborn, Germany;
meta modeling; model verification; behavioral consistency;
机译:基于UML的知识获取工具,用于基于规则的临床决策支持系统开发。
机译:结合基于单元和基于规范的测试以进行元模型验证和验证
机译:基于知识的系统的基于规则的一致性实施
机译:基于规则的基于UML Meta-Model的行为一致性规范
机译:从UML + MARTE到核心方案模型的基于规则的模型转换。
机译:基于UMLS的知识获取工具用于基于规则的临床决策支持系统开发
机译:基于规则的基于UmL元模型的行为一致性规范
机译:基于规则的专家系统的一致性