Resumen:
El modelado de sistemas es un problema difícil y costoso en la Ingeniería de Software. Este puede ser mitigado construyendo modelos parciales dando así feedback temprano del comportamiento de las componentes que se van conociendo del sistema. De este modo se va llegando iterativamente a un modelo en el cual ya no hay indefiniciones. El formalismo Modal Transition Systems (MTS) permite modelar el comportamiento requerido, prohibido y no definido de un sistema. Estos modelos son caracterizados por sus implementaciones, es decir, los modelos tales que el comportamiento desconocido en el MTS original ha sido definido. En esta tesis se avanzó en la teoría para poder verificar propiedades y analizar modelos parciales (MTS) utilizando model checking. Se implementó el Modal Transition System Analizer (MTSA) una herramienta que soporta la construcción, elaboración y análisis de MTS. MTSA se desarrolló como una extensión del ya existente Labeled Transition System Analizer (LTSA).
Citación:
---------- APA ----------
D'Ippolito, Nicolás Roque. (2007). MTSA : una herramienta de Model Checking de MTS. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000766_DIppolito
---------- CHICAGO ----------
D'Ippolito, Nicolás Roque. "MTSA : una herramienta de Model Checking de MTS". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2007.https://hdl.handle.net/20.500.12110/seminario_nCOM000766_DIppolito
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000766_DIppolito.pdf
Distrubución geográfica
