|
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
|
