A Model Transformation Semantics and Analysis Methodology for SecureUML

By Achim D. Brucker, Jürgen Doser, and Burkhart Wolff.

Further Reading:
This presentation is based on the following publication:
A. D. Brucker, J. Doser, and B. Wolff, “A model transformation semantics and analysis methodology for SecureUML,” in MoDELS 2006: Model driven engineering languages and systems, O. Nierstrasz, J. Whittle, D. Harel, and G. Reggio, Eds. Heidelberg: Springer-Verlag, 2006, pp. 306–320. doi: 10.1007/11880240_22. An extended version of this paper is available as ETH Technical Report, no. 524.

Please cite this work as follows:
A. D. Brucker, J. Doser, and B. Wolff, “A model transformation semantics and analysis methodology for SecureUML.” Genova, Italy, Oct. 04, 2006. Author copy: http://logicalhacking.com/publications/talk-brucker.ea-transformation-2006/

BibTeX
@Misc{ talk:brucker.ea:transformation:2006,
  date     = {2006-10-04},
  author   = {Achim D. Brucker and J{\"u}rgen Doser and Burkhart Wolff},
  title    = {A Model Transformation Semantics and Analysis Methodology for
              SecureUML},
  lecturer = {Achim D. Brucker},
  address  = {Genova, Italy},
  month    = {oct},
  event    = {Model-driven Engineering Langauges and Systems (MoDELs
              2006)},
  day      = {4},
  language = {USenglish},
  year     = {2006},
  note     = {Author copy: \url{http://logicalhacking.com/publications/talk-brucker.ea-transformation-2006/}},
}