Softwareentwicklung und Verifikation

Willkommen bei der Arbeitsgruppe Softwareentwicklung und Verifikation des Instituts für Informatik am Fachbereich Mathematik und Informatik der Westfälischen Wilhelms-Universität Münster. Wir beschäftigen uns mit systematischen Methoden zum Entwurf, zur Implementierung und zur Validierung von Softwaresystemen. Forschungsschwerpunkt sind mathematik-basierte Methoden zur Verifikation und Analyse. Unser Angebot in der Lehre spannt einen Bogen von den Grundlagen im Bereich Semantik und Verifikation von Programmen bis zur praktischen Softwaretechnik. Um sich genauer über unsere Aktivitäten zu informieren, folgen Sie bitte den Links oben auf dieser Seite.

Aktuelle Hinweise

• Wir suchen noch Teilnehmer für das Projektseminar Erweiterung des Isabelle Collections Frameworks im SS 2010. Auch im Seminar Ausgewählte Themen aus der Theorie der Programmierung sind noch einige Plätze frei. Nähere Informationen entnehmen Sie bitte den entsprechenden Webseiten.
• Im Sommersemester 2010 bieten wir neben der Vorlesung Theorie der Programmierung, ein (Pro-) Seminar sowie ein Projektseminar an. Die Vorbesprechungen für das (Pro-)Seminar und das Projektseminar finden am Montag, dem 1. Februar 2010, statt. Nähere Informationen entnehmen Sie bitte den entsprechenden Webseiten, die von unserer Lehrangebotsseite aus erreichbar sind.
• Informationen zu den Sprechstundenterminen von Prof. Müller-Olm finden Sie auf seiner Webseite.
• Scheine zu Veranstaltungen unserer Arbeitsgruppe werden von Frau Giesbert, Raum 104, Montags bis Donnerstags zwischen 9:00 Uhr und 13:00 Uhr ausgegeben.

English version of this page.
Peter Lammich (Wissenschaftlicher Mitarbeiter)
N.N. (Sekretariat)

-->

• Aktuelles
• 
• Wochenplan
• Stellen FB10
• Stellen extern

• Studieren:
• Prüfungsamt
• BSc/MSc Hinweise
• Prüfungsordnung BSc Informatik
• Fachspezifische Bestimmungen 2-Fach BSc (Lehramt)
• HIS/LSF/Vorlesungen

• Service
• Veranstaltungen buchen
• Ü-Leiter Bewerbung
• Rechnerwartung
• Personalverzeichnis
• Wegweiser

• Arbeitsgruppen
• Computer Vision and Pattern Recognition
• Datenbanken¸ Informationssysteme und Workflow-Management
• Parallele und Verteilte Systeme (PVS)
• Routing in selbstorg. Funknetzwerken (DIRC)
• Softcomputing
• Softwareentwicklung und Verifikation
• Visualisierung und Computergrafik
• Didaktik der Informatik

• :: Seite drucken
• :: Seite empfehlen
• :: Seite kommentieren, Link öffnet neues Fenster