Ferreira, Luís G. M.Chambel, Teresa and Nunes, Nuno and Romao, Teresa and Creissac Campos, José2021-11-032021-11-032021978-3-03868-167-0https://doi.org/10.2312/pt.20061536https://diglib.eg.org:443/handle/10.2312/pt20061536This 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.User interfacesXMLVDMSLFormal methodsOLAP10.2312/pt.2006153681-84