Learning design specification