We Need Non-formal Methods Based on Formal Models in Interaction Design.
Andreas MaierSteffen HessPublished in: HCIV (2011)
Keyphrases
- formal methods
- formal models
- interaction design
- human computer interaction
- formal model
- rule based systems
- process model
- knowledge based systems
- mobile applications
- model checking
- product design
- formal specification
- ubiquitous computing
- artificial intelligence
- formal specification language
- software engineering
- machine learning
- field of human computer interaction
- modeling language
- mobile devices
- expert systems
- real world