Soporte grafico para la descripcion arquitectonica de sistemas
Tesis doctoral de Jesús Sanchez Allende La contribucion de la presente tesis consiste en la definicion de un lenguaje grafico […]
Tesis doctoral de José María Troya Linero
Información academica José María Troya Linero. Tesis donde José María Troya Linero ha sido autor, director o parte del tribunal.
Formalizacion algebraica de un entorno de produccion automatica de prototipos orientados a objetos
Tesis doctoral de Ambrosio Toval Alvarez Presentamos en esta tesis un entorno formal de desarrollo de prototipos operacionales, o funcionales,
L2 ii o2 un lenguaje logico concurrente orientado a objetos
Tesis doctoral de Ernesto Pimentel Sanchez El trabajo desarrollado en el estudio se debe enmarcar en el ambito de la
Tecnicas formales para el desarrollo jerarquico de sistemas concurrentes
Tesis doctoral de Alonso Gonzalez Luis M. Se presenta un metodo para el desarrollo de sistemas concurrentes, aplicable a sistemas
Implementacion de especificaciones algebraicas
Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su
Un estudio sobre la aplicacion del razonamiento basado en casos a la construccion de programas.
Tesis doctoral de Ines Mendiz Noguero Se ha desarrollado un sistema que permite sintetizar programas por medio de la deteccion
«una contribucion a la optimizacion topologica de arrays logicos programables»
Tesis doctoral de Julio Ballesteros Rubio En este trabajo se estudian y desarrollan tecnicas para la optimizacion de arrays logicos
Un entorno para la creacion de software educativo. metodología de diseño y desarrollo.
Tesis doctoral de Hernandez Yañez Luis Antonio Datos académicos de la tesis doctoral «Un entorno para la creacion de