Summer Term 2006 Software Systems 3

Foundations of Software Engineering

Content of lectures

Lectures:
Tuesday, 10 - 12, Room H4
Thursday, 10 - 12, Room H4
Lecturer: Prof. Dr. F. Saglietti

Lecture slides

Overview print Part XII print
Part I print Part XIII print
Part II print Part XIV print
Part III print Part XV print
Part IV print Part XVI print
Part V print Part XVII print
Part VI print Part XVIII print
Part VII print Part XIX print
Part VIII print Part XX print
Part IX print Part XXI print
Part X print Part XXII print
Part XI print Part XXIII print
print: printer-friendly version

 


Blackboard Exercises:
Classes: Tuesday, 12:15 - 13:45, Room 00.151
Thursday, 12:15 - 13:45, Room 00.151
Friday, 10:15 - 11:45, Room 2.037
Lecturer: Dipl.-Inf. N. Oster

Exercise Sheets (Blackboard)

Sheet I Sheet IV Sheet VII
Sheet II Sheet V Sheet VIII
Sheet III Sheet VI

 

Material

* state classes graph and results of analysis
* faulty version
* CTL-expressions
* Z-model suggestion (Z-Manual)

 


Lab Exercises:
Monday, 12:15 - 13:45, Room 01.153
Monday, 14:15 - 15:45, Room 01.153
Tuesday, 16:15 - 17:45, Room 01.153
Lecturer: Dipl.-Inf. N. Oster

Exercise Sheets (Lab)

Key task Sheet 1 Material
Sheet 2 Material
Sheet 3 Material
Sheet 4 Material TINA
Sheet 5 Material
Sheet 6 Material
Sheet 7 Material

 


top