@conference {DohertyCH98,
	title = {Representational Reasoning and Verification},
	booktitle = {Proceedings of the BCS-FACS Workshop: Formal Aspects of the Human Computer Interaction},
	year = {1998},
	month = {September},
	pages = {193-212},
	publisher = {SHU Press},
	organization = {SHU Press},
	address = {Ilkley, UK},
	abstract = {<p>Formal approaches to the design of interactive systems, such as the principled design approach rely on reasoning about properties of the system at a very high level of abstraction. Such specifications typically provide little scope for reasoning about presentations and the representation of information in the presentation. Theories of distributed cognition place a strong emphasis on the role of representations in the cognitive process, but it is not clear how such theories can be applied to design. In this paper we show how a formalisation can be used to encapsulate representational aspects, affording us an opportunity to integrate representational reasoning into the design process. We have shown in [3] how properties over the abstract state place requirements on the presentation if the properties are to be valid at the perceptual level, and we have presented a model for such properties. We base our approach on this model, and examine in more detail the issue of verification.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jccampos/files/10.1.1.39.3743.pdf},
	author = {G. Doherty and Jos{\'e} Creissac Campos and Michael Harrison},
	editor = {J. Siddiqi}
}