SENG2011 Notices

Assignment 1 is available

Posted by Albert Nymeyer Friday 03 October 2025, 09:00:58 AM.

Assignment 1 has been released. It comprises five exercises. The last exercise may take you more time, but no exercise requires a solution of more than half a page (at most). Week 4's lecture will help with the Dafny exercises in the assignment.

Quiz 2 Released

Posted by Stephen Chuang Wednesday 01 October 2025, 11:53:10 PM.

Quiz 2 has been released. Apologies for the delay; the quiz needed some last-minute changes because it had questions on lectures that had not been covered yet.

A video has also been opened up under the Practice and Play section.

First Exercises Released

Posted by Stephen Chuang Monday 29 September 2025, 09:17:25 PM.

A few exercises have been released under the Practice and Play section. These focus on the logic, predicate translation, and weakest precondition content from the first two weeks of lectures.

If you haven't already, now would also be a good time to start playing around 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.

End of Week 2 Notice and Quiz 1 Update

Posted by Stephen Chuang Friday 26 September 2025, 07:30:57 PM.

As we wrap up week 2, you should now have a solid grasp on the theoretical aspects of the course. We will soon start exploring Dafny a lot more in the lectures, and assignment 1 will also be released soon.

Early next week, we will be opening up some practice exercises. These give you an opportunity to experiment with Dafny and learn by doing, which would be very helpful for the assignments and final exam. Solutions will be provided about one week after the exercise is released.

Important: quiz 1

Question 19 in quiz 1 has been modified and a few questions have had some minor clarifications. All students who have submitted before the modification should revise their answers to question 19.

A few questions in this quiz also require reading through the slides from the Make Inferences lecture, which has not been finished this week.

To compensate, the due date has been moved 1 day later to 9 p.m. on Monday 29 September . Asking for a 1-day extension is still possible if you have a good reason.

Quiz 1 results and feedback will be released at 10 p.m. on Tuesday 30 September.

Quiz 1 Released

Posted by Stephen Chuang Wednesday 17 September 2025, 09:44:56 PM.

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 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 Wednesday) will be due at 9 p.m. Sunday week n, 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.
• There will be no quizzes in weeks 5, 6, and 10. This is to allow you to focus on the assignments.
• 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.

Welcome to SENG2011!

Posted by Stephen Chuang Tuesday 16 September 2025, 03:03:03 PM.

Welcome to SENG2011! I'm Stephen and I will be your course admin for this offering of the course. Albert Nymeyer will be your lecturer/course convenor, and Abraham will also be helping with answering your forum questions and making some practice exercises for the course this year.

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.
• The Discourse forum, which should be your first point of contact for most questions about the course. It is accessible through the link in 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 class account se2011@cse.unsw.edu.au rather than posting on the forum. Contacting course staff through personal email addresses is strongly discouraged.

Make sure you have read both 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 Wednesday starting at 1 p.m. in June Griffith M18.

Stephen