Author(s):
Ferreira, Luís Gonzaga Martins 
Date: 2004
Persistent ID: http://hdl.handle.net/1822/6113
Origin: RepositóriUM - Universidade do Minho
Subject(s): 681.3.062; 681.3.04
Document details
Formalizing markup languages for user interface
Description
This document presents a Dissertation theme, as integral part of Masters Degree in Distributed Systems, Computers Architecture and Computers Communication. The work has as primary objective the application of formal methods in the specification of presentation layer. Even reaching several relevance HCI concerns, the scope focus essentially on the way how formal methods can be explored to specify user interfaces described using markup languages.The state-of-the-art analysis of user interface markup languages and UIML-User Interface Markup Language formal specification are main contributions.Therefore the tabular graphical object OLAP main features are formally specified inVDM-SL and animated using UIML.This research should be considered as a contribution towards a definition of a visual component library,with user interfaces components composition and reuse. Dissertação de mestrado em Informática Dissertação desenvolvida no âmbito do Projecto EUREKA IKF (E!2235)
This document presents a Dissertation theme, as integral part of Masters Degree in Distributed Systems, Computers Architecture and Computers Communication. The work has as primary objective the application of formal methods in the specification of presentation layer. Even reaching several relevance HCI concerns, the scope focus essentially on the way how formal methods can be explored to specify user interfaces described using markup languages.The state-of-the-art analysis of user interface markup languages and UIML-User Interface Markup Language formal specification are main contributions.Therefore the tabular graphical object OLAP main features are formally specified inVDM-SL and animated using UIML.This research should be considered as a contribution towards a definition of a visual component library,with user interfaces components composition and reuse. Dissertação de mestrado em Informática Dissertação desenvolvida no âmbito do Projecto EUREKA IKF (E!2235)
Document Type
Master Thesis
Language English
Advisor(s) Oliveira, José Nuno Fonseca
Language English
Advisor(s) Oliveira, José Nuno Fonseca
