Resumen:
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.
Citación:
---------- APA ----------
Cardiff, Brian J.. (2010). Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000337_Cardiff
---------- CHICAGO ----------
Cardiff, Brian J.. "Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2010.https://hdl.handle.net/20.500.12110/seminario_nCOM000337_Cardiff
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000337_Cardiff.pdf
Distrubución geográfica
