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 , pp. 117-126.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
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: |
|
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: | 08 Feb 2025 00:10 |
Published Version: | https://doi.org/10.1109/ICECCS.2011.19 |
Status: | Published |
Publisher: | IEEE Computer Society |
Identification Number: | 10.1109/ICECCS.2011.19 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:94539 |
Download
Filename: using_model_transformation.pdf
Description: using-model-transformation