SENG2011 Notices
Notices
-
Vampire submission
Posted by Albert Nymeyer 9 years ago.
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 9 years ago.
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 9 years ago.
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 9 years ago.
The 3rd assignment has been made available on the website.
-
Demonstration
Posted by Albert Nymeyer 9 years ago.
A readme and a script for the demonstration of your Vampire software can be found on the project page.
-
gitlab
Posted by Albert Nymeyer 9 years ago.
Accounts have been made for everyone in seng2011 in gitlab to help with the project management.
-
Assignment 2
Posted by Albert Nymeyer 9 years ago.
Assignment 2 is available. The whole assignment should be done using the Dafny compiler/verifier.
-
Project Vampire
Posted by Albert Nymeyer 9 years ago.
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 9 years ago, last modified 9 years ago.
Deadline is Tuesday 26th, 11pm. WebCMS3 has been set up to allow you to Make Submission.
-
Assignment 1
Posted by Albert Nymeyer 9 years ago.
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 9 years ago.
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 9 years ago, last modified 9 years ago.
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.