Universidad de Castilla-La Mancha
 
Departamento de Sistemas Informáticos


 Personal

  Curso: 2017-18. Cambiar a:  2016-17   2018-19

Nombre: DIAZ DESCALZO, GREGORIO
despacho: 0.B.8
extension: 2373
correo electrónico:
Categoría: Titular de Universidad
Página: Pulsa aquí para ver la página particular



Asignaturas Impartidas 2017-18
Ingeniería del Software II



Tutorías 2017-18
primer cuatrimestre segundo cuatrimestre
   




Technical Reports
DIAB-02-02-30 2002-02-01 A Low-Cost Router Design for k-ary n-cube Networks
DIAB-06-05-1 2006-05-17 WS-CDL to Timed Automata Translation
DIAB-09-04-1 2009-04-16 Web Services Choreographies Verification
DIAB-09-04-3 2009-04-20 A comparative study between WSCI, WS-CDL, and OWL-S
DIAB-09-06-2 2009-06-22 Automatic deriving choreography-conforming systems of services
DIAB-11-11-1 2011-11-16 Automatic Translation from WS-CDL to Prioritized-Timed Colored Petri Nets by using WST Tool.
DIAB-12-04-2 2012-04-24 A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF
DIAB-12-05-1 2012-05-08 Specification and Verification of Normative Specifications using C-O Diagrams


 

Sindicación     Sindicación     Sindicación
Curso: 2017-18
© Departamento de Sistemas Informáticos
ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

aviso legal