Monash University > School of Computer Science and Software Engineering > CSE2303 > Assessment details

CSE2303 Formal Methods I
Semester 1, 2005
Assessment

Exam

 The final exam is worth 70% of your final mark. There is an exam hurdle which you must meet in order to pass the subject. The final exam will be held in the end-of-semester exam period (June/July). There will be no supplementary exam. Deferred exams are permitted only in extraordinary circumstances.

Practical work

 There are six lab (pracs) classes in CSE2303. Pracs constitute 30% of your final mark. Pracs are compulsory: there is a prac hurdle which you must meet in order to pass the subject. Pracs are three hours long. See also the section below on missed pracs.

Preparation

You are expected to read through the prac notes before each prac class, and to perform the preparatory tasks described in the notes. Please ask your lecturer before your prac if you do not understand the requirements for the prac.

Most prac work is designed so that most students cannot start and finish it in three hours. You must devote considerable thought to the prac work prior to attending the prac, and ideally you should have code already written for a substantial portion of the prac prior to attending it. The prac should be used to seek assistance with respect to unresolved issues, to finalize programs, and to debug and test your programs.

If you have trouble preparing for the prac you should seek assistance concerning requirements and approaches to the problem from tutors or lecturers during consultation hours.

Marking

All pracs, except prac 0, are assessed and are worth 20 marks each.

In general, some marks will be allocated to preparation before the prac class. Preparation must be done before your prac and handed in during the first 5 minutes of the prac. All solutions including code, must be written on a sheet of paper. At the top of the sheet of paper you must include your name and student ID number. Preparation marks can only be earned at the beginning of the class: you cannot do the work after the class has begun and receive marks for it.

Programming assignments will be marked by the demonstrator during the prac class. No marks will be awarded for programs completed after the end of the prac class. No extensions will be given.

Programs will be marked for correctness, programming style, adequate testing and documentation. During marking you may be asked questions to show your understanding of your program.

If your program does not produce correct output for the specified input, you can receive at most one mark less than half marks for it. If your program does not compile, you will receive zero marks for it. Make sure you retain a working copy of your program before you make changes.

Tutorials

Tutorials are one-hour discussion classes where you will discuss and solve set problems in a group. The tutor is not there to give answers, but to help you to achieve the answers yourself. You should attempt all tutorial questions before the class. Tutorials are compulsory and attendance will be taken.

Missed pracs and tutes

If you miss a prac or tutorial class for medical reasons, you must do the following to obtain an exemption for the missed class:

  • Submit an absentee form no more than one week after you return to University. These forms are available from and should be handed in to the General office (Clayton) in building 75.
  • Attach any documentary evidence, for example medical certificate covering the date of your missed class, letter of explanation, police report or plane boarding pass.
  • Submit all your programs for the missed prac to the cheater checker.
    • Failure to do the above will result in you being marked absent for the class and receiving zero marks for the class. Exemptions will not be granted automatically, and will be considered on a case by case basis. You are also only allowed one exemption a semester for this unit.

    Hurdles

     There are three hurdles that you must pass in order to pass the subject:

    If you do not meet all of the above conditions the highest mark you can receive is 44N

    [ Top | Home ]

    Last modified 20/1/2005