A Calculus of Consistent Component-based Software Updates

Xiaohui Xu Linpeng Huang Dejun Wang Jun-Qing Chen

Published in: CoRR (2010)

Keyphrases

component based software
software systems
integration testing
web applications
data sets
neural network
information technology
software engineering
globally optimal
update operations