EVOLVE: adaptive specification techniques for object-oriented software evolution | IEEE Conference Publication | IEEE Xplore