Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources.
Bettina SucrowPublished in: ASE (1997)
Keyphrases
- human computer interaction
- information resources
- formal specification
- graph grammars
- information management
- model checking
- context sensitive
- digital libraries
- user interface
- information sharing
- metadata
- information seeking
- distributed environment
- reverse engineering
- production rules
- context free
- software engineering
- language model
- graph databases
- parameter learning