Automated Validation of Distributed Software Using the IF Environment.
Marius BozgaSusanne GrafLaurent MounierPublished in: NCA (2001)
Keyphrases
- open systems
- computing platform
- multi agent
- mobile robot
- simulation environment
- semi automated
- computing environments
- dynamic environments
- software environment
- software architecture
- software systems
- metadata
- fault tolerant
- distributed systems
- source code
- distributed control
- working environment
- software components
- simulation tool
- heterogeneous environments
- control software
- distributed processing
- distributed computing
- robotic systems
- mobile agents
- virtual world
- user interface
- cooperative
- case study