Registro:
| Documento: | Tesis de Grado |
| Título: | Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos |
| Autor: | Cardiff, Brian Jonathan |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2022-07-05 |
| Fecha de defensa: | 2010-08-27 |
| Fecha en portada: | 2010-08-18 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Frías, Marcelo Fabián; Galeotti, Juan Pablo |
| Idioma: | Español |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000337_Cardiff |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000337_Cardiff.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000337_Cardiff |
| Ubicación: | Dep.COM 000337 |
| 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. Cardiff, Brian Jonathan. (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 http://hdl.handle.net/20.500.12110/seminario_nCOM000337_Cardiff |
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 Jonathan. (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 Jonathan. "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
