Title: Student's Manual to Accompany Oracle Case Tools