SENG2011 Notices

Assignment 2 released

Posted by Albert Nymeyer Sunday 02 November 2025, 06:14:52 PM, last modified Sunday 02 November 2025, 06:22:06 PM.

Assignment 2 has been released and can be found on the home page. It consists of an exercise on arrays, another on sequences and two on lemmas. The plan is to introduce lemmas in the week 8 lecture and focus on them in weeks 9 and 10. Good luck with the assignment and use the forum if you have any questions.

More Exercises Released

Posted by Stephen Chuang Sunday 26 October 2025, 09:41:46 PM.

Some new exercises have been released under Practice and Play. 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.

As always, you are welcome to make a private post on the forum if you need help with the practice exercises.

Week 5 Notice: Assignment 1 Due

Posted by Stephen Chuang Friday 17 October 2025, 04:09:10 PM.

Assignment 1 is due at 9 p.m. this Sunday (19 October) unless you have an approved extension.

The course forum is available if you need help on the assignment.

Another exercise (index of the first 'e' in an array) has been opened up under Practice and Play and solutions for the factorial invariant exercise have been released.

Assignment 1 Due in One Week

Posted by Stephen Chuang Sunday 12 October 2025, 07:36:31 PM.

Assignment 1 is due at 9 p.m. next Sunday on 19 October. There is plenty of help available through the course forum (linked in the sidebar) and post-lecture consultations.

Quiz 3 is due at 9 p.m. tonight.

Week 4 Update

Posted by Stephen Chuang Thursday 09 October 2025, 07:53:04 AM.

We are now in week 4, having covered arrays and invariants. This should let you make a start with the Dafny exercises in assignment 1.

Today is also the census date. The deadline to drop this course without academic nor financial penalty is 11:59 p.m. tonight.

Quiz 3 has been released, along with the factorial invariant exercise. Solutions to the wp and true or false exercises have also been released.

The previous quiz had a few students request for an extension after Monday 9 p.m. If you think you need an extension, try to request it before the Sunday 9 p.m. deadline. The maximum extension is usually 1 day so that results and feedback are released with enough time for you to look at them before the next lecture.

When submitting the quiz, you should also allow a bit of extra time in case the submission doesn't go through or is slow because of busy servers.

There will be no quiz next week. This should give you a bit more time to focus on submitting assignment 1.

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