Software Engineering RWTH Aachen University, Germany;
Software Engineering RWTH Aachen University, Germany;
Software Engineering RWTH Aachen University, Germany;
机译:使用本体推理器的UML类图,对象图和状态图的一致性
机译:使用UML类图对关系,面向对象和对象关系数据库映射进行比较分析
机译:UML动态图的语义和时间一致性检查的正式方法
机译:类别和对象图的语义可配置的一致性分析
机译:使用超级状态分析在多个UML状态图中进行一致性检查。
机译:巴西老年人的生活目标量表的语义文化验证和内部一致性分析
机译:类和对象的语义可配置一致性分析 图