Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi. An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER. In Daniel Moldt, Juan Carlos Augusto, Ulrich Ultes-Nitsche, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with . pages 119-124, INSTICC PRESS, 2009.
@inproceedings{AyedJ09,
title = {An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER},
author = {Leila Jemni Ben Ayed and Mohamed Nidhal Jelassi},
year = {2009},
tags = {model-to-model transformation, meta-model, UML, source-to-source, model transformation, Meta-Environment, transformation},
researchr = {https://researchr.org/publication/AyedJ09},
cites = {0},
citedby = {0},
pages = {119-124},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with },
editor = {Daniel Moldt and Juan Carlos Augusto and Ulrich Ultes-Nitsche},
publisher = {INSTICC PRESS},
isbn = {978-989-8111-90-6},
}