Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos

Mostrar todas las versiones(3)

En este trabajo se presentan estrategias para suplir los problemas de capacidad para resolver modelos Alloy[Jac06]. De forma tal que, aunque no siempre se obtengan mejoras de tiempo, si se es capaz de resolver instancias que antes no se podían. Las diversas alternativas exploradas son automatizables...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cardiff, Brian J.
Formato: Tesis de Grado
Lenguaje:Español
Publicado: 2010
Acceso en línea:https://hdl.handle.net/20.500.12110/seminario_nCOM000337_Cardiff
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:seminario_nCOM000337_Cardiff
record_format dspace
spelling todo:seminario_nCOM000337_Cardiff2023-10-03T16:48:18Z Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos Cardiff, Brian J. En este trabajo se presentan estrategias para suplir los problemas de capacidad para resolver modelos Alloy[Jac06]. De forma tal que, aunque no siempre se obtengan mejoras de tiempo, si se es capaz de resolver instancias que antes no se podían. Las diversas alternativas exploradas son automatizables y no requieren datos adicionales con respecto al Alloy Analyzer. Se opera mediante el uso parcial e incremental de la información del modelo Alloy. Uno de los resultados alcanzados es la resolución de un problema presentado en [Zav06] para instancias que no pudieron ser resueltas con la versión actual de la herramienta. Fil: Cardiff, Brian J.. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2010-08-18 Tesis de Grado PDF Español info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/seminario_nCOM000337_Cardiff
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Español
orig_language_str_mv Español
description En este trabajo se presentan estrategias para suplir los problemas de capacidad para resolver modelos Alloy[Jac06]. De forma tal que, aunque no siempre se obtengan mejoras de tiempo, si se es capaz de resolver instancias que antes no se podían. Las diversas alternativas exploradas son automatizables y no requieren datos adicionales con respecto al Alloy Analyzer. Se opera mediante el uso parcial e incremental de la información del modelo Alloy. Uno de los resultados alcanzados es la resolución de un problema presentado en [Zav06] para instancias que no pudieron ser resueltas con la versión actual de la herramienta.
format Tesis de Grado
author Cardiff, Brian J.
spellingShingle Cardiff, Brian J.
Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos
author_facet Cardiff, Brian J.
author_sort Cardiff, Brian J.
title Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos
title_short Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos
title_full Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos
title_fullStr Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos
title_full_unstemmed Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos
title_sort aumentando la capacidad de computo de alloy analyzer mediante verificación incremental de modelos
publishDate 2010
url https://hdl.handle.net/20.500.12110/seminario_nCOM000337_Cardiff
work_keys_str_mv AT cardiffbrianj aumentandolacapacidaddecomputodealloyanalyzermedianteverificacionincrementaldemodelos
_version_ 1782028590448115712

Ejemplares similares