Resumen de Especificación formal de sistemas gráficos
EN LA TESIS SE PRESENTA UN NUEVO METODO DE ESPECIFICACION FORMAL, ORIENTADO A LA ESPECIFICACION DE SISTEMAS GRAFICOS, SE HA UTILIZADO UN FORMALISMO ADECUADO PARA LA ESPECIFICACION DE SISTEMAS GRAFICOS QUE PERMITE SU DESCRIPCION A UN NIVEL ALTO DE ABSTRACCION, ASI COMO DE DESARROLLAR UNA SERIE DE HERRAMIENTAS QUE FACILITEN EL DESARROLLO DE SOFTWARE A PARTIR DE LA ESPECIFICACION.
SE HAN ESTUDIADO DISTINTAS TECNICAS DE ESPECIFICACION FORMAL, ASI COMO SU APLICACION A SISTEMAS GRAFICOS.
PARTIENDO DE TECNICAS BASADAS EN LA ESPECIFICACION ALGEBRAICA HEMOS PROPUESTO UN MODELO FORMAL BASADO EN LA REPRESENTACION DEL ESTADO BASADO EN LA HISTORIA FUNCIONAL QUE HA SIDO APLICADA. SOBRE ESTE MODELO, HEMOS ANALIZADO Y CARACTERIZADO UNA SERIE DE PROPIEDADES FORMALES. SE HA PROPUESTO UN LENGUAJE DE ESPECIFICACION (GRALPLA), ASI COMO UNA SERIE DE HERRAMIENTAS PARA LA COMPROBACION DE LA CORRECCION DE LA ESPECIFICACION Y LA TRADUCCION DE LAS ESPECIFICACIONES A UN LENGUAJE DE ALTO NIVEL ORIENTADO A OBJETOS.
FINALMENTE, SE EXPONEN UNA SERIE DE EJEMPLOS DE ESPECIFICACION DE SISTEMAS GRAFICOS, ASI COMO EL METODO DE TRADUCCION DE LAS ESPECIFICACIONES A LENGUAJE C++.
