Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules.
Bettina SucrowPublished in: FASE (1998)
Keyphrases
- human computer interaction
- rewrite rules
- formal specification
- rewriting rules
- transformation rules
- model checking
- user interface
- human computer
- software engineering
- hand gestures
- reverse engineering
- protocol specification
- human factors
- equivalence classes
- computer science
- artificial intelligence
- software components
- databases