Summer Term 2008 Software Systems 3

Foundations of Software Engineering

Content of lectures

neuWritten examination on September 29th, 2008neu

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
Wednesday, 12:15 - 13:45, Room 00.151
Wednesday, 12:15 - 13:45, Room 10.150
Thursday, 12:00 - 13:30, Room 00.151
Thursday, 12:15 - 13:45, Room 10.150
Lecturer: Dr.-Ing. N. Oster, Dipl.-Inf. M. Spisländer

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):
Room: 10.125
Lecturer: Dr.-Ing. N. Oster, Dipl.-Inf. M. Spisländer

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