Computer Science Department
CS614AV: Advanced Software Engineering – Fall 2011
Seminar Schedule
Weekly Schedule
(student paper assignments are enclosed in brackets)
- Week 1 – Aug 23,
25: Course Introduction, Model-Checking text: Chapters
1, 2 (France)
- Week 2 – Aug 30, Sep 1: Model-Checking
text: Chapters 2, 3
(France),
- Week 3 - Sep 6, 8:
Chapter 4 part
1, part 2 (Guillaume, Peter)
- Week 4 – Sep 13, 15: Model-Checking
text: Chapter
5 part 1 (Sahar,
Rehab)
- Week 5 – Sep 20, 22:
- Model-Checking
text: Chapter 5 part 2 (Tuesday
Sept 21)
- Formal
Specification Problem Solving Studio (Thursday Sept 22): Students should
attempt these questions before the class.
- Chapter
3: Exercise 3.5, 3.6, 3.14, 3.15
- Chapter
4: Exercises 4.1, 4.3, 4.5, 4.6
- Reading assignment: Software
Model Checking survey
- Week 6 – Sep 27, 29:
- Week 7 – Oct 4, 6:
·
Week
8 – Oct 11, 13: ·
- Model-Checking
text: Chapter 6 (Phillipa, Sai)
- Week 9 – Oct 18, 20:
- Model-Checking
text: Chapter
6 (Phillipa,
Sai)
- Formal
Specification Studios; Oct. 20
- Week 10 – Oct 25, 27: Presentations on Promela/Spin
(Rehab, Phillipa)
- Week 11 – Nov 1, 3: Presentations on The Java Modeling Language
(JML) (Peter, Sai)
- Week 12 – Nov 8, 10: Presentations on Java Pathfinder
(Guillaume, Sahar)
- Week 13 – Nov 15, 17:
Model checking UML Activity Models (Peter, Rehab, Phillipa), Nov. 15
Emerging Trends in Software Analysis (Guillaume, Sahar, Sai), Nov. 17
Roundtable paper discussions (students read the papers and discuss them in class)
Model checking product lines (lead discussants: Rehab, Phillipa, Sai), Dynamic analysis of adaptive software (lead discussants: Guillaume, Peter, Sahar)
- Week 14 – Nov 22, 24: Thanksgiving Break
- Week 15 – Nov 29, Dec 1: Formal specification studio; Reading Assignment: Property
patterns 1, Property
patterns 2
- Week 16 – Dec 6, 8: Presentations on UPPAAL (all students)
Comments: france@CS.ColoState.EDU
Last modified: 11/1/2011