Modular verification of dynamically adaptive systems.

Ji Zhang Heather Goldsby Betty H. C. Cheng

Published in: AOSD (2009)

Keyphrases

adaptive systems
learning systems
e learning
user modeling
adaptation strategies
model checking
user model
context awareness
changing environment
modular structure
learning environment
verification method
computer vision
domain specific
formal methods
signature verification