Toggle navigation
WebCMS3
Search Courses
Login
SENG2011
16s1
Home
Course Outline
Lectures
Assignments
Project
Forums
Timetable
Groups
Course Survey
Toggle Menu
Resources
Lectures
Lectures
Week 1
29/02/2016 - 06/03/2016
Introduction to Project Management (part 1)
Week 2
07/03/2016 - 13/03/2016
Introduction to Project Management (part 2)
Week 3
14/03/2016 - 20/03/2016
Review of Propositional and Predicate Logic (Ron's notes)
Project Management: Scheduling
Week 4
21/03/2016 - 27/03/2016
Hoare Logic review and some simple looping programs (Ron's notes)
Predicate Logic (UColorado)
Hoare Verification (my notes)
Week 5
03/03/2016 - 10/04/2016
Verification, Validation & Testing
Week 6
11/04/2016 - 17/04/2016
Dafny digest A: the language
Week 7
18/04/2016 - 24/07/2016
Dafny Digest A: the language
Week 8
25/04/2016 - 01/07/2016
Dafny Digest A; the language
Week 9
02/05/2016 - 08/05/2016
Dafny Digest B: Algorithms
Week 10
09/05/2016 - 15/05/2016
Dafny Digest B: Algorithms
Week 11
16/05/2016 - 22/05/2016
Dafny Digest B: Algorithms & Data Structures
Week 12
23/05/2016 - 29/05/2016
No lecture. You can practise your talk in the theatre. I will be in attendance.
Week 13
30/05/2016 - 05/06/2016
There are no resources under this heading.
Week 14
06/06/2016 - 12/06/2016
There are no resources under this heading.
Back to top
SENG2011 16s1 (Software Engineering Workshop 2A)
is powered by
WebCMS3
CRICOS Provider No. 00098G
