Paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, GerlingstraBe 16, 45127 Essen, Germany;
Siemens Corporate Research 755 College Road East, Princeton, NJ 08540, USA;
Paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, GerlingstraBe 16, 45127 Essen, Germany;
Paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, GerlingstraBe 16, 45127 Essen, Germany;
Paluno - The Ruhr Institute for Software Technology, University of Duisburg-Essen, GerlingstraBe 16, 45127 Essen, Germany;
variability; variability in activity diagrams; documenting variability; quality assurance for product line engineering;
机译:基于制度理论的UML 2.0活动图形式化语义
机译:作为UML活动图的形式基础的π-演算语义
机译:UML活动图的形式语义
机译:用于记录活动图中的文档变异性的语法和语义的正式定义
机译:用于传达UML状态图的形式化执行语义和严格的分析方法。
机译:如何限制和维护用于逐步进行语义命名不足的词汇:形式语义疗法的项目选择原则
机译:UmL活动和类图的并发事务框架逻辑形式语义