@conference {Campos:05,
	title = {Model based web interfaces{\textquoteright} analysis},
	booktitle = {HCI International 2005 - 11th International Conference on Human-Computer Interaction (posters section)},
	year = {2005},
	month = {July},
	publisher = {Laurence Erlbaum Associates, Inc},
	organization = {Laurence Erlbaum Associates, Inc},
	address = {Nevada, USA},
	abstract = {<p>Tools exist that look at the usability of sites from a static perspective {\textendash} for example, looking for broken links. Other tools analyse web server{\textquoteright}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{\textquoteright} 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.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jccampos/files/0fcfd508e7e264007c000000.pdf},
	author = {Jos{\'e} Creissac Campos}
}