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 […]
Tesis doctoral de José Meseguer guaita
Información academica José Meseguer guaita. Tesis donde José Meseguer guaita ha sido autor, director o parte del tribunal.
A formal framework for model management
Tesis doctoral de Artur Boronat Moll El desarrollo de software dirigido por modelos es una rama de la ingeniería del
Maude como marco semántico ejecutable
Tesis doctoral de José Alberto Verdejo López La lógica de resscritura, propuesta por josé meseguer en 1990 como marco de
Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura
Tesis doctoral de Isabel Pita Andreu Las técnicas de especificación formal de sistemas concurrentes pueden agruparse en general en dos
Delta-arboles de implicantes e implicados y reducciones de logicas en atps.
Tesis doctoral de Agustin Valverde Ramos El trabajo pertenece al campo de la demostración automática para las lógicas multivaluadas, tarea
Un algebra de modulos reflexiva con aplicaciones al lenguaje maude.
Tesis doctoral de Francisco Javier Duran Muñoz En esta tesis hemos definido un álgebra de módulos extensible para la lógica