Travelled to:1 × Cyprus
1 × USA
Collaborated with:M.I.Capel K.B.Akhlaki M.I.C.Tuñón
Talks about:specif (3) formal (3) transform (2) system (2) model (2) time (2) systemat (1) process (1) graphic (1) essenti (1)
Person: Juan Antonio Holgado Terriza
DBLP: Terriza:Juan_Antonio_Holgado
Contributed to:
20062005Wrote 2 papers:
- ICEIS-ISAS-2006-AkhlakiTT #algebra #design #modelling #process #realtime #specification #uml
- Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications (KBA, MICT, JAHT), pp. 290–297.
- ICEIS-v3-2005-CapelH #csp #modelling #specification #visual notation
- Transforming SA/RT Graphical Specifications into CSP+T Formalism — Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models (MIC, JAHT), pp. 65–72.