Tesis:
Ingeniería de requerimientos en el ciclo de vida de desarrollo de sofware. Una metodología formal de análisis y derivación de requerimientos
- Autor: MARTINEZ ARMERO, José Tomás
- Título: Ingeniería de requerimientos en el ciclo de vida de desarrollo de sofware. Una metodología formal de análisis y derivación de requerimientos
- Fecha: 1987
- Materia: MATEMÁTICAS. Teseo;CIENCIAS DE LA COMPUTACIÓN. Teseo;SOFTWARE. Teseo;SISTEMAS DE INFORMACIÓN. Teseo
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: SIN DEPARTAMENTO DEFINIDO
- Acceso electrónico:
- Director/a 1º: CUEVAS AGUSTIN, Gonzalo
- Resumen: Desarrolla una metodología formal de análisis y derivación de requerimientos, incluyendo los niveles formal objeto y herramienta automática de ayuda al diseño