| dc.contributor.author | Ferreira, Luís G. M. | en_US |
| dc.contributor.editor | Chambel, Teresa and Nunes, Nuno and Romao, Teresa and Creissac Campos, José | en_US |
| dc.date.accessioned | 2021-11-03T07:39:48Z | |
| dc.date.available | 2021-11-03T07:39:48Z | |
| dc.date.issued | 2021 | |
| dc.identifier.isbn | 978-3-03868-167-0 | |
| dc.identifier.uri | https://doi.org/10.2312/pt.20061536 | |
| dc.identifier.uri | https://diglib.eg.org:443/handle/10.2312/pt20061536 | |
| dc.description.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. | en_US |
| dc.publisher | The Eurographics Association | en_US |
| dc.subject | User interfaces | |
| dc.subject | XML | |
| dc.subject | VDM | |
| dc.subject | SL | |
| dc.subject | Formal methods | |
| dc.subject | OLAP | |
| dc.title | Formalizing Markup Languages for User Inter | en_US |
| dc.description.seriesinformation | Interacção 2006 - 2ª Conferência Nacional em Interacção Pessoa-Máquina | |
| dc.description.sectionheaders | Sessões Técnicas | |
| dc.identifier.doi | 10.2312/pt.20061536 | |
| dc.identifier.pages | 81-84 | |
