1. Repositório Institucional - Universidade Federal de Uberlândia
  2. Faculdade de Computação (FACOM)
  3. DISSERTAÇÃO - Ciência da Computação
Please use this identifier to cite or link to this item: https://repositorio.ufu.br/handle/123456789/12515
Full metadata record
DC FieldValueLanguage
dc.creatorOliveira, Daniele Carvalho
dc.date.accessioned2016-06-22T18:32:21Z-
dc.date.available2011-10-26
dc.date.available2016-06-22T18:32:21Z-
dc.date.issued2011-08-25
dc.identifier.citationOLIVEIRA, 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.urihttps://repositorio.ufu.br/handle/123456789/12515-
dc.formatapplication/pdfpor
dc.languageporpor
dc.publisherUniversidade Federal de Uberlândiapor
dc.rightsAcesso Abertopor
dc.subjectInterface humano-computadorpor
dc.subjectModelagem navegacionalpor
dc.subjectFluxo de navegaçãopor
dc.subjectLógica modalpor
dc.subjectEngenharia webpor
dc.titleMNLAC: uma proposta de modelagem de fluxo de navegação baseada em lógica modalpor
dc.typeDissertaçãopor
dc.contributor.advisor-co1Cattelan, Renan Gonçalves
dc.contributor.advisor-co1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4770308A4por
dc.contributor.advisor1Souza, João Nunes de
dc.contributor.advisor1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781313D9por
dc.contributor.referee1Soares, Michel dos Santos
dc.contributor.referee1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4745139J8por
dc.contributor.referee2Bulcão Neto, Renato
dc.creator.Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4744776J0por
dc.description.degreenameMestre em Ciência da Computaçãopor
dc.description.resumoAtualmente, 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.countryBRpor
dc.publisher.programPrograma de Pós-graduação em Ciência da Computaçãopor
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOpor
dc.publisher.departmentCiências Exatas e da Terrapor
dc.publisher.initialsUFUpor
dc.orcid.putcode81752990-
Appears in Collections:DISSERTAÇÃO - Ciência da Computação

Files in This Item:
File Description SizeFormat 
d.pdf3.29 MBAdobe PDFThumbnail
View/Open
Show simple item record


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