Metamodel; SDL; UML; Profile; Transformation;
机译:Sdl2pml-用于根据SDL规范自动生成Promela模型的工具
机译:用于采矿过程的UML概要文件:基于活动图元模型的支持建模和仿真
机译:不断发展的软件开发生命周期(SDLC)新模型(SDLC Model-2010)
机译:用于演化SDL标准的自动化工具:从Metomodels到UML配置文件
机译:从UML系统描述生成HDL和配置文件的自动化工具。
机译:概念问题和标准。 NLM的Umls项目的当前状态:UMLS知识来源:用于构建更好的用户界面的工具
机译:用于采矿过程的UML配置文件:基于活动图元素的支持建模与仿真