Lehrveranstaltungen: Institut für Informatik

Transkript

1 Lehrveranstaltungen: Institut für Informatik Informationsmanagement und Informationstechnologie (IMIT) und Wirtschaftsinformatik (Winf) Wintersemester 2011/12 1

2 Software Systems Engineering Software Systems Engineering Veranstaltungen: Wintersemester 2011/12 Prof. Dr. Klaus Schmid , WiSe 11/12 Prof. Dr. Klaus Schmid 2

3 Software Systems Engineering Informationsveranstaltung: IMIT Veranstaltungen Übersicht der Veranstaltungen Bachelor Pflichtveranstaltungen Grundlagen der Informatik erster Termin: , 9 c.t. H3 Programmieren in Java erster Termin: , 14 c.t. H3 Wahlveranstaltungen (B.Sc. / M.Sc.) Seminar Software Engineering & Seminar: Systematische Entwicklung Wissensbasierter Systeme Besprechung: , 14 c.t., C213 Seminar Unterrichten in der Informatik 19/ (hat stattgefunden) Grundpraktikum Softwaretechnik / Informationssysteme Prozesse und Management des SE Beginn: , 10 c.t. C213 Deduktionsmethoden und ihre Anwendungen in der Software Entwicklung Beginn: , 10 c.t. C , WiSe 11/12 Prof. Dr. Klaus Schmid 34

4 Software Systems Engineering Informationsveranstaltung: IMIT Veranstaltungen 2 SWS = 3 ECTS Bachelor & Master-Seminar: Software Engineering Servicetechnologien Diese Veranstaltung ist offen für: Service-orientierte Systeme IMIT & WINF Cloud-Computing Teilnehmerzahl ist begrenzt: (max. 8) Bachelor & Master-Seminar: Systematische Entwicklung Wissensbasierter Systeme Beschreibungssprachen für Services Diese Veranstaltung ist offen für: Integration von UML und OWL WINF Integration von OWL und Teilnehmerzahl ist begrenzt: (max. 4) Servicebeschreibungen Gemeinsame Vorbesprechung: , 14 c.t., C , WiSe 11/12 Prof. Dr. Klaus Schmid 45

5 Software Systems Engineering Informationsveranstaltung: IMIT Veranstaltungen Master: Prozesse und Management des Software Engineering Aufbauend auf Veranstaltung: Grundlagen des Software Engineering Prozessbeschreibungen und Vorgehensmodelle Reifegradmodelle Projektmanagement in Softwareprojekten Empirisches Software Engineering 2V+2Ü = 6 ECTS Vorlesungsbeginn: , 10 c.t. C213 Neuer Übungstermin wird in der Vorlesung besprochen , WiSe 11/12 Prof. Dr. Klaus Schmid 57

6 Software Systems Engineering Informationsveranstaltung: IMIT Veranstaltungen Master: Deduktionsmethoden und ihre Anwendungen in der Software Entwicklung Aufbauend auf Veranstaltung: Grundlagen des Software Engineering Deduktionstechniken Grundlagen von Aussagenlogik und Prädikatenlogik Theorie zur Automatisierung von Logik Aktuelle Methoden zur Automatisierung von Logik In WINF und IMIT: Wählbar im Gebiet Software Engineering (M.Sc.) In WINF zusätzlich wählbar im Bereich Methodische Grundlagen (M.Sc.) Vorlesungsbeginn: , 10 c.t. C213 2V+1Ü = 5 ECTS , WiSe 11/12 Prof. Dr. Klaus Schmid 67

7 Lehre WiSe 2011/12 Erklärungsfähige Softwaresysteme Dr. Lena Wiese 0-7 Überblick

8 Datenbanken (Informatik III) Vorlesung (Dr. Lena Wiese): Dienstag h, Raum: A9 Spl Übungen (Dennis Stender, M. Sc., Pascal Reuß, B. Sc.): Entweder Dienstag 12:00 13:30 A9 Spl, oder Donnerstag 12:00 14:00 C 213 Spl oder Donnerstag 14:00 16:00 C 213 Spl 1. Klausur , 9:00-11:30 Uhr, A9 Spl (2. Klausur im März) Themen: Aufbau und Entwurf von Datenbanken Relationales Datenmodell und Relationenalgebra, Normalisierung SQL,,Transaktionen, XML, Programmiersprachenanbindung... heute kommt fast keine kommerzielle Softwareanwendung ohne Datenbank aus! 0-8 Überblick

9 Praktika (DBAE und WI-Praktikum) Verantwortlich: Dr. Lena Wiese, Dennis Stender (M.Sc.) Einführungstermine im Januar weitere Termine: Blockveranstaltung nach Vorlesungsende im Anschluss: selbstständige Projektentwicklung Benotung anhand erfolgreicher Umsetzung der Projektspezifikation Themen: Einführung in Datenbankadministration und Datenbanknutzung Entwurf eines Softwareprojekts mit Datenbankanbindung technische Umsetzung des Projektes in einer Kleingruppe zum Beispiel: Entwicklung eines Web-Shops mit Waren- Datenbank und Web-Interface 0-9 Überblick

10 Seminare Verantwortlich: Dr. Lena Wiese jeweils ein Bachelor- und ein Masterseminar zu Themen der Datensicherheit: Datensicherheit im Cloud-Computing: theoretische Grundlagen für logische Sicherheitseigenschaften bei Datenauslagerung Aktuelle Trends in der Kryptographie: zahlentheoretische Grundlagen zu neuen kryptographischen Verfahren (zum Beispiel durchsuchbare Verschlüsselung) Vergabe noch offener Themen per Überblick

11 Lehre WiSe 2011/12 Intelligente Informationssysteme Prof. Dr. Klaus-Dieter Althoff Raum A8 Spl Intelligente Informationssysteme I - 11 Stand:

12 Vorlesungen Fallbasierte Systeme und Anwendungen [MSc] Was: Vorlesung + Übung [3522/3523] Wann: VL Di 10:45-12:25 Uhr + Üb Di 12:30-13:15 Wo: jeweils D017 Spl Starttermin: Wissensbasierte Systeme [BSc] Was: Vorlesung + Übung [3510/3511] Wann: VL Di 13:30-16:00 Uhr + Üb Di 16:00-17:30 Wo: jeweils D017 Spl Starttermin: Intelligente Informationssysteme I - 12

13 Seminare Seminar-Reihe Intelligente Informationssysteme BSc / MSc IMIT / WINF [3519/3520] Thema: Neue Methoden des Case-Based Reasoning Vorbesprechung für alle Seminare mit Themenvergabe Was: Themenvorstellung/Themenvergabe Wann: :00-13:30 Uhr C135 Spl Wo: Blockseminar, März 2012, DJH Goslar Im Learnweb können Sie sich für Seminarthemen bewerben, indem sie für das jeweilige Thema abstimmen. Dies gibt uns eine Idee wie viele Konflikte bei der Themenvergabe auftreten werden. Die Ergebnisse werden immer angezeigt, so dass Sie sehen, wenn es ein Konflikt gibt. In dem Fall überlegen Sie sich bitte, welche Alternativthemen für Sie in Frage kommen. Intelligente Informationssysteme I - 13