MNLAC: uma proposta de modelagem de fluxo de navegação baseada em lógica modal

Oliveira, Daniele Carvalho

Por favor, use este identificador para citar o enlazar este ítem: https://repositorio.ufu.br/handle/123456789/12515

Registro completo de metadatos

Campo DC	Valor	Lengua/Idioma
dc.creator	Oliveira, Daniele Carvalho
dc.date.accessioned	2016-06-22T18:32:21Z	-
dc.date.available	2011-10-26
dc.date.available	2016-06-22T18:32:21Z	-
dc.date.issued	2011-08-25
dc.identifier.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.	por
dc.identifier.uri	https://repositorio.ufu.br/handle/123456789/12515	-
dc.format	application/pdf	por
dc.language	por	por
dc.publisher	Universidade Federal de Uberlândia	por
dc.rights	Acesso Aberto	por
dc.subject	Interface humano-computador	por
dc.subject	Modelagem navegacional	por
dc.subject	Fluxo de navegação	por
dc.subject	Lógica modal	por
dc.subject	Engenharia web	por
dc.title	MNLAC: uma proposta de modelagem de fluxo de navegação baseada em lógica modal	por
dc.type	Dissertação	por
dc.contributor.advisor-co1	Cattelan, Renan Gonçalves
dc.contributor.advisor-co1Lattes	http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4770308A4	por
dc.contributor.advisor1	Souza, João Nunes de
dc.contributor.advisor1Lattes	http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781313D9	por
dc.contributor.referee1	Soares, Michel dos Santos
dc.contributor.referee1Lattes	http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4745139J8	por
dc.contributor.referee2	Bulcão Neto, Renato
dc.creator.Lattes	http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4744776J0	por
dc.description.degreename	Mestre em Ciência da Computação	por
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.	por
dc.publisher.country	BR	por
dc.publisher.program	Programa de Pós-graduação em Ciência da Computação	por
dc.subject.cnpq	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO	por
dc.publisher.department	Ciências Exatas e da Terra	por
dc.publisher.initials	UFU	por
dc.orcid.putcode	81752990	-
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

Mostrar el registro sencillo del ítem