Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información
Tesis doctoral de Miguel ángel García De Dios Datos académicos de la tesis doctoral «Desarrollo dirigido por modelos de […]
Tesis doctoral de Manuel Garcia Clavel
Información academica Manuel Garcia Clavel. Tesis donde Manuel Garcia Clavel ha sido autor, director o parte del tribunal.
Una semántica formal ejecutable para ocl y sus aplicaciones al análisis y a la validación de modelos
Tesis doctoral de Marina Soledad Egea González Null una práctica estándar en la ingeniería del software es la construcción de
Cofre: entorno formal para la especificación validación y desarrollo de sistemas coordinados.
Tesis doctoral de Sanchez Alonso M. Soledad En esta tesis se presenta (ofre coordinativa formal requirenets encinooment), un entorno para
Reflection in general logics and in rewriting logic with applications to the maude languaje.
Tesis doctoral de Manuel Garcia Clavel La reflexión, entendida como la capacidad de representar nuestras ideas y de hacerlas objetos