机译:使用SAT解算器执行未指定的OCL操作合同
机译:使用模型转换解决复杂问题:从集合建模到SAT实例求解
机译:使用可满足性求解器验证UML / OCL模型中的结构和行为
机译:通过将SAT解决方案集成到USE中来对OCL模型进行广泛的验证
机译:集成地理信息系统(GIS)和建模:使用GIS验证南卡罗来纳州沿海平原的史前遗址定居模型。
机译:解决交联聚合物的建筑物的问题模型:一个例子集中于交联的环氧树脂的属性的验证
机译:使用可满足求解器验证UML / OCL模型中的结构和行为
机译:1999/2000年冬季北极涡的大规模化学演化:saGE III的HaLOE / pOam III拉格朗日光化学模拟 - 臭氧损失和验证实验(sOLVE)运动