Towards Spatial Specification of Interactive System

dc.contributor.author	Rodriguez, M. L.	en_US
dc.contributor.author	Gea, M.	en_US
dc.contributor.author	Gutiérrez, F. L.	en_US
dc.date.accessioned	2015-11-11T14:04:40Z
dc.date.available	2015-11-11T14:04:40Z
dc.date.issued	1999	en_US
dc.identifier.issn	1017-4656	en_US
dc.identifier.uri	http://dx.doi.org/10.2312/egs.19991047	en_US
dc.description.abstract	Modern interactive systems are oriented towards information management in a graphical environment. Formal specification techniques [1] help designers to describe systems, focusing on the relevant aspects of the interaction model. We analyse here a new way of describing the specifications of a directmanipulation system and we propose an extension of this concept to cover the specifications of a system based on spatial relationships.	en_US
dc.publisher	Eurographics Association	en_US
dc.title	Towards Spatial Specification of Interactive System	en_US
dc.description.seriesinformation	Eurographics 1999 - Short Presentations	en_US