Towards Spatial Specification of Interactive System
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.
BibTeX
@inproceedings {10.2312:egs.19991047,
booktitle = {Eurographics 1999 - Short Presentations},
editor = {},
title = {{Towards Spatial Specification of Interactive System}},
author = {Rodriguez, M. L. and Gea, M. and Gutiérrez, F. L.},
year = {1999},
publisher = {Eurographics Association},
ISSN = {1017-4656},
DOI = {10.2312/egs.19991047}
}
booktitle = {Eurographics 1999 - Short Presentations},
editor = {},
title = {{Towards Spatial Specification of Interactive System}},
author = {Rodriguez, M. L. and Gea, M. and Gutiérrez, F. L.},
year = {1999},
publisher = {Eurographics Association},
ISSN = {1017-4656},
DOI = {10.2312/egs.19991047}
}