Abstract: RedesignIT is a computer program that uses model-based reasoning to generate and evaluate proposals of redesign plans for engineered devices. These proposals describe how the design parameters ...