By the same authors

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. / Santos, Osmar Marchi dos; Woodcock, Jim; Paige, Richard F.

16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. ed. / Isabelle Perseil; Karin Breitman; Roy Sterritt. IEEE Computer Society Press, 2011. p. 117-126.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Santos, OMD, Woodcock, J & Paige, RF 2011, Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. in I Perseil, K Breitman & R Sterritt (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. https://doi.org/10.1109/ICECCS.2011.19

APA

Santos, O. M. D., Woodcock, J., & Paige, R. F. (2011). Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In I. Perseil, K. Breitman, & R. Sterritt (Eds.), 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011 (pp. 117-126). IEEE Computer Society Press. https://doi.org/10.1109/ICECCS.2011.19

Vancouver

Santos OMD, Woodcock J, Paige RF. Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In Perseil I, Breitman K, Sterritt R, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. IEEE Computer Society Press. 2011. p. 117-126 https://doi.org/10.1109/ICECCS.2011.19

Author

Santos, Osmar Marchi dos ; Woodcock, Jim ; Paige, Richard F. / Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. editor / Isabelle Perseil ; Karin Breitman ; Roy Sterritt. IEEE Computer Society Press, 2011. pp. 117-126

Bibtex - Download

@inproceedings{45dd2f6f09c54ec899e752002ebba925,
title = "Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models",
author = "Santos, {Osmar Marchi dos} and Jim Woodcock and Paige, {Richard F.}",
note = "{\textcopyright} 2011 IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details.",
year = "2011",
doi = "10.1109/ICECCS.2011.19",
language = "Undefined/Unknown",
pages = "117--126",
editor = "Isabelle Perseil and Karin Breitman and Roy Sterritt",
booktitle = "16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011",
publisher = "IEEE Computer Society Press",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

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

AU - Santos, Osmar Marchi dos

AU - Woodcock, Jim

AU - Paige, Richard F.

N1 - © 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.

PY - 2011

Y1 - 2011

U2 - 10.1109/ICECCS.2011.19

DO - 10.1109/ICECCS.2011.19

M3 - Conference contribution

SP - 117

EP - 126

BT - 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011

A2 - Perseil, Isabelle

A2 - Breitman, Karin

A2 - Sterritt, Roy

PB - IEEE Computer Society Press

ER -