SENG2011 Notices
Notices
-
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.
-
Assignment 3
Posted by Albert Nymeyer Saturday 21 May 2016, 11:27:36 AM.
The 3rd assignment has been made available on the website.
-
Demonstration
Posted by Albert Nymeyer Tuesday 17 May 2016, 09:46:07 AM.
A readme and a script for the demonstration of your Vampire software can be found on the project page.
-
gitlab
Posted by Albert Nymeyer Thursday 05 May 2016, 08:41:25 AM.
Accounts have been made for everyone in seng2011 in gitlab to help with the project management.
-
Assignment 2
Posted by Albert Nymeyer Monday 02 May 2016, 12:45:31 AM.
Assignment 2 is available. The whole assignment should be done using the Dafny compiler/verifier.
-
Project Vampire
Posted by Albert Nymeyer Tuesday 26 April 2016, 07:48:31 AM.
The project is to build a small blood bank management system, and is available at the link. I will discuss aspects of the work at the lecture this week.
-
Deadline assignment 1
Posted by Albert Nymeyer Wednesday 20 April 2016, 10:55:19 AM, last modified Wednesday 20 April 2016, 11:01:38 AM.
Deadline is Tuesday 26th, 11pm. WebCMS3 has been set up to allow you to Make Submission.
-
Assignment 1
Posted by Albert Nymeyer Saturday 09 April 2016, 03:54:49 PM.
Assignment 1 is available. Deadline will be made known once I organise the submit procedure.
-
Lecture notes week 4 and 5
Posted by Albert Nymeyer Wednesday 06 April 2016, 11:13:17 AM.
Week 4's Hoare lecture notes have been expanded quite a bit. Notes on verification, validation and testing have been placed in Week 5. These notes are a work in progress.
-
Welcome to the new face of SE2011
Posted by Albert Nymeyer Wednesday 30 March 2016, 02:21:17 PM, last modified Thursday 31 March 2016, 08:50:11 AM.
Hope you like the new website. Lots of things have yet to be sorted out, such as forums, the first assignment and the project. The Course Outline has remained the same as the basic material covered by the course, and the assessments, will not change.