SENG2011 Workshop on Reasoning about Programs
UNSW Sydney· 6 credit pointsExam-heavy
Assessments
| Task | Type | Weight |
|---|---|---|
| Program Verification in Dafny | Assignment | 25% |
| Quizzes | Quiz | 10% |
| Programming Exercises | Exam | 50% |
| Conceptual and programming exercises in Dafny | Assignment | 15% |
| Total | 100% | |
What do I need on the exam?
This unit is 50% exam. Enter your average on everything else to see the mark you need on the final.
%
HD (85%)
—
D (75%)
—
C (65%)
—
P (50%)
—
Mark needed across the exam component(s) to reach each grade.
Track SENG2011 in StudyLedger
Sign up and SENG2011 is added with its 4 assessments already filled in. Log your marks as they come back and watch your WAM update. Free, no card required.
Assessment details come from UNSW Sydney's published unit information and may change between offerings — always confirm in your official unit guide.