Li Dan. QVT Based Model Transformation from Sequence Diagram to CSP. In Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska, editors, 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. pages 349-354, IEEE Computer Society, 2010. [doi]
@inproceedings{Dan10,
title = {QVT Based Model Transformation from Sequence Diagram to CSP},
author = {Li Dan},
year = {2010},
doi = {10.1109/ICECCS.2010.47},
url = {http://dx.doi.org/10.1109/ICECCS.2010.47},
tags = {model-to-model transformation, rule-based, QVT Transformations, QVT, meta-model, source-to-source, model transformation, sequence diagrams, Meta-Environment, transformation},
researchr = {https://researchr.org/publication/Dan10},
cites = {0},
citedby = {0},
pages = {349-354},
booktitle = {15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010},
editor = {Radu Calinescu and Richard F. Paige and Marta Z. Kwiatkowska},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4015-3},
}