Concordia University (Canada);
机译:UML 2活动模型对系统工程功能流程图的支持
机译:应用于UML类图的往返软件工程方法的系统比较
机译:铁路信号工程中的验证和确认-企业系统技术的应用
机译:一个UML活动将转换为在支持规范和工作流程应用程序模型的验证的事件B中转换:从UML活动图到事件B.
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:概念问题和标准。使用统一医学语言系统的应用程序:UMLS词库对患者记录分类的初步评估
机译:系统工程中的验证和确认:应用于UML 2.0活动和类图