Constraint-Engineered Development