Constraint-Based Design Recovery for Software Reengineering | lit.salon