BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Terriza:Juan_Antonio_Holgado

Contributed to:

ICEIS ISAS 20062006
ICEIS v3 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.