Towards Abstract User Interfaces for Formal System Specifications.
Hartmut EhrigWerner FeyHorst HansenPublished in: ADT (1984)
Keyphrases
- user interface
- formal specification
- state machines
- formal language
- operational semantics
- reactive systems
- high level
- human computer interaction
- formal descriptions
- controlled natural language
- graphical user interfaces
- delay insensitive
- higher level
- formal model
- formal semantics
- abstract data types
- formal representation
- formal analysis
- formal methods
- user friendly
- model checking
- logic programs
- low level
- learning environment