@conference {CamposHK:04,
	title = {Verifying user interface behaviour with model checking},
	booktitle = {Verification and Validation of Enterprise Information Systems (VVEIS 2004)},
	year = {2004},
	month = {April},
	pages = {87-96},
	publisher = {INSTICC Press},
	organization = {INSTICC Press},
	address = {Porto, Portugal},
	abstract = {<p>A large proportion of problems found in deployed systems relate to the user interface. This paper presents an approach to the verification of user interface models based on model checking. The approach is intended to be used early in design. The verification is concerned with behavioural aspects of the user interface and requires models that represent both the interactive aspects and also capture important features of the context to allow restrictions of behaviour to those that conform to appropriate human and environmental constraints. A tool suite to support the approach is under development and is described. Future work directions are put forward.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jccampos/files/10.1.1.131.5872.pdf},
	author = {Jos{\'e} Creissac Campos and Michael Harrison and Karsten Loer},
	editor = {J. Augusto and U. Ultes-Nitsche}
}