Una contribución a las técnicas avanzadas de verificación de procesos de negocio y sistemas software abiertos
Tesis doctoral de Luis Eduardo Mendoza Morales Isbn:? 9788469444573 Datos académicos de la tesis doctoral «Una contribución a las […]
Tesis doctoral de Juan Garbajosa Sopeña
Información academica Juan Garbajosa Sopeña. Tesis donde Juan Garbajosa Sopeña ha sido autor, director o parte del tribunal.
An object-oriented formal notation: executable specifications in clay
Tesis doctoral de ángel Herranz Nieva La tesis introduce clay, una notación formal orientada a objetos que busca acercar los
An advanced traceability schema as a baseline to improve supporting lifecycle processes
Tesis doctoral de Angelina Espinoza Limón Traceability is recognized as essential for supporting software development. However, a number of traceability
Construccion y evolución del software basados en valor
Tesis doctoral de Daniel Cabrero Moreno La ingeniería del software basada en valor (isbv) es una rama de investigación muy
Planificación de robots mediante descomposición, abstracción, deducción y predicción
Tesis doctoral de Eduardo Vendrell Vidal En el trabajo de tesis se aborda la planificación y replanificación de las actividdes
Mantema: una metodología para el mantenimiento del software
Tesis doctoral de Macario Polo Usaola El mantenimiento es la etapa más costosa del ciclo de vida software y, sin
Obtención automática del entorno en la verificación modular de sistemas reactivos
Tesis doctoral de Claudio De La Riva Alvarez El enfoque modular es una de las técnicas más adecuadas para aliviar
Especificación de un modelo de interacción aplicable a procesos de desarrollo y operación de sistemas con software.
Tesis doctoral de Pedro Pablo Alarcón Cavero Los operadores de un sistema han de tener un buen comportamiento del funcionamiento
Arquitectura de referencia para una familia de entornos de validacion de sistemas
Tesis doctoral de Magro Peña María Belen Los procesos de pruebas de validación, conformidad, aceptación son esenciales en la ingeniería
Arquitectura para el control de robots móviles mediante delegación de código y agentes
Tesis doctoral de Juan Luis Posadas Yague Como tema central de la tesis se propone una arquitectura denominada sc-agent para