A Formal Approach Facilitating the Evolution of Component-Based Software.

Nguyen Truong Thang Takuya Katayama

Published in: IWPSE (2005)

Keyphrases

component based software
software systems
web applications
integration testing
formal model
temporal evolution
cooperative
search algorithm
artificial neural networks
object oriented
software evolution
formal models