Author of the publication

Towards a Generic UML Model to Support Designing Educational Role Playing Games.

, , , , and . ICALT, page 153-157. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models., , and . iiWAS, page 479-483. ACM, (2014)Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process., , and . ICSOFT (Selected Papers), volume 1077 of Communications in Computer and Information Science, page 397-420. Springer, (2018)Modeling and Verification of Reactive Systems Using STATEMATE and Event B., and . Int. J. Comput. Their Appl., 16 (4): 200-219 (2009)Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications., and . MSVVEIS, page 149-155. INSTICC PRESS, (2009)A Model Driven Approach for Improving the Generation of Accessible User Interfaces., , and . ICSOFT-PT, page 168-173. SciTePress, (2015)Cloud Adapted Workflow e-Assessment System: Cloud-AWAS., , and . COMPSAC (1), page 438-447. IEEE Computer Society, (2017)A New Approach for the Verification of BPMN Models Using Refinement Patterns., , and . COMPSAC (1), page 807-808. IEEE Computer Society, (2018)Towards to Compose Cloud Service Flexible Workflow Applications., , , and . COMPSAC Workshops, page 404-409. IEEE Computer Society, (2015)Towards accessible and personalized mobile learning for learners with disabilities., , , and . ICTA, page 1-6. IEEE, (2013)An Ontology Based Approach for Selection of Appropriate E-learning Personalization Strategy., , and . ICALT, page 724-725. IEEE Computer Society, (2010)