Preliminary Evaluation of a Formal Approach to User Interface Specification.

John C. Knight Susan S. Brilliant

Published 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