Ir al contenido

Documat


Resumen de Un lenguaje de especificación formal de sistemas gráficos interactivos

Marcelino Cabrera Cuevas, María Luisa Rodríguez Almendros Árbol académico, Francisco Miguel Gea Megías Árbol académico, Juan Carlos Torres Cantero Árbol académico

  • En este trabajo se presenta un lenguaje de especificación formal de sistemas interactivos, que incorpora mecanismos para la especificación de procesos, el cambio dinámico de la representación gráfica, el control de la realimentación y gestión de errores, características fundamentales a la hora de especificar sistemas interactivos. Se realiza una comparación con otros lenguajes de especificación (Objet Z, OBJ, y LOTOS), mostrando las diferencias entre ellas a través de una tabla resumen de dicha comparación y ejemplos de especificaciones en los distintos lenguajes. También se muestra un ejemplo de especificación de un sistema interactivo, en el que se pueden observar las características propias del lenguaje GRALPLA para la especificación de este tipo de sistemas.


Fundación Dialnet

Mi Documat