An Automated Formal Approach to Managing Dynamic Reconfiguration.

Ian Warren Jing Sun Sanjev Krishnamohan Thiranjith Weerasinghe

Published in: ASE (2006)

Keyphrases

dynamic reconfiguration
application specific
software systems
fully automated
semi automated
formal methods
neural network
data driven
software architecture
biologically inspired
databases
learning environment
complex systems
semi automatic
automated analysis
formal representation