Estudio de aspectos dinamicos en sistemas orientados al objeto.
Tesis doctoral de Manuel Barrio Solorzano En esta tesis se han estudiado los componentes principales de sistemas orientados al objeto […]
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.
Modelo de programacion basado en actores para sistemas masivamente paralelos.
Tesis doctoral de Hernandez Nuñez Juan M. Los avances tecnologicos y la disminucion progresiva de los precios del hardware, han
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
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,
Implementacion paralela de prolog sobre una arquitectura distribuida
Tesis doctoral de Lourdes Araujo Serna En este trabajo se ha desarrollado un modelo de ejecucion paralelo de los programa
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