The formal specification of adaptive user interfaces using command language grammar.
Dermot P. BrowneBrian SharrattMichael A. NormanPublished in: CHI (1986)
Keyphrases
- grid workflow
- formal specification
- process algebra
- adaptive user interfaces
- specification language
- formal languages
- natural language
- model checking
- concurrent systems
- specification languages
- formal language theory
- formal methods
- linguistic knowledge
- data abstraction
- word order
- object oriented design
- formal language
- asynchronous circuits
- programming language
- formal specification language
- model checker
- grammar rules
- reverse engineering
- cooperative
- stochastic context free grammars
- information systems
- open source
- query language
- multi agent