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 |
8 | EE | Kawtar 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 |