SucheLehrveranstaltungen
Angebote für Studierende:
Bachelor-, Master-, Diplomarbeiten
Praxis-, Forschungs- und Projektmodul (mit Themenübersicht!)
Wir suchen jederzeit Studentische Mitarbeiter für unsere Forschungsprojekte
Lehrveranstaltungen im Bachelor im SS 2012:
- Softwareprojekt (15 LP, 4. Semester). Erste Vorlesung am 16. April um 12:15 Uhr im 2045 N.
- Seminar über Sicherheit im Internet (Anmeldung ab Anfang April)
- Seminar über mobile Robotik (Mehr Informationen später)
Lehrveranstaltungen im Master im SS 2012:
- Formale Methoden im Software Engineering (2+4 SWS, 8 LP)
- Software in Mechatronik und Robotik (2+4 SWS, 8 LP)
- Seminar über fortgeschrittene Themen des Software Engineering
- Seminar Werkzeuge zur vollautomatischen Analyse von Programmen
Lehrveranstaltungen für die Bachelor-Studiengänge PO ab 2008 (und für alle Studierende alter POs) im WS 2011/2012:
- Pflichtveranstaltung Softwaretechnik (5. Semester)
- Seminar über moderne Entwurfsmethoden für innovative Softwaresysteme
Lehrveranstaltungen für die Master-Studiengänge PO ab 2009 (und für alle Studierende alter POs) im WS 2011/2012:
- Softwaretechnik II (4+2 SWS, 8 LP) (ersetzt die Vorlesung Advanced Software Engineering aus dem WS 09/10, d.h. Studierende, die bereits erfolgreich an der Vorlesung Advanced Software Engineering teilgenommen haben, können nicht mehr an Softwaretechnik II teilnehmen).
- Selbstorganisierende adaptive Systeme
(2+4 SWS, 8 LP)
- Software- und Systemsicherheit (2+4 SWS, 8 LP): Ersetzt die Vorlesung Programmieren von Java Smartcards, d.h. Studierende, die bereits erfolgreich an Programmieren von Java Smartcards teilgenommen haben, können nicht mehr an Software- und Systemsicherheit teilnehmen.
- Software in Mechatronik und Robotik (2+4 SWS, 8 LP) (ersetzt die Vorlesung Softwareentwicklung für Industrieroboter, d.h. Studierende, die bereits erfolgreich an Softwareentwicklung für Industrieroboter teilgenommen haben, können nicht mehr an Software in Mechatronik und Robotik teilnehmen).
- Seminar über Systemmodellierung und Verifikation
- Seminar über fortgeschrittene Konzepte in der Robotik
Ansprechpartner:
- Abschlussarbeiten:Kurt Stenzel
- Praktika, Projekte: Kurt Stenzel
- Studentische Mitarbeiter-Jobs: Hella Seebach
- Promotion:Jan-Philipp Steghöfer
- Elitestudiengang Software Engineering: Dominik Haneberg
- Forschungsbereich Formale Methoden: Gerhard Schellhorn
- Forschungsbereich Security, Safety, Quality:Kurt Stenzel
- Forschungsbereich Robotik: Alwin Hoffmann
- Forschungsbereich Organic Computing: Hella Seebach, Jan-Philipp Steghöfer
Regelmäßig angebotene Lehrveranstaltungen im Bachelor
Der Lehrstuhl Softwaretechnik und Programmiersprachen von Prof. Reif bietet regelmäßig die fogenden Veranstaltungen im Bachelor Informatik und Bachelor Informatik und Multimedia an.
Regelmäßig angebotene Lehrveranstaltungen im Master
Der Lehrstuhl Softwaretechnik und Programmiersprachen von Prof. Reif bietet regelmäßig die fogenden Veranstaltungen im Master Informatik und Master Informatik und Multimedia an.
Kommentiertes Vorlesungsverzeichnis und Modulhandbücher
Das gesamte Lehrangebot der Informatik kann im kommentierten Vorlesungsverzeichnis SS 2011 eingesehen werden. Es gibt auch die Stundenpläne dazu.
Beachten Sie auch die Modulhandbücher der Informatik.
Lehrveranstaltungen für die Bachelor-Studiengänge PO ab 2008 (und für alle Studierende alter POs) im SS 2011:
- Pflichtveranstaltung Softwareprojekt (15 LP, 4. Semester). Erste Vorlesung am 2. Mai um 12:15 Uhr im 2045 N.
- Seminar über Sicherheit im Internet (Alle Themen sind bereits vergeben.)
- Softwaretechnik-Klausur am 20.07.2011 in Raum 2045 um 12.15-13:45 Uhr. Anmeldung über LectureReg WS2010/11 und Studis.
Lehrveranstaltungen für die Master-Studiengänge PO ab 2009 (und für alle Studierende alter POs) im SS 2011:
- Formale Methoden im Software Engineering (2+4 SWS, 8 LP): Ersetzt die frühere Vorlesung Beweisbar korrekte Software, d.h. Studierende, die bereits erfolgreich an Beweisbar korrekte Software teilgenommen haben, können nicht mehr an Formale Methoden im Software Engineering teilnehmen.
- Software in Mechatronik und Robotik (2+4 SWS, 8 LP) (ersetzt die frühere Vorlesung Softwareentwicklung für Industrieroboter, d.h. Studierende, die bereits erfolgreich an Softwareentwicklung für Industrieroboter teilgenommen haben, können nicht mehr an Software in Mechatronik und Robotik teilnehmen).
- Seminar über Mobile Robotik
- Seminar über fortgeschrittene Themen des Software Engineering
- Seminar Werkzeuge zur vollautomatischen Analyse von Programmen
- Jobs für Studentische Mitarbeiter und Tutoren - [weitere Informationen]
- Sommersemester 2012 - [weitere Informationen]
- Wintersemester 2011/12 - [weitere Informationen]
- Sommersemester 2011 - [weitere Informationen]
- Wintersemester 2010/2011 - [weitere Informationen]
- Sommersemester 2010 - [weitere Informationen]
- Wintersemester 2009/2010 - [weitere Informationen]
- frühere Semester - [weitere Informationen]