Formalizing Markup Languages for User Inter

Simple item page
dc.contributor.authorFerreira, Luís G. M.en_US
dc.contributor.editorChambel, Teresa and Nunes, Nuno and Romao, Teresa and Creissac Campos, Joséen_US
dc.date.accessioned2021-11-03T07:39:48Z
dc.date.available2021-11-03T07:39:48Z
dc.date.issued2021
dc.description.abstractThis 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.description.sectionheadersSessões Técnicas
dc.description.seriesinformationInteracção 2006 - 2ª Conferência Nacional em Interacção Pessoa-Máquina
dc.identifier.doi10.2312/pt.20061536
dc.identifier.isbn978-3-03868-167-0
dc.identifier.pages81-84
dc.identifier.urihttps://doi.org/10.2312/pt.20061536
dc.identifier.urihttps://diglib.eg.org:443/handle/10.2312/pt20061536
dc.publisherThe Eurographics Associationen_US
dc.subjectUser interfaces
dc.subjectXML
dc.subjectVDM
dc.subjectSL
dc.subjectFormal methods
dc.subjectOLAP
dc.titleFormalizing Markup Languages for User Interen_US
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
081-084.pdf
Size:
193.43 KB
Format:
Adobe Portable Document Format
Download
Collections
Portuguese Meeting on Computer Graphics 2006