1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Development (ReMoDD) -- S3 – A Formal Semantics for UML -- 2 nd UML 2 Semantics Symposium: Formal Semantics...

2
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- Comparing Approaches to Implement Feature Model Composition -- A UML 2.0 Profile to Model Block Cipher...