Registro:
| Documento: | Tesis de Grado |
| Título: | FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos |
| Autor: | Gunski, María Celeste; Raiczyk, Melisa Gabriela |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2016 |
| Fecha en portada: | 2016 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Schapachnik, Fernando Pablo |
| Jurado: | Gravano, Agustín; Mera, Sergio Fernando |
| Idioma: | Español |
| Palabras clave: | LOGICA DEONTICA; FL; TEXTOS NORMATIVOS; DETECCION ERRORES; FORMALEX |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000683_GunskiRaiczyk |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000683_GunskiRaiczyk.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000683_GunskiRaiczyk |
| Ubicación: | Dep.COM 000683 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Gunski, María Celeste; Raiczyk, Melisa Gabriela. (2016). FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000683_GunskiRaiczyk |
Resumen:
Una de las primeras etapas del desarrollo de un programa informático es la especificación, donde se define que 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 y sus herramientas asociadas, 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.
Citación:
---------- APA ----------
Gunski, María Celeste; Raiczyk, Melisa Gabriela. (2016). FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000683_GunskiRaiczyk
---------- CHICAGO ----------
Gunski, María Celeste; Raiczyk, Melisa Gabriela. "FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2016.https://hdl.handle.net/20.500.12110/seminario_nCOM000683_GunskiRaiczyk
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000683_GunskiRaiczyk.pdf
Distrubución geográfica
