A framework for dynamic evolution of object-oriented specifications | IEEE Conference Publication | IEEE Xplore