Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams

André Heuer, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl. Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams. In Jan Bosch, Jaejoon Lee, editors, Software Product Lines: Going Beyond - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings. Volume 6287 of Lecture Notes in Computer Science, pages 62-76, Springer, 2010. [doi]

Abstract

Abstract is missing.