机译:使用声明性验证方法提高基于规则的应用程序的质量
Internet Technologies,Brandenburg Technical University in Cottbus,Walther-Pauer-Str. 2, Cottbus, 03046, Germany;
rules; verification; drools; Jena; rules quality;
机译:基于规则的方法来建模和验证灵活的业务流程
机译:使用Petri网验证基于规则的系统的新方法
机译:用于提高临床登记处的数据质量的自动数据验证方法
机译:一种基于规则的方法来改进Kinect骨骼跟踪系统,并将其应用于标准的泰拳动作
机译:验证基于规则的系统中的规则:基于树的方法
机译:概念问题和标准。使用统一医学语言系统的应用程序:UMLS作为知识库-用于控制医学词汇管理的基于规则的专家系统方法
机译:通过模型驱动的验证提高安全关键型应用程序中的软件质量
机译:一种基于规则的专家系统验证完整性和一致性的方法