Mejorando FormaLex : análisis y detección automática de defectos normativos

Benedetti, Juan Pablo

Navegar

Documento Últimos publicados Autor Año Título Obtenido - Año Departamento - Año Director y Director Asistente Jurado Consejero de Estudios Palabras Clave

Colección

Datos Estadísticas

Tesis de Grado

Benedetti, Juan Pablo. "Mejorando FormaLex : análisis y detección automática de defectos normativos" . (2014). Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Registro Resumen Citación Estadísticas

Registro:

Documento:	Tesis de Grado
Título:	Mejorando FormaLex : análisis y detección automática de defectos normativos
Autor:	Benedetti, Juan Pablo
Editor:	Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
Publicación en la web:	2023-03-27
Fecha de defensa:	2014-05
Fecha en portada:	Mayo de 2014
Grado Obtenido:	Grado
Título Obtenido:	Licenciado en Ciencias de la Computación
Director:	Schapachnik, Fernando Pablo
Director Asistente:	Mera, Sergio Fernando
Idioma:	Español
Formato:	PDF
Handle:	http://hdl.handle.net/20.500.12110/seminario_nCOM000437_Benedetti
PDF:	https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000437_Benedetti.pdf
Registro:	https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000437_Benedetti
Ubicación:	Dep.COM 000437
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. Benedetti, Juan Pablo. (2014). Mejorando FormaLex : análisis y detección automática 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_nCOM000437_Benedetti

Resumen:

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.

Citación:

---------- APA ----------

Benedetti, Juan Pablo. (2014). Mejorando FormaLex : análisis y detección automática 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_nCOM000437_Benedetti

---------- CHICAGO ----------

Benedetti, Juan Pablo. "Mejorando FormaLex : análisis y detección automática de defectos normativos". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2014.https://hdl.handle.net/20.500.12110/seminario_nCOM000437_Benedetti

Estadísticas:

Descargas mensuales

Total de descargas desde :

https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000437_Benedetti.pdf