1. Repositório Institucional - Universidade Federal de Uberlândia
2. Faculdade de Computação (FACOM)
3. DISSERTAÇÃO - Ciência da Computação

Tipo do documento:	Dissertação
Tipo de acesso:	Acesso Aberto
Título:	MNLAC: uma proposta de modelagem de fluxo de navegação baseada em lógica modal
Autor(es):	Oliveira, Daniele Carvalho
Primeiro orientador:	Souza, João Nunes de
Primeiro coorientador:	Cattelan, Renan Gonçalves
Primeiro membro da banca:	Soares, Michel dos Santos
Segundo membro da banca:	Bulcão Neto, Renato
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.
Palavras-chave:	Interface humano-computador Modelagem navegacional Fluxo de navegação Lógica modal Engenharia web
Área(s) do CNPq:	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Idioma:	por
País:	BR
Editora:	Universidade Federal de Uberlândia
Sigla da instituição:	UFU
Departamento:	Ciências Exatas e da Terra
Programa:	Programa de Pós-graduação em Ciência da Computação
Referência:	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
Data de defesa:	25-Ago-2011
Aparece nas coleções:	DISSERTAÇÃO - Ciência da Computação

Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.