FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos
- Autores
- Gunski, María Celeste; Raiczyk, Melisa Gabriela
- Año de publicación
- 2016
- Idioma
- español castellano
- Tipo de recurso
- tesis de grado
- Estado
- versión publicada
- Colaborador/a o director/a de tesis
- Schapachnik, Fernando Pablo
- Descripción
- 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.
Fil: Gunski, María Celeste. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Fil: Raiczyk, Melisa Gabriela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. - Materia
-
LOGICA DEONTICA
FL
TEXTOS NORMATIVOS
DETECCION ERRORES
FORMALEX - 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_nCOM000683_GunskiRaiczyk
Ver los metadatos del registro completo
id |
BDUBAFCEN_1482bdbf043679b38b4067e554d548f6 |
---|---|
oai_identifier_str |
seminario:seminario_nCOM000683_GunskiRaiczyk |
network_acronym_str |
BDUBAFCEN |
repository_id_str |
1896 |
network_name_str |
Biblioteca Digital (UBA-FCEN) |
spelling |
FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativosGunski, María CelesteRaiczyk, Melisa GabrielaLOGICA DEONTICAFLTEXTOS NORMATIVOSDETECCION ERRORESFORMALEXUna 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.Fil: Gunski, María Celeste. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Fil: Raiczyk, Melisa Gabriela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Universidad de Buenos Aires. Facultad de Ciencias Exactas y NaturalesSchapachnik, Fernando Pablo2016info: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_nCOM000683_GunskiRaiczykspainfo: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:38Zseminario:seminario_nCOM000683_GunskiRaiczykInstitucionalhttps://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:39.825Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse |
dc.title.none.fl_str_mv |
FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos |
title |
FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos |
spellingShingle |
FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos Gunski, María Celeste LOGICA DEONTICA FL TEXTOS NORMATIVOS DETECCION ERRORES FORMALEX |
title_short |
FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos |
title_full |
FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos |
title_fullStr |
FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos |
title_full_unstemmed |
FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos |
title_sort |
FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos |
dc.creator.none.fl_str_mv |
Gunski, María Celeste Raiczyk, Melisa Gabriela |
author |
Gunski, María Celeste |
author_facet |
Gunski, María Celeste Raiczyk, Melisa Gabriela |
author_role |
author |
author2 |
Raiczyk, Melisa Gabriela |
author2_role |
author |
dc.contributor.none.fl_str_mv |
Schapachnik, Fernando Pablo |
dc.subject.none.fl_str_mv |
LOGICA DEONTICA FL TEXTOS NORMATIVOS DETECCION ERRORES FORMALEX |
topic |
LOGICA DEONTICA FL TEXTOS NORMATIVOS DETECCION ERRORES FORMALEX |
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 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. Fil: Gunski, María Celeste. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil: Raiczyk, Melisa Gabriela. 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 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. |
publishDate |
2016 |
dc.date.none.fl_str_mv |
2016 |
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_nCOM000683_GunskiRaiczyk |
url |
https://hdl.handle.net/20.500.12110/seminario_nCOM000683_GunskiRaiczyk |
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_ |
1844618756643356672 |
score |
13.070432 |