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, pp. 117-126.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Perseil, Isabelle
  • Breitman, Karin
  • Sterritt, Roy
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: 20 Sep 2025 02:34
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):

Download

Submitted Version

Filename: using_model_transformation.pdf

Description: using-model-transformation

CLICK TO DOWNLOAD [thumbnail of using-model-transformation]

Export

Statistics


CORE (COnnecting REpositories)