Summer Term 2007 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:
As necessary and by agreement at the start of the term one of the following options:
Classes: Tuesday, 12:15 - 13:45, Room 00.151
Wednesday, 12:15 - 13:45, Room 00.151
Wednesday, 14:15 - 15:45, Room 00.151
Thursday, 12:15 - 13:45, Room 00.151
Friday, 10:15 - 11:45, Room 00.153
Lecturer: Dr.-Ing. N. Oster, Dipl.-Inf. S. Söhnlein

Exercise Sheets (Blackboard)

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

 

Material

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

 


Lab Exercises (optional):
Wednesday, 14:15 - 15:45, Room 01.153/10.125
Wednesday, 16:15 - 17:45, Room 01.153/10.125
Lecturer: Dr.-Ing. N. Oster, Dipl.-Inf. S. Söhnlein

Exercise Sheets (Lab)

Key task Sheet 1 Material RequisitePro
Sheet 2 Material Dia
Sheet 3 Material qfsm
Sheet 4 Material WinPetri, TINA
Sheet 5 Material Together (download)
Sheet 6 Material Together (download)
Sheet 7 Material JUnit, Clover

top