Dipayan Gangopadhyay Subrata Mitra Design by Framework Completion. 219-237 1996 3 Autom. Softw. Eng. 3/4 db/journals/ase/ase3.html#GangopadhyayM96