b+m Informatik AG, Rotenhofer Weg 20, D-24109 Melsdorf.
Fon: +49 (0)4340 404-1423. Email: w.goerigk@bmiag.de.

XING



Fall 2008 (Wintersemester 2008 / 09)

Vorlesung

Softwaretechnik zum Zertifizieren von Systemen ( LMS2-R.Ü1, Mo 08-10, Fr 16-18 )

Übung zur Vorlesung

Übungen zu Softwaretechnik zum Zertifizieren von Systemen ( 2-std. Ort und Zeit n.V. )

 

Spring 2006 (Sommersemester 2006)

Vorlesung

 Softwaretechnik zum Zertifizieren von Systemen



Spring 2005 (Sommersemester 2005)

Vorlesung

 Implementierung objektorientierter Sprachen

Übungen zur Vorlesung

 Übung zu Implementierung objektorientierter Sprachen

Übung zur Vorlesung

 Seminar: Zuverlässigkeit von Software in sicherheitskritischen Systemen (mit R. v.Hanxleden)


Main Building and Auditorium Maximum. We are sitting in the 7th floor of the Main Building.


FG 2.1.4 - Programmiersprachen und Rechenkonzepte
FG 1.1.1 - Deklarative Sprachen



Verifix - Correct Compilers -   Research Group