Title: A model and algorithms for a software evolution control system