Please use this identifier to cite or link to this item: https://repositorio.ufu.br/handle/123456789/12515
metadata.dc.type: Dissertação
metadata.dc.rights: Acesso Aberto
Title: MNLAC: uma proposta de modelagem de fluxo de navegação baseada em lógica modal
metadata.dc.creator: Oliveira, Daniele Carvalho
metadata.dc.contributor.advisor1: Souza, João Nunes de
metadata.dc.contributor.advisor-co1: Cattelan, Renan Gonçalves
metadata.dc.contributor.referee1: Soares, Michel dos Santos
metadata.dc.contributor.referee2: Bulcão Neto, Renato
metadata.dc.description.resumo: Atualmente, diversas técnicas estão sendo exploradas com objetivo de melhorar o processo de projeto e desenvolvimento de interfaces com usuário. Novas técnicas criadas de software procuram suprir a deficiência na área. A complexidade dos requisitos exigidos pelo usuário e a dificuldade em entende-los são as principais causas dos problemas enfrentados ao projetar a interface de um sistema. Para projetar um bom sistema, não basta apenas focar em suas funcionalidades e em como elas serão implementadas, é essencial projetar, também, uma voa interface. Construir uma interface usável é i, processo que demanda estudo e planejamento. Este trabalho apresenta a formalização de um método de modelagem de interface com usuário que tem como objetivo simplificar o projeto de interfaces e verificar a satisfação neste trabalho, denominado MNLAC, torna possível definir formalmente, com Lógica Modal, a modelagem navegacional de um sistema com interface com usuário. O MNLAC é um método que permite a verificação de propriedades, utilizando as propriedades da Lógica Temporal, no fluxo de telas, possibilitando a identificação de erros como telas inalcançáveis, problemas de usabilidade e inconsistências.
Keywords: Interface humano-computador
Modelagem navegacional
Fluxo de navegação
Lógica modal
Engenharia web
metadata.dc.subject.cnpq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
metadata.dc.language: por
metadata.dc.publisher.country: BR
Publisher: Universidade Federal de Uberlândia
metadata.dc.publisher.initials: UFU
metadata.dc.publisher.department: Ciências Exatas e da Terra
metadata.dc.publisher.program: Programa de Pós-graduação em Ciência da Computação
Citation: OLIVEIRA, Daniele Carvalho. MNLAC: uma proposta de modelagem de fluxo de navegação baseada em lógica modal. 2011. 100 f. Dissertação (Mestrado em Ciências Exatas e da Terra) - Universidade Federal de Uberlândia, Uberlândia, 2011.
URI: https://repositorio.ufu.br/handle/123456789/12515
Issue Date: 25-Aug-2011
Appears in Collections:PPGCC - Mestrado em Ciência da Computação

Files in This Item:
File Description SizeFormat 
d.pdf3.29 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.