L.079.05604 Formal methods for software modelling

Course offering details

Instructors: Prof. Dr. Heike Wehrheim

Event type: Lecture (with exercise)

Org-unit: Informatik

Displayed in timetable as: Softw.m. m.f. Meth.

Language of instruction: German

Min. | Max. participants: - | -

Small group(s)
This course is divided into the following small groups:

  • Formal methods for software modelling - Übung 1

    Prof. Dr. Heike Wehrheim

    Wed, 24. Apr. 2013 [08:00]-Wed, 17. Jul. 2013 [09:00]

    Show small group
Appointments
Date From To Room Instructors
1 Wed, 10. Apr. 2013 09:00 11:00 O 2 Prof. Dr. Heike Wehrheim
2 Wed, 17. Apr. 2013 09:00 11:00 O 2 Prof. Dr. Heike Wehrheim
3 Wed, 24. Apr. 2013 09:00 11:00 O 2 Prof. Dr. Heike Wehrheim
4 Wed, 8. May 2013 09:00 11:00 O 2 Prof. Dr. Heike Wehrheim
5 Wed, 15. May 2013 09:00 11:00 O 2 Prof. Dr. Heike Wehrheim
6 Wed, 22. May 2013 09:00 11:00 O 2 Prof. Dr. Heike Wehrheim
7 Wed, 29. May 2013 09:00 11:00 O 2 Prof. Dr. Heike Wehrheim
8 Wed, 5. Jun. 2013 09:00 11:00 O 2 Prof. Dr. Heike Wehrheim
9 Wed, 12. Jun. 2013 09:00 11:00 O 2 Prof. Dr. Heike Wehrheim
10 Wed, 19. Jun. 2013 09:00 11:00 O 2 Prof. Dr. Heike Wehrheim
11 Wed, 26. Jun. 2013 09:00 11:00 O 2 Prof. Dr. Heike Wehrheim
12 Wed, 3. Jul. 2013 09:00 11:00 O 2 Prof. Dr. Heike Wehrheim
13 Wed, 10. Jul. 2013 09:00 11:00 Termin entfällt Prof. Dr. Heike Wehrheim
14 Wed, 17. Jul. 2013 09:00 11:00 O 2 Prof. Dr. Heike Wehrheim
Contained in modules
Module
M.079.0302 Wahlpflichtveranstaltungen Informatik ()
M.079.0302 Wahlpflichtveranstaltungen Informatik ()
M.079.0302 Wahlpflichtveranstaltungen Informatik ()
M.079.0302 Wahlpflichtveranstaltungen Informatik ()
M.079.0302 Wahlpflichtveranstaltungen Informatik ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Softwaretechnik und Informationssysteme ()
M.079.2101 Software Engineering and Information Systems ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Softwaretechnik und Informationssysteme (2009) ()
M.079.2102 Software Engineering and Information Systems ()
M.079.8204 Softwaretechnik und Informationssysteme-L ()
M.079.8204 Softwaretechnik und Informationssysteme-L ()
M.079.8204 Softwaretechnik und Informationssysteme-L ()
Course specific exams
Description Date Instructors Mandatory
1. Mündliche Prüfung Time tbd Yes
2. Mündliche Prüfung (2. Termin) Time tbd Yes
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  •  
Instructors
Prof. Dr. Heike Wehrheim