Una propuesta de formalización de la arquitectura en cuatro capas de uml
Tesis doctoral de José Luis Fernández Alemán Se presenta una propuesta de formalización de la arquitectura en cuatro capas de […]
Tesis doctoral de Isidro Ramos Salavert
Información academica Isidro Ramos Salavert. Tesis donde Isidro Ramos Salavert ha sido autor, director o parte del tribunal.
Depuración declarativa de programas lógico funcionales
Tesis doctoral de Correa Zabala Francisco José La depuración de programas lógico funcionales es un importante problema práctico que ha
Evaluación y desarrollo incremental de una arquitectura software de referencia para sistemas teleoperación utilizando métodos formales
Tesis doctoral de Juan ángel Pastor Franco Los sistemas de teleoperación cubren una amplísima gama de misiones y mecanismos y
Pnal. un modelo algebraico para procesos probabilisticos y no deterministas
Tesis doctoral de Diego Carlos Cazorla Lopez En esta tesis presentamos un modelo algebraico para procesos probabilisticos y no deterministas
Sem-hp: un modelo sistémico evolutivo y semántico para el desarrollo de sistemas hipermedia
Tesis doctoral de Lina Guadalupe Garcia Cabrera Las principales actividades relacionadas con el uso y el desarrollo de los sistemas
Entorno metodologico orientado a objetos para la especificacion y desarrollo de interfaces de usuario.
Tesis doctoral de María Dolores Lozano Pérez En esta tesis doctoral se ha desarrollado un entorno basado en modelos para
Generacion de reglas restauradoras de la consistencia en esquemas relacionales con vistas
Tesis doctoral de Laura Mota Herranz En un sistema de base de datos, el cambio en el mundo real se
Animación de especificaciones oasis mediante redes de petri orientadas a objeto.
Tesis doctoral de Pedro Sánchez Palma La validación mediante animación permite el desarrollo sistemático de especificaciones software claras, concisas, precisas
Generacion automatica de componentes software a partir de modelos conceptuales orientados a objetos
Tesis doctoral de Jaime Gómez Ortega Los métodos de modelado conceptual existentes en la actualidad deben proporcionar marcos de trabajo
Reglas y estrategias de trasnformación para programas logico-funcionales.
Tesis doctoral de Gines Damian Moreno Valverde El problema de la integración de la programación lógica y funcional esta considerado