Resumen:
Se presentará una metodología para la representación de diseños de sistemas de software y para la verificación de propiedades sobre éstos. Los grafos de diseño son considerados modelos de una lógica modal extendida. Se enuncian las herramientas lógicas para derivar el modelo modal asociado a todo diseño, el algoritmo de chequeo de propiedades, la técnica de definición de nuevas relaciones y el método de filtración de modelos. La aplicación de estos métodos es demostrada en tres ejemplos prácticos de diverso tipo. La metodología se compone de una lógica modal más un conjunto de herramientas. La lógica propuesta se denomina KPI, polimodal con operadores inversos (que en un modelo conexo permite acceso total) y será utilizada como lenguaje de especificación de propiedades a verificar mediante un algoritmo de model checking. Las herramientas son en verdad una adaptación de métodos tradicionales de la lógica (modal y clásica) que permiten realizar las tareas que usualmente se encuentran en el proceso de Ingeniería de Software. Los métodos propuestos son efectivamente implementados en un prototipo utilizando el lenguaje funcional SMLlNJ.
Citación:
---------- APA ----------
Areces, Carlos Eduardo; Hirsch, Dan Francisco. (1996). La lógica modal como herramienta de ingeniería de software. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000068_ArecesHirsch
---------- CHICAGO ----------
Areces, Carlos Eduardo; Hirsch, Dan Francisco. "La lógica modal como herramienta de ingeniería de software". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 1996.https://hdl.handle.net/20.500.12110/seminario_nCOM000068_ArecesHirsch
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000068_ArecesHirsch.pdf
Distrubución geográfica
