We need non-formal methods based on formal models in interaction design.
Steffen HessAndreas MaierMarcus TrappPublished in: ECCE (2011)
Keyphrases
- formal models
- formal methods
- interaction design
- human computer interaction
- rule based systems
- process model
- knowledge based systems
- formal model
- product design
- model checking
- formal specification
- artificial intelligence
- ubiquitous computing
- software engineering
- mobile applications
- field of human computer interaction
- information systems
- development lifecycle
- physical objects
- formal specification language