dblp.uni-trier.dewww.uni-trier.de

Juan Antonio Holgado Terriza

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
10 Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales: Towards UML-RT Behavioural Consistency. ICEIS (3) 2007: 612-615
9 Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales: An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. MSVVEIS 2007: 74-83
8EEKawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales: A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. Sci. Comput. Program. 65(1): 41-56 (2007)
2006
7 Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza: Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications. ICEIS (3) 2006: 290-297
6 Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza: A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. JISBD 2006: 283-292
5 Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel: CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. MSVVEIS 2006: 128-133
4 Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales: Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. MSVVEIS 2006: 16-25
2005
3 Manuel I. Capel, Juan Antonio Holgado Terriza: Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models. ICEIS (3) 2005: 65-72
2 Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez: An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. MSVVEIS 2005: 39-48
2004
1 Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza: Systematic Design of Real-Time Systems Based on CSP+T Process Algebra. VVEIS 2004: 81-83

Coauthor Index

1Kawtar Benghazi Akhlaki [4] [5] [6] [7] [8] [9] [10]
2José R. Balsas [1]
3Manuel I. Capel (Manuel I. Capel Tuñón) [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
4Agustín Escámez [2] [5]
5Luis E. Mendoza Morales [4] [6] [8] [9] [10]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)