机译:模型重构和模型完善的正式方法
System and Software Engineering Lab, Vrije Universiteit Brussel, Pleinlaan 2,1050 Brussel, Belgium;
model-driven engineering; UML 2.0; description logics; model refinement; model refactoring; behaviour preservation;
机译:Event-B模型中细化结构的保持一致性重构
机译:事件-B型号中细化结构的一致性重构
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:模型驱动的形式重构方法
机译:用于混合控制系统的模型重构的正式验证=混合控制系统的模型重构的正式验证
机译:前瞻记忆人格与工作记忆:形式化建模方法
机译:视觉和形式建模技术之间转换的形式化元建模方法
机译:计算科学。基于细化的协同工程要求和形式模型。