Formalizing Markup Languages for User Inter
No Thumbnail Available
Date
2021
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
The Eurographics Association
Abstract
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.
Description
@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}
}