Structuring Interactive Systems Specifications for Executability and Prototypability.
David NavarrePhilippe A. PalanqueRémi BastideOusmane SyPublished in: DSV-IS (2000)
Keyphrases
- interactive systems
- human computer interaction
- user interface
- high level
- digital entertainment
- reasoning about actions
- written in natural language
- formal specification
- social intelligence
- specification language
- control flow
- planning domains
- formal verification
- databases
- reactive systems
- concurrent systems
- attribute grammars
- information systems
- information retrieval