Section Posts Last Post
SENG2011 Front Page 4 i Monday 06 June 2016, 02:39:58 PM
Assignments/Assignment 3/Assignment 3 12 i Sunday 05 June 2016, 10:54:50 PM
Assignments/Assignment 2/Assignment 2 3 i Tuesday 17 May 2016, 06:19:24 AM
Assignments/Assignment 1/Assignment 1 24 i Tuesday 26 April 2016, 04:04:07 PM
Lectures/Week 1/Introduction to Project Management (part 1) 0 Never
Lectures/Week 2/Introduction to Project Management (part 2) 0 Never
Lectures/Week 3/Project Management: Scheduling 0 Never
Lectures/Week 3/Review of Propositional and Predicate Logic (Ron's notes) 0 Never
Lectures/Week 4/Hoare Logic review and some simple looping programs (Ron's notes) 0 Never
Lectures/Week 4/Hoare Verification (my notes) 0 Never
Lectures/Week 4/Predicate Logic (UColorado) 0 Never
Lectures/Week 6/Dafny digest A: the language 0 Never
Lectures/Week 7/Dafny Digest A: the language 0 Never
Lectures/Week 8/Dafny Digest A; the language 0 Never
Lectures/Week 9/Dafny Digest B: Algorithms 0 Never
Lectures/Week 10/Dafny Digest B: Algorithms 0 Never
Lectures/Week 11/Dafny Digest B: Algorithms & Data Structures 0 Never
Lectures/Week 12/No lecture. You can practise your talk in the theatre. I will be in attendance. 0 Never
Lectures/Week 5/Verification, Validation & Testing 0 Never
Project/Project: Vampire Pty Ltd 0 Never
Project/Article: Dafny Tips’n’tricks for Java programmers (incomplete?) 0 Never
Project/Dafny - Summary from Microsoft 0 Never
Project/Dafny 0 Never
Project/Dafny Quick Reference 0 Never
Project/Demonstration readme 0 Never
Project/Demonstration script 0 Never
CATEI Course Survey 0 Never
Course Outline 0 Never

Back to top

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