SENG2011 Notices

myExperience and Mini-Exams

Posted by Stephen Chuang Tuesday 25 November 2025, 07:04:44 AM.

The myExperience survey is currently open and has a very low response rate of under 10%. You are strongly encouraged to complete the survey so that we have enough feedback to improve this course for future offerings. It won't take much time and what you say will not have any effect on your performance in the course, but any feedback (good and bad) will be useful.

myExperience will close at 11:59 p.m. on Thursday 27 October and late submissions will not be possible.

The first mini-exam has also been released. These are best done under timed conditions and in a similar environment to the real exam. It's best to connect to CSE servers using VLAB or otherwise, have Pocket Dafny open as your only source of documentation, and only using the editors available in the exam (to be confirmed, but will likely be gedit, nedit, and vim only).

Assignment Updates

Posted by Stephen Chuang Saturday 15 November 2025, 07:15:45 PM.

Assignment 1 solutions have been released under the Assignments section.

For assignment 2 exercise 1, it is possible that multiple people in the race tie for first place. In this case, you should still return the second fastest time regardless of how many people place first. For example, if you have [8, 9, 8, 9, 8, 9, 10, 8], you should return 9.

There is a 2 week and 2 day gap between the assignment 2 deadline and the final exam. Because some students have extensions, it is unlikely that assignment 2 marks and feedback will be released before the final exam.

More Exercises Released and Quiz Extensions

Posted by Stephen Chuang Tuesday 11 November 2025, 10:24:00 PM.

A few more exercises have been opened up under Practice and Play, and solutions to the exercises released last week are now visible. There will be some practice exams released around week 11.

Regarding quizzes, a few people have tried to get a quiz extension through special consideration recently. If you need a quiz extension, it is best to email me directly without submitting a special consideration application as you'll almost certainly get a quicker response, which makes it more likely you can make use of the extension before results are released on the Tuesday after the initial due date.

For assignments and the final exam, you should still use special consideration.

Assignment 1 results

Posted by Albert Nymeyer Tuesday 11 November 2025, 05:19:26 PM, last modified Tuesday 11 November 2025, 05:20:27 PM.

The marking is complete and the results can be 'collected'. The vast majority of you did very well indeed. I will put the solutions on the website later in the week, which will include an overview of common mistakes and general performance. If you submitted late then you will see the mark penalty at the end of the results. If you wish to query your mark, there is a category on the forum that you should use.

Assignment 2 exercise 1

Posted by Albert Nymeyer Wednesday 05 November 2025, 08:47:44 PM.

An extra condition has been placed on exercise 1 in Assignment 2. The condition is " The method must have linear performance." You cannot use therefore a quadratic sort. In fact using any kind of sorting algorithm to determine the second-fastest time would be highly inefficient. The assignment document has been changed

Three More Exercises Released

Posted by Stephen Chuang Tuesday 04 November 2025, 08:34:50 PM.

Three more exercises have been released:

• Absolute value of an array of integers.
• Maximum element in an array (video solution).
• Zap negatives in an array (video solution).

Solutions will be released some time next week.

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