Towards a Specification Language for Spatial User Interaction.
Khadidja ChaouiSabrina Bouzidi-HassiniYacine BellikPublished in: SUI (2020)
Keyphrases
- user interaction
- specification language
- formal specification
- programming language
- description language
- user behavior
- user input
- user studies
- user feedback
- spatial data
- spatial information
- requirements specification
- interactive image segmentation
- user experience
- state space
- user interface
- artificial intelligence
- database
- software development
- information retrieval systems
- database systems
- high level
- software environment