Interactors and Haggis: Executable specifications for interactive systems.
Meurig SageChris W. JohnsonPublished in: DSV-IS (1997)
Keyphrases
- interactive systems
- formal specification
- attribute grammars
- control flow
- human computer interaction
- model checking
- specification language
- digital entertainment
- high level
- user interface
- real time
- functional requirements
- formal methods
- data flow
- concurrent systems
- written in natural language
- delay insensitive
- reactive systems
- context free
- software testing
- artificial intelligence
- neural network