Verificación de un sistema de votación usando SAT-Solving

Dobniewski, Diego Pablo; Gasser Noblia, Gabriel

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

Dobniewski, Diego Pablo; Gasser Noblia, Gabriel. "Verificación de un sistema de votación usando SAT-Solving" . (2019). 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:	Verificación de un sistema de votación usando SAT-Solving
Autor:	Dobniewski, Diego Pablo; Gasser Noblia, Gabriel
Editor:	Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
Publicación en la web:	2024-10-08
Fecha de defensa:	2010-05-03
Fecha en portada:	Abril 2010
Grado Obtenido:	Grado
Título Obtenido:	Licenciado en Ciencias de la Computación
Departamento Docente:	Departamento de Computación
Director:	Galeotti, Juan Pablo
Jurado:	Frías, Marcelo Fabián; Garbervetsky, Diego David
Idioma:	Español
Formato:	PDF
Handle:	http://hdl.handle.net/20.500.12110/seminario_nCOM000336_GasserDobniewski
PDF:	https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000336_GasserDobniewski.pdf
Registro:	https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000336_GasserDobniewski
Ubicación:	Dep.COM 000336
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. Dobniewski, Diego Pablo; Gasser Noblia, Gabriel. (2019). Verificación de un sistema de votación usando SAT-Solving. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000336_GasserDobniewski

Resumen:

Diversos estudios exponen que el mantenimiento del software requiere una gran cantidad de recursos en comparación con el desarrollo del mismo. Además la experiencia sugiere que la detección temprana de errores en las aplicaciones reduce los costos futuros relacionados a la corrección de los mismos. TACO es una herramienta para realizar verificación formal de programas, detectando de esta manera defectos en los mismos. A lo largo del desarrollo de esta tesis introducimos el lenguaje de representación intermedia JDynAlloy. Modificamos TACO para que realice la traducción de JML a JDynAlloy y de JDynAlloy a DynAlloy. Analizamos un caso de estudio con la nueva versión de la herramienta TACO y con la herramienta JMLFoge. Finalmente realizamos conclusiones sobre el comportamiento de TACO.

Citación:

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

Dobniewski, Diego Pablo; Gasser Noblia, Gabriel. (2019). Verificación de un sistema de votación usando SAT-Solving. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000336_GasserDobniewski

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

Dobniewski, Diego Pablo; Gasser Noblia, Gabriel. "Verificación de un sistema de votación usando SAT-Solving". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2019.https://hdl.handle.net/20.500.12110/seminario_nCOM000336_GasserDobniewski

Estadísticas:

Descargas mensuales

Total de descargas desde :

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