Don't forget to fill out the SES survey (time is running out)
  There should be a link on your course's Moodle page

Notices

  • Assignment 2

    Posted by Felicia Ee Tuesday 26 October 2021, 08:05:29 AM.

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

    Quiz 4 will be open from tomorrow morning as usual.

  • Week 7 Notices

    Posted by Felicia Ee Monday 25 October 2021, 09:05:29 AM.

    Hi all,

    This week's lectures are now available on the course website, covering proofs and lemmas.

    Quiz 4 will be opening on Wednesday.

    Enjoy your week!

  • Flex Week

    Posted by Felicia Ee Tuesday 19 October 2021, 11:08:49 AM.

    Hi all,

    Hope you are enjoying a bit of a break this week! Flex week is a good time to catch up on content and get some more practice with Dafny. Here are some exercises to try (completely optional):

    • Given two arrays of integers, it returns a single array with all integers appended. [1,5,2,3], [4,3,5] -> [1,5,2,3,4,3,5]
    • Given an array of characters, it returns the index of the first ‘e’. [‘c’,’h’,’e’,’e’,’s’,’e’] -> 2
    • Given an array of characters, it filters all the vowels. [‘d’,’e’,’l’,’i’,’g’,’h’,’t’] -> [’e’,’i’]
    • Count negatives - video solution will be released on Friday
    • Zap negatives - video solution will be released on Friday

    Feel free to discuss and post your solutions on the forum. Have a great week!

Upcoming Due Dates


Back to top

SENG2011 21T3 (Software Engineering Workshop 2A) is powered by WebCMS3
CRICOS Provider No. 00098G