Login / Signup

Towards a unified formal model for supporting mechanisms of dynamic component update.

Junrong ShenXi SunGang HuangWenpin JiaoYanchun SunHong Mei
Published in: ESEC/SIGSOFT FSE (2005)
Keyphrases
  • formal model
  • dynamic environments
  • predicate calculus
  • database
  • neural network
  • e government
  • building blocks
  • dynamically updated