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
Departamento: SIN DEPARTAMENTO DEFINIDO
Director/a(s):
- Director/a: 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