Author of the publication

Methodology for the Development of Accessible User Interfaces Based on Meta-Model Transformations: The Case of Blind Users.

, , and . CISIM, volume 10244 of Lecture Notes in Computer Science, page 73-84. Springer, (2017)

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)Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications., and . MSVVEIS, page 149-155. INSTICC PRESS, (2009)Modeling and Verification of Reactive Systems Using STATEMATE and Event B., and . Int. J. Comput. Their Appl., 16 (4): 200-219 (2009)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)A Model Driven Approach for Improving the Generation of Accessible User Interfaces., , and . ICSOFT-PT, page 168-173. SciTePress, (2015)Towards to Compose Cloud Service Flexible Workflow Applications., , , and . COMPSAC Workshops, page 404-409. IEEE Computer Society, (2015)Graphical UML View from Extended Backus-Naur Form Grammars., and . ICALT, page 544-546. IEEE Computer Society, (2006)Towards accessible and personalized mobile learning for learners with disabilities., , , and . ICTA, page 1-6. IEEE, (2013)