机译:自动检测和可视化UML图中的错误
Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USA;
formal specifications; model checking; simulation; UML;
机译:扩展的论坛,用于自动生成Offorioused Fortran的UML序列图
机译:扩展的论坛,用于自动生成Offorioused Fortran的UML序列图
机译:使用职位过帐自动检测雇主行业分类中的错误
机译:将UML类图中的自动转换为正式规范,以检测UML不一致
机译:FCL:在基于框架的开发中自动检测结构错误。
机译:比较不一致的关系配置以指示UMLS错误
机译:扩展用于绘制UML类图的Sugiyama算法:面向对象的软件图的自动布局