Verificación automática de documentos normativos: ¿ficción o realidad?

El desarrollo de toda pieza de software de cierta escala comienza por una etapa que se conoce como especificación, donde se describen las tareas que el software debe realizar. Estas especificaciones tienen en general una inclinación deóntica, pues indican cuáles comportamientos del sistema bajo estu...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Gorín, Daniel, Mera, Sergio, Schapachnik, Fernando
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2010
Materias:	Ciencias Informáticas Interacción Informática-Derecho Verificación automática de documentos
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/153548 http://39jaiio.sadio.org.ar/sites/default/files/39jaiio-sid-19.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-153548
record_format	dspace
spelling	I19-R120-10915-1535482023-05-29T20:04:04Z http://sedici.unlp.edu.ar/handle/10915/153548 http://39jaiio.sadio.org.ar/sites/default/files/39jaiio-sid-19.pdf issn:1850-2814 Verificación automática de documentos normativos: ¿ficción o realidad? Gorín, Daniel Mera, Sergio Schapachnik, Fernando 2010 2010 2023-05-29T14:00:54Z es Ciencias Informáticas Interacción Informática-Derecho Verificación automática de documentos El desarrollo de toda pieza de software de cierta escala comienza por una etapa que se conoce como especificación, donde se describen las tareas que el software debe realizar. Estas especificaciones tienen en general una inclinación deóntica, pues indican cuáles comportamientos del sistema bajo estudio son permitidos y cuáles no lo son. Siendo un producto humano, suelen contener errores, contradicciones, casos sin cubrir, etc. Dentro de la Ingeniería del Software existen técnicas y herramientas lógico-matemáticas llamadas métodos formales, que analizan esas especificaciones en busca de defectos, de muy difícil hallazgo manual. Tomando como base las similitudes entre la especificación de software y la de las normas legales, este artículo explora la idea de trasladar al terreno legislativo las técnicas y herramientas que han resultado exitosas para verificar software. Además de repasar los antecedentes académicos en la interacción Informática-Derecho, aplicamos algunas de las técnicas mencionadas a un caso de estudio real en el que encontramos “lagunas” que podrían ser abusadas, y proponemos una agenda de investigación para el área. Sociedad Argentina de Informática e Investigación Operativa Objeto de conferencia Objeto de conferencia http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf 2215-2229
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas Interacción Informática-Derecho Verificación automática de documentos
spellingShingle	Ciencias Informáticas Interacción Informática-Derecho Verificación automática de documentos Gorín, Daniel Mera, Sergio Schapachnik, Fernando Verificación automática de documentos normativos: ¿ficción o realidad?
topic_facet	Ciencias Informáticas Interacción Informática-Derecho Verificación automática de documentos
description	El desarrollo de toda pieza de software de cierta escala comienza por una etapa que se conoce como especificación, donde se describen las tareas que el software debe realizar. Estas especificaciones tienen en general una inclinación deóntica, pues indican cuáles comportamientos del sistema bajo estudio son permitidos y cuáles no lo son. Siendo un producto humano, suelen contener errores, contradicciones, casos sin cubrir, etc. Dentro de la Ingeniería del Software existen técnicas y herramientas lógico-matemáticas llamadas métodos formales, que analizan esas especificaciones en busca de defectos, de muy difícil hallazgo manual. Tomando como base las similitudes entre la especificación de software y la de las normas legales, este artículo explora la idea de trasladar al terreno legislativo las técnicas y herramientas que han resultado exitosas para verificar software. Además de repasar los antecedentes académicos en la interacción Informática-Derecho, aplicamos algunas de las técnicas mencionadas a un caso de estudio real en el que encontramos “lagunas” que podrían ser abusadas, y proponemos una agenda de investigación para el área.
format	Objeto de conferencia Objeto de conferencia
author	Gorín, Daniel Mera, Sergio Schapachnik, Fernando
author_facet	Gorín, Daniel Mera, Sergio Schapachnik, Fernando
author_sort	Gorín, Daniel
title	Verificación automática de documentos normativos: ¿ficción o realidad?
title_short	Verificación automática de documentos normativos: ¿ficción o realidad?
title_full	Verificación automática de documentos normativos: ¿ficción o realidad?
title_fullStr	Verificación automática de documentos normativos: ¿ficción o realidad?
title_full_unstemmed	Verificación automática de documentos normativos: ¿ficción o realidad?
title_sort	verificación automática de documentos normativos: ¿ficción o realidad?
publishDate	2010
url	http://sedici.unlp.edu.ar/handle/10915/153548 http://39jaiio.sadio.org.ar/sites/default/files/39jaiio-sid-19.pdf
work_keys_str_mv	AT gorindaniel verificacionautomaticadedocumentosnormativosficcionorealidad AT merasergio verificacionautomaticadedocumentosnormativosficcionorealidad AT schapachnikfernando verificacionautomaticadedocumentosnormativosficcionorealidad
_version_	1767633965391282176

Verificación automática de documentos normativos: ¿ficción o realidad?

Ejemplares similares