Evolucion del software: una formalizacion basada en logica temporal de predicados y redes de petri coloreadas
Tesis doctoral de Rodriguez Fortiz M. Jose Se utilizan dos formalismos: las redes de petri coloreadas (rdpc) y la lógica […]
Información academica José Parets Llorca. Tesis donde José Parets Llorca ha sido autor, director o parte del tribunal.
Tesis doctoral de Rodriguez Fortiz M. Jose Se utilizan dos formalismos: las redes de petri coloreadas (rdpc) y la lógica […]
Tesis doctoral de Amador Durán Toro En esta tesis se describe un entorno metodológico para la ingenieria de requisitos de
Tesis doctoral de José Angel Carsí Cubel En la tesis se aborda el problema de la modificación de las aplicaciones
Tesis doctoral de Patricia Paderewski Rodríguez Desde hace años, la complejidad de los sistemas que necesitamos modelar ha crecido bastante,
Tesis doctoral de Torres Carbonell Juan Jesús Se propone una aproximación teórica a la evolución de sistemas software. esta aproximación
Tesis doctoral de Nicolás Padilla Soriano El trabajo se enmarca en el estudio de los sistemas cooperativos con el objetivo
Tesis doctoral de María Visitacion Hurtado Torres En la actual «sociedad de la información», durante el proceso de automatización de
Tesis doctoral de Lina Guadalupe Garcia Cabrera Las principales actividades relacionadas con el uso y el desarrollo de los sistemas
Tesis doctoral de Juan Manuel Murillo Rodriguez En los últimos años, la necesidad de construir aplicaciones cada día más complejas,
Tesis doctoral de José Parets Llorca Desarrollo de un metodo de desarrollo y evolucion de sistemas software basado en la