Towards a behavior-oriented specification and testing language for multimodal applications.
Marc HeseniusTobias GriebeVolker GruhnPublished in: EICS (2014)
Keyphrases
- specification language
- programming language
- formal language
- oriented programming
- formal languages
- test cases
- natural language
- operational semantics
- formal verification
- qualitative simulation
- high level
- multimodal interaction
- exception handling
- formal specification
- human behavior
- language learning
- early vision
- behavior patterns
- test set
- code generation
- multi modal
- multi agent
- action language
- test case generation
- database