Constraint-Based Design Recovery for Software Reengineering Theory and Experiments | EKB DL