The Specification Language for the GESTALT Environment.
Silvia ClericiFernando OrejasPere BotellaPublished in: ADT (1988)
Keyphrases
- specification language
- software environment
- requirements specification
- formal specification
- programming language
- description language
- mobile robot
- dynamic environments
- real time
- symbolic execution
- general purpose
- database
- knowledge based systems
- evolutionary algorithm
- reinforcement learning
- case study
- information systems