Preliminary Evaluation of a Formal Approach to User Interface Specification.
John C. KnightSusan S. BrilliantPublished in: ZUM (1997)
Keyphrases
- user interface
- formal specification
- formal methods
- formal language
- specification languages
- reactive systems
- specification language
- formal languages
- operational semantics
- requirements specification
- human computer interaction
- user interaction
- model checking
- formal verification
- formal model
- data sets
- software engineering
- user centered
- business rules
- interaction model
- user experience
- hidden markov models
- information systems
- search engine
- artificial intelligence