A Model Transformation Semantics and Analysis Methodology for SecureUML

Brucker, A.D., Doser, J. and Wolff, B. (2006) A Model Transformation Semantics and Analysis Methodology for SecureUML. Technical Report. ETH Technical Report (529). ETH, Department of Computer Science , Zurich.

Abstract

Metadata

Authors/Creators:
  • Brucker, A.D.
  • Doser, J.
  • Wolff, B.
Dates:
  • Published: 29 June 2006
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 24 Feb 2016 13:15
Last Modified: 24 Mar 2016 17:14
Published Version: http://dx.doi.org/10.3929/ethz-a-006781109
Status: Published
Publisher: ETH, Department of Computer Science
Series Name: ETH Technical Report
Identification Number: https://doi.org/10.3929/ethz-a-006781109

Share / Export

Statistics