Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/6342Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Campos, J. Creissac | - |
| dc.date.accessioned | 2007-04-27T16:10:03Z | - |
| dc.date.available | 2007-04-27T16:10:03Z | - |
| dc.date.issued | 2005 | - |
| dc.identifier.citation | In 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. | eng |
| dc.identifier.isbn | 0-8085-5807-5 | - |
| dc.identifier.uri | https://hdl.handle.net/1822/6342 | - |
| dc.description.abstract | 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. | eng |
| dc.language.iso | eng | eng |
| dc.publisher | Lawrence Erlbaum Associates Inc. | eng |
| dc.rights | openAccess | eng |
| dc.subject | Graphics | eng |
| dc.subject | Interaction | eng |
| dc.subject | Vision | eng |
| dc.title | Model based web interfaces' analysis | eng |
| dc.type | conferencePaper | eng |
| dc.peerreviewed | yes | eng |
| Aparece nas coleções: | DI/CCTC - Artigos (papers) | |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| HCIInt05-web_jcc.pdf | Documento principal | 174,05 kB | Adobe PDF | Ver/Abrir |
