Formalizing markup languages for user interface

Detalhes bibliográficos
Autor(a) principal: Ferreira, Luís Gonzaga Martins
Data de Publicação: 2004
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/6113
Resumo: Dissertação de mestrado em Informática
id RCAP_ecae695b5adaedb99afe6ae563ec3115
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/6113
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Formalizing markup languages for user interface681.3.062681.3.04Dissertação de mestrado em InformáticaThis document presents a Dissertation theme, as integral part of Masters Degree in Distributed Systems, Computers Architecture and Computers Communication. The work has as primary objective the application of formal methods in the specification of presentation layer. Even reaching several relevance HCI concerns, the scope focus essentially on the way how formal methods can be explored to specify user interfaces described using markup languages.The state-of-the-art analysis of user interface markup languages and UIML-User Interface Markup Language formal specification are main contributions.Therefore the tabular graphical object OLAP main features are formally specified inVDM-SL and animated using UIML.This research should be considered as a contribution towards a definition of a visual component library,with user interfaces components composition and reuse.Dissertação desenvolvida no âmbito do Projecto EUREKA IKF (E!2235)Oliveira, José Nuno FonsecaUniversidade do MinhoFerreira, Luís Gonzaga Martins2004-02-122004-02-12T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfapplication/pdfhttp://hdl.handle.net/1822/6113enginfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:47:33Zoai:repositorium.sdum.uminho.pt:1822/6113Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:45:37.040737Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Formalizing markup languages for user interface
title Formalizing markup languages for user interface
spellingShingle Formalizing markup languages for user interface
Ferreira, Luís Gonzaga Martins
681.3.062
681.3.04
title_short Formalizing markup languages for user interface
title_full Formalizing markup languages for user interface
title_fullStr Formalizing markup languages for user interface
title_full_unstemmed Formalizing markup languages for user interface
title_sort Formalizing markup languages for user interface
author Ferreira, Luís Gonzaga Martins
author_facet Ferreira, Luís Gonzaga Martins
author_role author
dc.contributor.none.fl_str_mv Oliveira, José Nuno Fonseca
Universidade do Minho
dc.contributor.author.fl_str_mv Ferreira, Luís Gonzaga Martins
dc.subject.por.fl_str_mv 681.3.062
681.3.04
topic 681.3.062
681.3.04
description Dissertação de mestrado em Informática
publishDate 2004
dc.date.none.fl_str_mv 2004-02-12
2004-02-12T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/6113
url http://hdl.handle.net/1822/6113
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799133022120837120

Registros relacionados