Formalizing Markup Languages for User Inter
View/
Date
2021Pay-Per-View via TIB Hannover:
Try if this item/paper is available.
Metadata
Show full item recordAbstract
This work focus on the formalization process of user interfaces specification using eXtended Markup Language (XML) description. As an instance of this process, we explore a VDM-SL specification of UIML - User Interface Markup Language. The main results are tested in a particular graphical tabular OLAP features case study, towards a definition of a Visual Component Library, with UI components composition and reuse.
BibTeX
@inproceedings {10.2312:pt.20061536,
booktitle = {Interacção 2006 - 2ª Conferência Nacional em Interacção Pessoa-Máquina},
editor = {Chambel, Teresa and Nunes, Nuno and Romao, Teresa and Creissac Campos, José},
title = {{Formalizing Markup Languages for User Inter}},
author = {Ferreira, Luís G. M.},
year = {2021},
publisher = {The Eurographics Association},
ISBN = {978-3-03868-167-0},
DOI = {10.2312/pt.20061536}
}
booktitle = {Interacção 2006 - 2ª Conferência Nacional em Interacção Pessoa-Máquina},
editor = {Chambel, Teresa and Nunes, Nuno and Romao, Teresa and Creissac Campos, José},
title = {{Formalizing Markup Languages for User Inter}},
author = {Ferreira, Luís G. M.},
year = {2021},
publisher = {The Eurographics Association},
ISBN = {978-3-03868-167-0},
DOI = {10.2312/pt.20061536}
}