<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">G. Doherty</style></author><author><style face="normal" font="default" size="100%">José Creissac Campos</style></author><author><style face="normal" font="default" size="100%">Michael Harrison</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">J. Siddiqi</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Representational Reasoning and Verification</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the BCS-FACS Workshop: Formal Aspects of the Human Computer Interaction</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1998</style></year><pub-dates><date><style  face="normal" font="default" size="100%">September</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/jccampos/files/10.1.1.39.3743.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">SHU Press</style></publisher><pub-location><style face="normal" font="default" size="100%">Ilkley, UK</style></pub-location><pages><style face="normal" font="default" size="100%">193-212</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;
</style></abstract></record></records></xml>