Department of Computer Science, George Mason University;
Department of Computer Science, George Mason University;
Department of Computer Science, George Mason University;
Department of Computer Science, George Mason University;
Department of Computer Science, George Mason University;
requirements modeling; domain specific modeling languages; model driven development; autonomic computing; pervasive systems;
机译:使用统一建模语言(UML)可视化和评估面向服务的业务流程设计的组合方法
机译:使用统一建模语言(UML)可视化和评估面向服务的业务流程设计的组合方法
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:以活动为导向的服务化软件系统的建模语言
机译:开放系统的模型检查:一种组合的软件验证方法。
机译:促进系统生物学模型重用的数学建模语言的特征:软件工程视角
机译:一种面向活动的面向服务的软件系统组成的建模语言
机译:用于建模和仿真系统中场景组合的可视统一建模语言