Reengineering of component-based software systems in the presence of design deficiencies