Please use this identifier to cite or link to this item:

TitleModel based web interfaces' analysis
Author(s)Campos, J. Creissac
Issue date2005
PublisherLawrence Erlbaum Associates Inc.
CitationIn INTERNATIONAL CONFERENCE ON HUMAN-COMPUTER INTERACTION, 11, Nevada, USA, 2005 – “HCI International : posters section” [CD-ROM]. [S.l.] : Laurence Erlbaum Associates, Inc. ISBN: 0-8085-5807-5.
Abstract(s)Tools exist that look at the usability of sites from a static perspective – for example, looking for broken links. Other tools analyse web server's logs to understand how users behave when using the site. While these tools are helpful, they can only be applied after development and deployment. This paper investigates how a model checking based approach can be applied to web sites' design to reason about their behavioral properties from the early stages of development. The goal is that analysis of possible interactions between users and a site might be performed before actual development and deployment of the site.
TypeConference paper
AccessOpen access
Appears in Collections:HASLab - Artigos em atas de conferências internacionais (texto completo)
DI/CCTC - Artigos (papers)

Files in This Item:
File Description SizeFormat 
HCIInt05-web_jcc.pdfDocumento principal174,05 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID