Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | doctoralThesis |
| Language: | spa |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/2873 |
| _version_ | 1801216704361005056 |
|---|---|
| author | Degiovanni, Renzo Gastón |
| author2 | Aguirre, Nazareno Matías |
| author_facet | Aguirre, Nazareno Matías Degiovanni, Renzo Gastón |
| author_sort | Degiovanni, Renzo Gastón |
| collection | Repositorio Digital Universitario |
| description | Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. |
| format | doctoralThesis |
| id | rdu-unc.2873 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2016 |
| record_format | dspace |
| spelling | rdu-unc.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 |
| 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 |
| title | 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_short | Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software |
| title_sort | tecnicas automaticas para la elaboracion validacion y verificacion de requisitos de software |
| topic | Ingeniería de Software Lenguajes de programación Software Engineering Programming languages |
| url | http://hdl.handle.net/11086/2873 |
| work_keys_str_mv | AT degiovannirenzogaston tecnicasautomaticasparalaelaboracionvalidacionyverificacionderequisitosdesoftware |