Formal Pattern Specifications to Facilitate Semi-automated User Interface Generation.
Jürgen EngelChristian MärtinChristian HerdinPeter ForbrigPublished in: HCI (1) (2013)
Keyphrases
- semi automated
- user interface
- formal specification
- fully automated
- reactive systems
- pattern matching
- formal language
- operational semantics
- formal methods
- formal descriptions
- application development
- human computer interaction
- user interaction
- knowledge retrieval
- requirements specification
- specification language
- formal models
- high level
- delay insensitive
- formal model
- design process
- generation process
- pattern detection
- data mining