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: |
|
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: |
|
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: |
|
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: |
|
Nachfolgemodul/e: | Auslaufmodul ab: 04.10.2010 |