Author: Juan Antonio Holgado Terriza

Publications

Co-authors

Luis E. Mendoza Morales

1

Kawtar Benghazi Akhlaki

2

Manuel I. Capel Tuñón

2

Productive Colleagues

Luis E. Mendoza Morales

3

Kawtar Benghazi Akhlaki

4

Manuel I. Capel Tuñón

4

Publications

Akhlaki, Kawtar Benghazi, Tuñón, Manuel I. Capel, Terriza, Juan Antonio Holgado (2006): Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Time. In: Manolopoulos, Yannis, Filipe, Joaquim, Constantopoulos, Panos, Cordeiro, José (eds.) ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems Databases and Information Systems Integration May 23-27, 2006, Paphos, Cyprus. pp. 290-297.

Capel, Manuel I., Terriza, Juan Antonio Holgado (2005): Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Spec. In: Chen, Chin-Sheng, Filipe, Joaquim, Seruca, Isabel, Cordeiro, José (eds.) ICEIS 2005 - Proceedings of the Seventh International Conference on Enterprise Information Systems May 25-28, 2005, Miami, USA. pp. 65-72.

Akhlaki, Kawtar Benghazi, Tuñón, Manuel I. Capel, Terriza, Juan Antonio Holgado, Morales, Luis E. Mendoza (2007): Towards UML-RT Behavioural Consistency. In: Cardoso, Jorge, Cordeiro, José, Filipe, Joaquim (eds.) ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems Volume EIS June 12-16, 2007, Funchal, Portugal. pp. 612-615.