code for students_spec added