Automated validation of distributed software using the IF environment.
Marius BozgaSusanne GrafLaurent MounierPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- computing environments
- computing platform
- software development
- mobile robot
- mobile sensor
- open systems
- computer networks
- distributed systems
- software environment
- simulation environment
- semi automated
- software design
- mobile agents
- autonomous agents
- software systems
- fully automated
- neural network
- complex environments
- dynamic environments
- exchange information
- computer systems
- working environment
- programming environment
- database systems
- distributed control
- real time
- agent interactions
- software testing
- communication cost
- multi agent
- software components
- peer to peer
- source code