Environment for the Development and Specification of Real-Time Ada Programs.
Apolinar GonzálezAlfons CrespoPublished in: Ada-Europe (1999)
Keyphrases
- real time
- real time embedded systems
- provably correct
- real environment
- programming environment
- vision system
- knowledge based systems
- programming environments
- mobile robot
- changing environment
- virtual world
- real time systems
- quality of service
- information processing
- high speed
- low cost
- object oriented
- case study
- artificial intelligence