Change Impact Analysis and Software Evolution Specification for Continually Evolving Systems | IEEE Conference Publication | IEEE Xplore