The weight distribution of the course components is as follows:

• 25% - 4 in-class Quizzes, 25 minutes each (6%, 6%, 6%, 7%)
• 25% - Labtest (on the use of Spin for requirements and specifications of safety critical systems)
• 50% - Project in 3 phases. Requirements elicitaiom, documentation and implementation of dPost.
  • 10% Phase 1: Elicit and Document User Requirments using English descriptions for REQ and ENV.
  • 15% Phase 2: Correct all Phase 1 problems, add structured models (e.g. UML Use Cases, statecharts, etc.), and provide a User's Manual (includes GUI). Provide detailed acceptance tests using the GUI as a testbed.
  • 25% Phase 3: Correct any Phase 2 problems, code the implementation, and demonstrate that the program satisfies the User Requirements (e.g. via running the acceptance tests).

You can view your marks here.

Conversion from numeric to letter grade is applied to the overall mark only and in accordance with the following departmental standard:

• Common Grading Scheme for Undergradate Faculties