Mejorando FormaLex : análisis y detección automática de defectos normativos
- Autores
- Benedetti, Juan Pablo
- Año de publicación
- 2014
- Idioma
- español castellano
- Tipo de recurso
- tesis de grado
- Estado
- versión publicada
- Colaborador/a o director/a de tesis
- Schapachnik, Fernando Pablo
Mera, Sergio Fernando - Descripción
- Una de las primeras etapas del desarrollo de un programa informático es la especificación, donde se define qué tiene que hacer el programa, indicando los comportamientos permitidos y los prohibidos. Existen técnicas y herramientas que de manera formal analizan estas especificaciones para buscar inconsistencias o huecos, que son complejos de encontrar manualmente. A pesar de que existen fuertes similitudes entre la especificación de software y la de las normas legales, los intentos de automatizar el análisis de dichas normas, hasta ahora, se han basado en la creación de nuevas herramientas totalmente desde cero. Para poder aprovechar la experiencia en el terreno informático en esta área se desarrolló FL, un lenguaje basado en lógica temporal lineal, y FormaLex, que consiste en un grupo de herramientas centrado en el análisis de coherencia de documentos deónticos escritos en FL. Nuestra tesis consiste en extender el lenguaje FL, agregando funcionalidades para permitir dar soporte a un conjunto más amplio de situaciones expresadas en los textos normativos y adaptar la herramienta para que funcionen todas estas nuevas características. Este trabajo se engloba dentro de uno más amplio, cuyo objetivo es proveer de herramientas prácticas que sirvan de ayuda para detectar errores a la hora de crear normas y reglamentos.
Fil: Benedetti, Juan Pablo. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by-nc-sa/2.5/ar
- Repositorio
- Institución
- Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
- OAI Identificador
- seminario:seminario_nCOM000437_Benedetti
Ver los metadatos del registro completo
id |
BDUBAFCEN_f337291742e79481d727abbf7e47dd84 |
---|---|
oai_identifier_str |
seminario:seminario_nCOM000437_Benedetti |
network_acronym_str |
BDUBAFCEN |
repository_id_str |
1896 |
network_name_str |
Biblioteca Digital (UBA-FCEN) |
spelling |
Mejorando FormaLex : análisis y detección automática de defectos normativosBenedetti, Juan PabloUna de las primeras etapas del desarrollo de un programa informático es la especificación, donde se define qué tiene que hacer el programa, indicando los comportamientos permitidos y los prohibidos. Existen técnicas y herramientas que de manera formal analizan estas especificaciones para buscar inconsistencias o huecos, que son complejos de encontrar manualmente. A pesar de que existen fuertes similitudes entre la especificación de software y la de las normas legales, los intentos de automatizar el análisis de dichas normas, hasta ahora, se han basado en la creación de nuevas herramientas totalmente desde cero. Para poder aprovechar la experiencia en el terreno informático en esta área se desarrolló FL, un lenguaje basado en lógica temporal lineal, y FormaLex, que consiste en un grupo de herramientas centrado en el análisis de coherencia de documentos deónticos escritos en FL. Nuestra tesis consiste en extender el lenguaje FL, agregando funcionalidades para permitir dar soporte a un conjunto más amplio de situaciones expresadas en los textos normativos y adaptar la herramienta para que funcionen todas estas nuevas características. Este trabajo se engloba dentro de uno más amplio, cuyo objetivo es proveer de herramientas prácticas que sirvan de ayuda para detectar errores a la hora de crear normas y reglamentos.Fil: Benedetti, Juan Pablo. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Universidad de Buenos Aires. Facultad de Ciencias Exactas y NaturalesSchapachnik, Fernando PabloMera, Sergio Fernando2014-05info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttps://hdl.handle.net/20.500.12110/seminario_nCOM000437_Benedettispainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/arreponame:Biblioteca Digital (UBA-FCEN)instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesinstacron:UBA-FCEN2025-09-29T13:43:32Zseminario:seminario_nCOM000437_BenedettiInstitucionalhttps://digital.bl.fcen.uba.ar/Universidad públicaNo correspondehttps://digital.bl.fcen.uba.ar/cgi-bin/oaiserver.cgiana@bl.fcen.uba.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:18962025-09-29 13:43:33.605Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse |
dc.title.none.fl_str_mv |
Mejorando FormaLex : análisis y detección automática de defectos normativos |
title |
Mejorando FormaLex : análisis y detección automática de defectos normativos |
spellingShingle |
Mejorando FormaLex : análisis y detección automática de defectos normativos Benedetti, Juan Pablo |
title_short |
Mejorando FormaLex : análisis y detección automática de defectos normativos |
title_full |
Mejorando FormaLex : análisis y detección automática de defectos normativos |
title_fullStr |
Mejorando FormaLex : análisis y detección automática de defectos normativos |
title_full_unstemmed |
Mejorando FormaLex : análisis y detección automática de defectos normativos |
title_sort |
Mejorando FormaLex : análisis y detección automática de defectos normativos |
dc.creator.none.fl_str_mv |
Benedetti, Juan Pablo |
author |
Benedetti, Juan Pablo |
author_facet |
Benedetti, Juan Pablo |
author_role |
author |
dc.contributor.none.fl_str_mv |
Schapachnik, Fernando Pablo Mera, Sergio Fernando |
dc.description.none.fl_txt_mv |
Una de las primeras etapas del desarrollo de un programa informático es la especificación, donde se define qué tiene que hacer el programa, indicando los comportamientos permitidos y los prohibidos. Existen técnicas y herramientas que de manera formal analizan estas especificaciones para buscar inconsistencias o huecos, que son complejos de encontrar manualmente. A pesar de que existen fuertes similitudes entre la especificación de software y la de las normas legales, los intentos de automatizar el análisis de dichas normas, hasta ahora, se han basado en la creación de nuevas herramientas totalmente desde cero. Para poder aprovechar la experiencia en el terreno informático en esta área se desarrolló FL, un lenguaje basado en lógica temporal lineal, y FormaLex, que consiste en un grupo de herramientas centrado en el análisis de coherencia de documentos deónticos escritos en FL. Nuestra tesis consiste en extender el lenguaje FL, agregando funcionalidades para permitir dar soporte a un conjunto más amplio de situaciones expresadas en los textos normativos y adaptar la herramienta para que funcionen todas estas nuevas características. Este trabajo se engloba dentro de uno más amplio, cuyo objetivo es proveer de herramientas prácticas que sirvan de ayuda para detectar errores a la hora de crear normas y reglamentos. Fil: Benedetti, Juan Pablo. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. |
description |
Una de las primeras etapas del desarrollo de un programa informático es la especificación, donde se define qué tiene que hacer el programa, indicando los comportamientos permitidos y los prohibidos. Existen técnicas y herramientas que de manera formal analizan estas especificaciones para buscar inconsistencias o huecos, que son complejos de encontrar manualmente. A pesar de que existen fuertes similitudes entre la especificación de software y la de las normas legales, los intentos de automatizar el análisis de dichas normas, hasta ahora, se han basado en la creación de nuevas herramientas totalmente desde cero. Para poder aprovechar la experiencia en el terreno informático en esta área se desarrolló FL, un lenguaje basado en lógica temporal lineal, y FormaLex, que consiste en un grupo de herramientas centrado en el análisis de coherencia de documentos deónticos escritos en FL. Nuestra tesis consiste en extender el lenguaje FL, agregando funcionalidades para permitir dar soporte a un conjunto más amplio de situaciones expresadas en los textos normativos y adaptar la herramienta para que funcionen todas estas nuevas características. Este trabajo se engloba dentro de uno más amplio, cuyo objetivo es proveer de herramientas prácticas que sirvan de ayuda para detectar errores a la hora de crear normas y reglamentos. |
publishDate |
2014 |
dc.date.none.fl_str_mv |
2014-05 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/bachelorThesis info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_7a1f info:ar-repo/semantics/tesisDeGrado |
format |
bachelorThesis |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
https://hdl.handle.net/20.500.12110/seminario_nCOM000437_Benedetti |
url |
https://hdl.handle.net/20.500.12110/seminario_nCOM000437_Benedetti |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-sa/2.5/ar |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
publisher.none.fl_str_mv |
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital (UBA-FCEN) instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales instacron:UBA-FCEN |
reponame_str |
Biblioteca Digital (UBA-FCEN) |
collection |
Biblioteca Digital (UBA-FCEN) |
instname_str |
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
instacron_str |
UBA-FCEN |
institution |
UBA-FCEN |
repository.name.fl_str_mv |
Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
repository.mail.fl_str_mv |
ana@bl.fcen.uba.ar |
_version_ |
1844618752913571840 |
score |
13.070432 |