Diagnosis and semi-automatic correction of detected design inconsistencies in source code
Requirements engineering: a roadmap