SENG2011 Notices

Practice and Play Exercises Released

Posted by Ayra Saqib Tuesday 20 October 2026, 10:03:11 PM.

Hi everyone,

A few exercises have been released under the Practice and Play section. These focus on working with Dafny, including writing predicates and methods, specs and invariants and validating. From now until week 10, a few exercises will be released every week. The Practice and Play exercises are not worth marks but are great practice for assignment 2 and the final exam. Solutions will be provided about a week after an exercise is released.

If you need any help, feel free to reach out on the forum.

Assignment 1 Mark Distribution

Posted by Ayra Saqib Saturday 17 October 2026, 10:59:28 PM.

Hi everyone,

An update that the mark distribution between questions in assignment 1 has now been added to the spec on the course website. The longer exercises (2 and 3) are 10 marks each and the rest are 5 marks each. Also, a reminder that assignment 1 is due at 9pm tomorrow and to submit on time to avoid a late penalty.

Assignment 1 Due End of Week

Posted by Ayra Saqib Thursday 15 October 2026, 09:40:00 AM, last modified Thursday 15 October 2026, 09:41:12 AM.

Hi everyone,

A reminder that assignment 1 is due at 9 p.m. this Sunday 18 October, unless you have an approved extension. Remember that you are also able to submit any number of times until the due date. There is help available through the course forum (linked in the sidebar) and post-lecture consultation tomorrow. Make use of this and good luck!

Assignment 1 released

Posted by Ayra Saqib Friday 02 October 2026, 04:09:36 PM.

Hi everyone,

Assignment 1 has been released. It comprises seven exercises. The Dafny exercises may take you more time, but no exercise requires a solution of more than half a page. Week 4’s lecture will help with the Dafny exercises.

You are encouraged to ask any clarifications or questions in the forum

Practice and Play activity released

Posted by Ayra Saqib Sunday 20 September 2026, 11:51:46 AM.

Hi everyone,

The first Practice and Play activity has been released to help you start playing around and getting comfortable with Dafny. The Make a Start document covers the verification of a simple method to square an integer. See if you can find other ways to make the method verify. Remember that all assignment exercises and the final exam must verify with CSE Dafny, so if you are installing Dafny locally, it is best to copy your files to CSE systems and make sure they also verify there before you submit.

Quiz 1 released

Posted by Ayra Saqib Friday 18 September 2026, 05:42:34 PM, last modified Sunday 20 September 2026, 11:52:12 AM.

Hi everyone,

Quiz 1 is now open. This quiz will cover topics from both week 1 and week 2 lectures, so you won't be able to answer every question yet. It is best to write down the answers for the questions you can answer somewhere (because they will not save) and return to the quiz after the week 2 lecture.

The following applies to all quizzes:

• With the exception of quiz 1, the quiz released during week n (typically Friday after the lecture) will be due at 9 p.m. the following Tuesday (week n+1), giving you approximately 4 days.
• Late submissions are not allowed and the maximum possible extension is one day. This is to allow you to get marks and feedback before the next lecture.
• Feedback and results will be released the day after the quiz is due at 10pm
• There will be no quizzes in weeks 6 and 10.
• Quiz 1 will have 20 questions because it covers 2 weeks of content. The rest of the quizzes (2 - 6) have 10 questions each. Your total mark out of 70 will be used to calculate your overall quiz mark.
• Some questions have radio buttons where selecting only one answer is possible. Other questions will have checkboxes where selecting one or more answers is possible. Partial marks are available for multi-selection questions, but selecting incorrect answers for multi-selection questions will result in loss of marks.
• All questions are worth one mark.
• You will never receive fewer than 0 marks for any particular question.

If you have any question feel free to post them on the forum :)

Welcome to SENG2011!

Posted by Ayra Saqib Sunday 13 September 2026, 03:29:30 PM.

Hi everyone, and welcome to SENG2011! I'm Ayra, and I will be your course admin this term. Albert Nymeyer will be your lecturer/course convenor, and Stephen will be managing the forum, answering your questions, and creating some practice exercises for the course.

This course's resources include:

• WebCMS3, the main course website and the main source of information. You can find the course outline, course announcements, lecture slides, practice exercises, quizzes, assignments, and exam information here.
• Moodle, which has lecture recordings, but attending lectures in person is highly recommended as they will be much more engaging and interactive.
• Discourse forum, which should be your first point of contact for most questions about the course. It is accessible here or through the sidebar. The login details for the forum are your zID and zPass.

I encourage you all to be actively asking and answering questions - explaining concepts to others is a great way to learn. Course announcements will not be posted on the forum.

For some queries, it may be more appropriate to talk directly to course staff by emailing the course account se2011@cse.unsw.edu.au rather than posting on the forum. This is also preferred over contacting course staff through personal email addresses.

Make sure you have read both the course outline on ECOS and the Course Outline Appendix so that you are familiar with the prerequisite knowledge that is expected of you, the course schedule, and assessment details.

The first lecture will be on Friday 12-3pm in Electrical Engineering G23. Enjoy learning and experimenting in SENG2011, and we’re looking forward to meeting you!