A Specification Language and a Modeling Tool for Spatial User Interaction.
Khadidja ChaouiSabrina Bouzidi-HassiniYacine BellikChabane KarasadAbderrahmane HamzaouiPublished in: VISIGRAPP (2: HUCAPP) (2022)
Keyphrases
- user interaction
- specification language
- modeling tool
- formal specification
- programming language
- user behavior
- description language
- user feedback
- user studies
- user experience
- user interface
- user input
- spatial data
- software environment
- interactive image segmentation
- software engineering
- image segmentation
- requirements specification