机译:基于事件驱动的有色Petri网的UML序列图一致性测试的工具集
机译:在公用事业公司使用ARIS工具集进行业务流程建模的经验
机译:用于模型验证,硬件/软件协同仿真,性能优化和可定制源代码生成的方法和工具集
机译:NEPTUNE-集成的UML工具集和方法
机译:大湖地区水质建模的集成工具集。
机译:创建适用于生物医学自然语言处理的UMLS内容视图的方法
机译:用于UML序列图的一致性测试的技术和工具集
机译:DaRpa代理标记语言(DamL)统一建模语言(UmL) - 基于本体工具集(UBOT)