Prototyping a tool environment for run-time assertion checking in JML with communication histories.
Frank S. de BoerStijn de GouwJurgen J. VinjuPublished in: FTfJP@ECOOP (2010)
Keyphrases
- mobile robot
- dynamic environments
- software tools
- real time
- distributed control
- neural network
- simulation tool
- cooperative
- communication networks
- exchange information
- communication systems
- communication protocol
- communication overhead
- environmental conditions
- multi party
- communication technologies
- complex environments
- autonomous robots
- learning community
- robotic systems
- database systems
- data sets