SR-task grammars: a formal specification of human computer interaction for interactive visual languages.
Rosanna CassinoGenny TortoraMaurizio TucciGiuliana VitielloPublished in: HCC (2003)
Keyphrases
- visual languages
- human computer interaction
- formal specification
- interactive systems
- interaction design
- model checking
- object oriented design
- context free grammars
- interface design
- user interface
- hand gestures
- formal methods
- user interface design
- human computer interface
- reverse engineering
- eye tracking
- process algebra
- human computer
- gesture recognition
- software components
- human factors
- multimodal interfaces
- software engineering
- information processing systems
- concurrent systems
- database