Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.ufu.br/handle/123456789/12515| Tipo de documento: | Dissertação |
| Tipo de acceso: | Acesso Aberto |
| Título: | MNLAC: uma proposta de modelagem de fluxo de navegação baseada em lógica modal |
| Autor: | Oliveira, Daniele Carvalho |
| Primer orientador: | Souza, João Nunes de |
| Primer coorientador: | Cattelan, Renan Gonçalves |
| Primer miembro de la banca: | Soares, Michel dos Santos |
| Segundo miembro de la banca: | Bulcão Neto, Renato |
| Resumen: | 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. |
| Palabras clave: | Interface humano-computador Modelagem navegacional Fluxo de navegação Lógica modal Engenharia web |
| Área (s) del CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| Idioma: | por |
| País: | BR |
| Editora: | Universidade Federal de Uberlândia |
| Sigla de la institución: | UFU |
| Departamento: | Ciências Exatas e da Terra |
| Programa: | Programa de Pós-graduação em Ciência da Computação |
| Cita: | 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 |
| Fecha de defensa: | 25-ago-2011 |
| Aparece en las colecciones: | DISSERTAÇÃO - Ciência da Computação |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| d.pdf | 3.29 MB | Adobe PDF |  Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.