Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software

Mostrar todas las versiones(2)

Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.

Guardado en:
Detalles Bibliográficos
Autor principal: Degiovanni, Renzo Gastón
Otros Autores: Aguirre, Nazareno Matías
Formato: doctoralThesis
Lenguaje:Español
Publicado: 2016
Materias:
Ingeniería de Software
Lenguajes de programación
Software Engineering
Programming languages
Acceso en línea:http://hdl.handle.net/11086/2873
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-2873
record_format dspace
spelling I10-R141-11086-28732024-05-29T19:24:45Z Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software Degiovanni, Renzo Gastón Aguirre, Nazareno Matías Ingeniería de Software Lenguajes de programación Software Engineering Programming languages Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Es ampliamente aceptado que los errores son más fáciles (y menos costosos) de corregir si se capturan lo más temprano posible en el proceso de desarrollo. Luego, obtener una especificación de requisitos de buena calidad, es de fundamental importancia práctica y económica en la mayoría de las metodologías de desarrollo de software modernas. Esto motivó a que las notaciones formales para la especificación de requisitos adquirieran mayor atención en las últimas décadas. En este trabajo, se presentan dos técnicas automáticas que brindan soporte al proceso de elaboración y validación de requisitos de software. En breve, éstas se basan en manipulaciones de formulas lógicas, explotando la eficiencia de varios mecanismos de análisis provenientes de los métodos formales, como SAT solving, model checking e interpolación. 2016-08-03T16:34:53Z 2016-08-03T16:34:53Z 2015-05 doctoralThesis http://hdl.handle.net/11086/2873 spa Atribución-NoComercial 2.5 Argentina https://creativecommons.org/licenses/by-nc/2.5/ar/ application/pdf application/pdf
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Ingeniería de Software
Lenguajes de programación
Software Engineering
Programming languages
spellingShingle Ingeniería de Software
Lenguajes de programación
Software Engineering
Programming languages
Degiovanni, Renzo Gastón
Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
topic_facet Ingeniería de Software
Lenguajes de programación
Software Engineering
Programming languages
description Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.
author2 Aguirre, Nazareno Matías
author_facet Aguirre, Nazareno Matías
Degiovanni, Renzo Gastón
format doctoralThesis
author Degiovanni, Renzo Gastón
author_sort Degiovanni, Renzo Gastón
title Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
title_short Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
title_full Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
title_fullStr Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
title_full_unstemmed Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
title_sort técnicas automáticas para la elaboración, validación y verificación de requisitos de software
publishDate 2016
url http://hdl.handle.net/11086/2873
work_keys_str_mv AT degiovannirenzogaston tecnicasautomaticasparalaelaboracionvalidacionyverificacionderequisitosdesoftware
_version_ 1806949991450673152

Ejemplares similares