Resumen:
La detección automática de inconsistencias en normas legales es un área específica dentro del campo denominado Automated Legislative Drafting que trata de facilitar la creación de documentos legales correctos. Este campo fue estudiado desde varios puntos pero la mayor´ıa de los intentos para la construcción de herramientas formales de análisis de normas se basaron en la creación de herramientas nuevas. Por otro lado, dentro del área de la Ingeniería del Software se estudia la verificación formal de programas cuyo objetivo es validar o encontrar errores en especificaciones de programas mediante la utilización de mecanismos lógico-matemáticos. Esta área cuenta con un enorme campo de investigación que a lo largo de los años ha desarrollado varias herramientas de verificación formal. FormaLex es una herramienta creada con el fin de detectar inconsistencias en normas legales escribiendo a estos documentos como especificaciones formales utilizando un lenguaje creado para tal fin llamado FL. Una vez especificada la norma, se aplican técnicas de verificación formal de programas para encontrar posibles inconsistencias en la misma. La siguiente tesis consiste en extender la herramienta FormaLex, haciendo principal foco en el lenguaje FL, agregando soporte a nuevas expresiones del lenguaje que permitan especificar un conjunto más amplio de situaciones expresadas en textos normativos, manteniendo la simplicidad actual del lenguaje. 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.
Citación:
---------- APA ----------
Gleichgerrcht, Nicolás Matías. (2017). Formalex : mejorando la herramienta para la detección de documentos normativos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000679_Gleichgerrcht
---------- CHICAGO ----------
Gleichgerrcht, Nicolás Matías. "Formalex : mejorando la herramienta para la detección de documentos normativos". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2017.https://hdl.handle.net/20.500.12110/seminario_nCOM000679_Gleichgerrcht
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000679_Gleichgerrcht.pdf
Distrubución geográfica
