12407 - Einführung in die Nebenläufigkeit Modulübersicht

Modulnummer: 12407 - Modul nicht mehr im Angebot ab SS 2010
Modultitel:Einführung in die Nebenläufigkeit
  Introduction into Concurrency
Einrichtung: Fakultät 1 - Mathematik, Naturwissenschaften und Informatik
Verantwortlich:
  • Prof. Dr.-Ing. Heiner, Monika
Lehr- und Prüfungssprache:Deutsch
Dauer:1 Semester
Angebotsturnus: jedes Sommersemester
Leistungspunkte: 8
Lernziele:Die Studierenden erwerben Verständnis der grundlegenden Begriffe der Petrinetztheorie
und ein tieferes Verständnis der Grundprinzipien nebenläufiger Systeme anhand von
Petrinetzmodellen. Darüberhinaus lernen die Studierenden, wie diese Modelle zur
systematischen Konstruktion von nebenläufiger Software verwendet werden können.
Inhalte:Grundlagen: Petrinetze zur Modellierung kausaler Beziehungen und damit anschaulichen
Beschreibungen von Nebenläufigkeit, Synchronisation und Kommunikation; typische
sprachliche Konstrukte zur Programmierung von Nebenläufigkeit; klassische Probleme der
Sperr- und Ereignissynchronisation.
Empfohlene Voraussetzungen:Kenntnisse in objektorientierter Programmierung; Softwaretechnik, Grundlagen
Zwingende Voraussetzungen:keine
Lehrformen und Arbeitsumfang:
  • Vorlesung / 4 SWS
  • Übung / 2 SWS
  • Selbststudium / 150 Stunden
Unterrichtsmaterialien und Literaturhinweise:Wird zu Beginn ausgegeben.
Modulprüfung:Keine Angabe - Angabe ab Wintersemester 2016/17 erforderlich!
Prüfungsleistung/en für Modulprüfung:1. Belege unbenotet (bearbeitete Übungsblätter)
2. Klausur benotet, falls 1. bestanden
Bewertung der Modulprüfung:Prüfungsleistung - benotet
Teilnehmerbeschränkung:keine
Zuordnung zu Studiengängen:
  • keine Zuordnung vorhanden
Bemerkungen:- Studiengang Informatik Diplom, Säule „Grundlagen der Informatik“, Niveaustufe 400
- Studiengang Informatik Master, Komplex „Grundlagen der Informatik“, Niveaustufe 400
Veranstaltungen zum Modul:keine
Veranstaltungen im aktuellen Semester:
  • keine Zuordnung vorhanden
Nachfolgemodul/e: Auslaufmodul ab: 04.10.2010