@conference {1983,
	title = {High assurance interactive computing systems},
	booktitle = {HCI Engineering: Charting the Way towards Methods and Tools for Advanced Interactive Systems},
	year = {2014},
	month = {June},
	abstract = {<p>If interactive computing systems development is to be considered an engineering discipline, we need methods and tools to help us reason about and predict the quality of systems, from early in the design process. This paper provides a brief overview of work we have been carrying out in the general area of evaluating and ensuring the quality of interactive computing systems. Some of the work currently being carried out is also discussed. Discussed approaches range from the formal verification of user interface models through model checking, to the reverse engineering and model based testing of implemented interactive computing systems.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jccampos/files/campos.pdf},
	author = {Jos{\'e} Creissac Campos}
}