Systematic Program Design