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 (SS 2009)
M.079.0302 Wahlpflichtveranstaltungen Informatik (SS 2011)
M.079.0302 Wahlpflichtveranstaltungen Informatik (WS 2011/12)
M.079.0302 Wahlpflichtveranstaltungen Informatik (SS 2012)
M.079.0302 Wahlpflichtveranstaltungen Informatik (SS 2013)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2002/03, WS 2002/03)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2003/04, WS 2003/04)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2004/05, WS 2004/05)
M.079.2101 Softwaretechnik und Informationssysteme (SS 2006, SS 2006)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2006/07, WS 2006/07)
M.079.2101 Softwaretechnik und Informationssysteme (SS 2007, SS 2007)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2007/08, WS 2007/08)
M.079.2101 Softwaretechnik und Informationssysteme (SS 2008, SS 2008)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2008/09, WS 2008/09)
M.079.2101 Softwaretechnik und Informationssysteme (SS 2009, SS 2009)
M.079.2101 Softwaretechnik und Informationssysteme (SS 2009, SS 2009)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2009/10, WS 2009/10)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2009/10, WS 2009/10)
M.079.2101 Softwaretechnik und Informationssysteme (SS 2010, SS 2010)
M.079.2101 Softwaretechnik und Informationssysteme (SS 2010, SS 2010)
M.079.2101 Softwaretechnik und Informationssysteme (SS 2010, SS 2010)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2010/11, WS 2010/11)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2010/11, WS 2010/11)
M.079.2101 Softwaretechnik und Informationssysteme (SS 2011, SS 2011)
M.079.2101 Softwaretechnik und Informationssysteme (SS 2011, SS 2011)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2011/12, WS 2011/12)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2011/12, WS 2011/12)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2011/12, WS 2011/12)
M.079.2101 Softwaretechnik und Informationssysteme (SS 2012, SS 2012)
M.079.2101 Softwaretechnik und Informationssysteme (WS 2012/13, WS 2012/13)
M.079.2101 Software Engineering and Information Systems (SS 2013, SS 2013)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (WS 2002/03, WS 2002/03)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (WS 2008/09, WS 2008/09)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (SS 2009, SS 2009)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (SS 2009, SS 2009)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (WS 2009/10, WS 2009/10)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (SS 2010, SS 2010)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (SS 2010, SS 2010)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (WS 2010/11, WS 2010/11)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (WS 2010/11, WS 2010/11)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (WS 2010/11, WS 2010/11)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (SS 2011, SS 2011)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (SS 2011, SS 2011)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (WS 2011/12, WS 2011/12)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (WS 2011/12, WS 2011/12)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (SS 2012, SS 2012)
M.079.2102 Softwaretechnik und Informationssysteme (2009) (WS 2012/13, WS 2012/13)
M.079.2102 Software Engineering and Information Systems (SS 2013, SS 2013)
M.079.8204 Softwaretechnik und Informationssysteme-L (SS 2012, SS 2012)
M.079.8204 Softwaretechnik und Informationssysteme-L (WS 2012/13, WS 2012/13)
M.079.8204 Softwaretechnik und Informationssysteme-L (SS 2013, SS 2013)
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