Universidad de Castilla-La Mancha

Universidad de Castilla-La Mancha

Sistemas Informáticos

DEPARTAMENTO DE SISTEMAS INFORMÁTICOS

  


 
 
  
Profesores:
VALENTÍN VALERO RUIZ
FERNANDO CUARTERO GÓMEZ
GREGORIO DIAZ DESCALZO

 

Objetivos

 

  • Mostrar las características principales de los sistemas concurrentes y su modelización mediante métodos formales.
  • Describir las principales técnicas para la especificación y diseño de sistemas concurrentes, tanto los modelos algebraicos como los modelos gráficos.
  • Mostrar las principales técnicas y herramientas que permiten el análisis sistemático de propiedades de los sistemas concurrentes.
  • Mostrar aplicaciones prácticas de los modelos anteriores, particularmente en el caso de los sistemas Web.

 

 
 

Noticias: 

 
 
Copy Left
Las preguntas o dudas deben dirigirse a la dirección de contacto: Fernando Cuartero