Notices

  • Second Supplementary Exam

    Posted by Albert Nymeyer Tuesday 24 January 2023, 04:36:47 PM, last modified Tuesday 24 January 2023, 05:02:20 PM.

    A 2nd supplementary exam will be held on the 6th February, 2023. If you have been granted special consideration for the 1st supplementary exam held in early January, you will contacted closer to the date with the precise time and place of the 2nd exam. The exam will again be run on the restricted exam environment so ensure that you have read the Exam Advice document on the Exam link.

  • Supplementary Exam

    Posted by Albert Nymeyer Friday 16 December 2022, 11:50:02 AM.

    For those students that were awarded Special Consideration for the final examination, the supplementary examination will be an in-person lab exam (at CSE, UNSW) that will be held:

    • TUESDAY AFTERNOON, FROM 1PM to 5PM, 10TH JANUARY, 2023

    More detailed information will be sent closer to the date.

  • Assignment 2 mark distribution

    Posted by Albert Nymeyer Friday 09 December 2022, 11:23:13 AM.

    For those that are interested, the distribution of marks was:

    • 47 FL (0-39 marks)
    • 16 PS (40-49)
    • 13 CR (50-59)
    • 16 DN (60-67)
    • 55 HD (68-80)

    where the first number is the number of students. Max mark was 80 of course. The failure rate was very high, but so was the HD rate.

  • Assignment 2 marks released

    Posted by Albert Nymeyer Friday 09 December 2022, 10:39:03 AM.

    Since Wednesday you have been able to collect your Assignment 2 marks. Feedback is minimal or even non-existent due to time pressure, although I did spend a lot of time on some submissions.

    The lab exam was held yesterday (8th), and marking is now in progress. From a management perspective, the exam went well.

  • Examination today

    Posted by Albert Nymeyer Thursday 08 December 2022, 08:52:12 AM.

    Good luck at the examination today. Please be on time. Some final words of advice:

    • spend roughly equal amounts of time on each exercise
    • think about a question for a couple of minutes before beginning: read it twice to make sure you understand it
    • remember you do not need to submit your programs
    • Felicia and I will be walking around to assist

    If you have time and interest, tell me afterwards on the forum what you thought of it.

  • Correction on the last announcement: CSE lab exam

    Posted by Albert Nymeyer Tuesday 06 December 2022, 09:29:48 AM.

    Correction, that last post should have said CSE lab exam (not online exam), which I'll repeat below.

    A short document Exam Advice and Environmen t has been released under Exam to help you prepare for the online examination. I'll say here again to allocate your time wisely in the exam. Attempt every exercise.

    As well, the solutions to Assignment 2 have been posted under Assignments. I emphasise that exercises 2 and 3 were far more difficult than you can expect in the examination. Marking is almost complete.

  • Online examination and assignment solutions

    Posted by Albert Nymeyer Tuesday 06 December 2022, 09:05:50 AM.

    A short document has been released under Exam to help you prepare for the online examination. I'll say here again to allocate your time wisely in the exam. Attempt every exercise.

    As well, the solutions to Assignment 2 have been posted under Assignments. I emphasise that exercises 2 and 3 were far more difficult than you can expect in the examination. Marking is almost complete.

  • Another mini-exam

    Posted by Felicia Ee Saturday 26 November 2022, 09:29:37 AM.

    A fourth one hour mini-exam has been added under Practice and Play!

  • myExperience closes tonight

    Posted by Felicia Ee Thursday 24 November 2022, 09:12:01 AM.

    Thank you to everyone who has completed the myExperience survey. We are currently at 61% completion rate, and upgrade marks will be implemented if it reaches 75%. We would really appreciate it if you spent a few minutes filling it out, and remind other students to fill it out too!

  • myExperience

    Posted by Albert Nymeyer Tuesday 22 November 2022, 10:23:01 AM.

    my Experience of this course was great acceptable poor dreadful Your feedback is used by the school to decide how courses are taught, and even whether courses should continue to be taught. Realise as well that if both rounding up and bumping up are applied, that 48.5 is a pass, and 63.5 is a credit etc. The response is currently at less than 50% and seems stuck. The aim is 75%. Make a difference, have a say.

  • Assignment 2 over + myExperience reminder + final exam

    Posted by Felicia Ee Monday 21 November 2022, 03:41:46 PM.

    Assignment 2

    Assignment 2 is now behind us, well done! Please note that some students may be submitting late or have extensions, so we ask that you keep any discussion on Assignment 2 private on the forum.

    myExperience

    myExperience is closing this Thursday , and we would very much appreciate it if you would complete the survey for this course. Your feedback will help improve the course in future years. We are currently at around 45% response rate, don't forget that if it reaches 75% then the bonus upgrade mark policy will be implemented!

    Final Exam

    The details of the lab exam were sent out to you from CSE this morning by email. There is more information and advice available under Exam on the course website. Further details about the exam environment will be provided later (as well as further details for the online exam).

    There are also 3 sample mini-exams (and their solutions) available under Practice and Play. Each mini-exam consists of two questions and is designed to be done in 1 hour. Feel free to discuss the questions and solutions publicly on the forum.

  • Assignment 2 Reminder

    Posted by Felicia Ee Saturday 19 November 2022, 03:04:55 PM.

    Assignment 2 is due tomorrow Sunday 20th at 9pm .

    Some reminders:

    • Ensure your final submission has all three files in it
    • If you have failing testcases, invariants, or postconditions, comment them out so that the program verifies. You can leave a note saying that it does not verify
    • Warnings will be treated as errors

    Good luck!

  • Quiz 6 Reminder + MyExperience bonus mark + final exam

    Posted by Felicia Ee Monday 14 November 2022, 05:14:27 PM, last modified Monday 14 November 2022, 05:14:53 PM.

    Quiz 6 is due tonight at 9pm! It is the last quiz in the course.

    Please fill out myExperience!

    Question 9 in the quiz describes the Bonus Upgrade Mark policy, which gives a bonus mark to students with a mark of 49, 64, 74 or 84 to upgrade them to the next grade. This will be implemented if the myExperience response rate reaches 75% . Don't forget to fill it out and encourage other students to do so as well!

    Common questions on the exam

    Some clarification on the final exam (this does not apply to offshore students taking the online exam): it is a closed book exam and will be in the CSE labs. You will be using the CSE machines with a restricted environment, so make sure you are familiar with the CSE Dafny verifier. You will be given the 'Dafny Cheatsheet' that you can find under References, you will not have access to any other resources.

    Albert will touch on the exam in the lecture this week, and we will release some mock exam questions next week.

  • Quiz 6 + MyExperience Reminder

    Posted by Felicia Ee Thursday 10 November 2022, 09:05:57 AM.

    The opening of Quiz 6 was delayed, sorry about that! It is now open and the deadline has been moved to Monday 9pm.

    Don't forget to complete your MyExperience surveys. Your feedback is very important to the development of the course.

  • Assignment 1 Marks + Quiz 5 reminder

    Posted by Felicia Ee Sunday 06 November 2022, 03:29:41 PM.

    Hi all,

    The marks for assignment 1 are now available, you can find yours through WebCMS or using collect. Late penalties have been applied. The mark breakdown is as follows:

    FL (..25 marks) 35 students
    PS (25 .. 32.5) 27 students
    CR (32.5..37.5) 25 students
    DN (37.5.. 42.5) 26 students
    HD (42.5..) 42 students
    Top mark 48.5
    Bottom mark 0

    Solutions will be made available soon. Also, a reminder that Quiz 5 is due tonight at 9pm.

  • Quiz 5 + Exercise solutions

    Posted by Felicia Ee Wednesday 02 November 2022, 09:53:06 AM.

    Quiz 5 is now open, and due Sunday 9pm as always.

    The solutions to the exercises released during flex week are also available under Practice and Play, including 3 video solutions from Albert. If you haven't already, try out the exercises before having a look at the solutions.

  • Assignment 2

    Posted by Felicia Ee Wednesday 26 October 2022, 09:28:00 AM.

    Assignment 2 has been released! It is due Sunday 20th November 9pm , with submission through give or the course website. Make sure you read the requirements and conditions of each question carefully.

    Quiz 4 is also open and due Sunday 9pm as usual.

  • More practice exercises

    Posted by Felicia Ee Wednesday 19 October 2022, 11:45:49 AM.

    Four more Dafny exercises have been added, which are a little more difficult than those released on Monday. All of these exercises should be doable using the content in lectures so far, so they're a good way to revise and make sure you're staying on top of the course. I would highly recommend you have a go at some exercises this week as practice for assignment 2, as the programs you'll have to write and verify in assignment 2 are a step up in complexity from assignment 1.

  • Flex Week - more exercises

    Posted by Felicia Ee Monday 17 October 2022, 10:55:07 AM.

    Hi all,

    Hope you are enjoying a bit of a break this week! Flex week is a good opportunity to catch up on lectures and consolidate your knowledge, and writing and verifying programs is the best way to get more comfortable with Dafny and deepen your understanding. We've added three more exercises under Practice and Play so you can practice verifying some more complex programs. A few more exercises will be released on Wednesday. I encourage you to share and discuss your solutions in the forum!

  • Assignment 1 Due Tonight

    Posted by Felicia Ee Sunday 16 October 2022, 02:31:42 PM.

    Hope everything is going well with the assignment. A reminder that the deadline is 9pm tonight . You can make multiple submissions so submit early to make sure there are no issues.

  • Quiz 3 reminder + correction to assignment wording

    Posted by Felicia Ee Sunday 09 October 2022, 11:47:53 AM.

    A reminder that Quiz 3 is due tonight at 9pm. There is no quiz next week so you can focus on your assignment.

    A slight correction was made to the ex4 submission instructions: you must submit methods Forbid42 and Allow42, not functions. ex5 is the only exercise that asks for functions.

  • Final exam format confirmed + more exercises and videos

    Posted by Felicia Ee Tuesday 04 October 2022, 04:19:58 PM.

    The SENG2011 final exam will be a 3-hour exam on campus in the CSE labs (we haven’t been told the date and time yet). As every year, if you are unable to attend the exam then you should apply for Special Consideration. Off-shore students, that is those who are overseas for T3, will be offered an alternative online exam.

    Under Practice and Play there are some new predicate exercises available, as well as two play videos. In the first video I go through some basics, similar to the Make a Start in Dafny document, for anyone confused about where to start with Dafny. In the second video Albert works through a program to reverse an array. This should be helpful when working through the Dafny assignment questions. Note that both videos refer to topics that will be shown in tomorrow's lecture.

  • Quiz 2 Reminder + Quiz 1 Notes

    Posted by Felicia Ee Sunday 02 October 2022, 03:32:37 PM.

    Hope you are all enjoying the long weekend! A reminder that Quiz 2 is due tonight at 9pm. Make sure you have changed your clocks for Daylight Savings! You can submit multiple times, so submit early.

    We've put together some notes on some of the questions from Quiz 1, looking at which questions tripped up a lot of students. You can find it under Practice and Play, feel free to post in the forum if you want any further clarification or to discuss any other questions from quiz 1.

  • Quiz 2

    Posted by Felicia Ee Wednesday 28 September 2022, 09:49:15 AM.

    Hi everyone,

    Quiz 2 is now open, due this Sunday at 9pm. Marks and feedback from Quiz 1 are available on the Quiz 1 page. If you have any questions please ask in the forum!

    We've also added solutions for the exercises released last week.

    Enjoy your week!

  • Assignment 1 Released

    Posted by Felicia Ee Monday 26 September 2022, 07:42:42 PM.

    Assignment 1 has been released! You can find it under Assignments on the course website. The questions cover content from Weeks 1 to 4.

    The assignment is due 9PM Week 5 Sunday 16th October . Submission will be through give.

    If you have any questions about the assignment don't hesitate to ask on the forum!

  • Dafny is back

    Posted by Felicia Ee Monday 26 September 2022, 11:02:17 AM.

    Dafny is working again on CSE :)

  • Quiz 1 Reminder + Dafny issue + Practice exercises

    Posted by Felicia Ee Saturday 24 September 2022, 10:57:50 AM.

    A reminder that Quiz 1 is due tomorrow at 9pm . You can resubmit as many times as you want before the deadline, but you will not be able to change your answers after this.

    At the moment CSE Dafny is not working due to an issue in the fileserver. We will keep you updated, in the meantime we have added some exercises under 'Practice and Play' for anyone wanting some extra practice - answers will be released next week.

    Enjoy your weekend!

  • Dafny command

    Posted by Felicia Ee Wednesday 21 September 2022, 08:31:32 AM.

    Hi everyone,

    The Dafny command on CSE servers has changed to 'seng2011 dafny', so use this for all commands e.g.

    seng2011 dafny /version

  • Week 2 Notices

    Posted by Felicia Ee Monday 19 September 2022, 08:59:59 AM.

    Hi all,

    Hope you had a good start to the term! A few announcements:


    Quiz 1 has been opened early since it covers Week 1 content as well. However future quizzes will open on Wednesday mornings. The quiz is due this Sunday at 9pm . Please note:

    • The quiz includes Week 2 content, so don’t worry if you can’t answer all the questions yet
    • You can make multiple attempts, and only your last attempt will be marked
    • Some questions are single-select (indicated by radio buttons) and some questions are multi-select (indicated by checkboxes)
    • Multi-select questions do not necessarily have more than one answer
    • Multi-select questions have partial marks available

    Consultations start this week, and run Wednesdays 1pm-2pm in Ainsworth 102.

    This week you’ll be introduced to Dafny. If you’d like to play around with it before the lecture, Albert has prepared a document to help you get started in Dafny. You can see it under ‘Practice and Play’.

    Have a great week :)

  • Welcome!

    Posted by Felicia Ee Thursday 08 September 2022, 02:34:04 PM.

    Hello and welcome to SENG2011! I'm Felicia, the course admin this term.

    A quick overview of the course resources:

    • WebCMS is the main course website. Lectures slides, quizzes, assignments, and other resources can be found here, and any important announcements will also be posted here. Make sure you check out the course outline for the course schedule and assessment details
    • Moodle is only needed to access the lecture recordings
    • The Ed Forum should be your first point of contact for questions about the course. You should have received an email invitation to the forum; if not, you can also use the link in the sidebar. I encourage everyone to be active in both asking questions and answering them - explaining a concept is the best way to cement your knowledge!

    All the best for the term!

    Felicia

  • A big welcome

    Posted by Albert Nymeyer Monday 05 September 2022, 02:52:56 PM, last modified Monday 05 September 2022, 06:39:59 PM.

    Albert Nymeyer will lecture, and Felicia Ee will administer the course.

    The course is again face-to-face, which means there will be real, face-to-face lectures (that will be recorded of course), face-to-face consultations, and a CSE-lab-based final exam. The course outline explains much of the philosophy of the course and provides details on things like assessments and previous knowledge. You should find the course thought-provoking, and challenging, particularly in the second half.


Back to top

SENG2011 22T3 (Workshop on Reasoning about Programs) is powered by WebCMS3
CRICOS Provider No. 00098G