Feature Models; Pruduct Line; Statecharts; Variabilities;
机译:产品线行为变异的建模与分析
机译:对软件产品线中的特征可变性和依赖性进行建模的方法
机译:有关软件产品线功能规格的软件检查证据
机译:通过具有可变形的功能模型和UML StateCharts的产品线的行为规范
机译:使用功能图对软件产品线进行建模。
机译:UMLS知识源服务器:用于传递UMLS数据的对象模型
机译:PLC-StateCharts:一种在开环控制工程中集成UML-StateCharts的方法 - 行为语义和模型检查的方面