• Vampire submission

    Posted by Albert Nymeyer Friday 03 June 2016, 12:10:08 PM.

    I am expecting you to submit just the PID and the Dafny code for the project. Do not submit the implementation code. If I want to see your implementation code, I will email the group directly.

  • Assignment 1 marks

    Posted by Albert Nymeyer Wednesday 01 June 2016, 01:25:28 PM.

    The first assignment marks are available (see using classrun or go to the Timetable page on this website). Your marked assignment cannot be collected however, but you are welcome to email your tutor for feedback.

  • Week 12 lecture

    Posted by Albert Nymeyer Monday 23 May 2016, 12:03:57 PM.

    There is no lecture in Week 12. Instead, you are welcome to come and practise your project talk in the theatre. Just bring your laptop and cabling. I will be there to offer advice.

Upcoming Due Dates

There is nothing due!

Back to top

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