Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models

Santos, Osmar Marchi dos, Woodcock, Jim orcid.org/0000-0001-7955-2702 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2011) Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In: Perseil, Isabelle, Breitman, Karin and Sterritt, Roy, (eds.) 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. IEEE Computer Society Press , pp. 117-126.

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2011 IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
Dates:
  • Published: 2011
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 24 Jun 2016 11:44
Last Modified: 29 Apr 2021 23:45
Published Version: https://doi.org/10.1109/ICECCS.2011.19
Status: Published
Publisher: IEEE Computer Society Press
Refereed: No
Identification Number: https://doi.org/10.1109/ICECCS.2011.19

Download

Filename: using_model_transformation.pdf

Description: using-model-transformation

Share / Export

Statistics