essential interaction pattern; higher level inconsistency; visual differencing;
机译:将OCL不变量转换为OWL 2 DL公理以检查不一致的方法
机译:关系数据库的不一致检查方法:一种粗糙集方法
机译:CAD模型和SYSML规范的互操作性,用于自动检查设计要求
机译:MaramaAI:自动化和可视化的需求不一致检查方法
机译:在一系列设计阶段中,自动检查建筑对流通的要求。
机译:人口药理学模型视觉预测检查的回归方法
机译:maramaaI:自动化和可视化的方法,用于对需求进行不一致性检查
机译:需求规范的自动一致性检查。