ARVE: Aspect-Oriented Runtime Verification Environment.

Hiromasa Shin Yusuke Endoh Yoshio Kataoka

Published in: RV (2007)

Keyphrases

aspect oriented
mobile robot
dynamic environments
model checking
database
real time
data sets
database systems
database management systems
autonomous agents
development process