AG Vernetzte Systeme Lehre SE 3 12/13 Eintrag im Vorlesungsverzeichnis

 

Software-Entwicklung 3 (Vorlesung/Übung)

Termine und Ort

Regelmäßig Do, 08:15 - 09:45
Ort: 46-220
Erster Termin: 18.10.2012
Letzter Termin: 31.01.2013

offizielles Vorlesungsverzeichnis (Übungen)

Dozenten

Prof. Dr.-Ing. Reinhard Gotzhein

Weitere Informationen

Anzahl der SWS: 2 Std. / 1 Std.
Anzahl der ECTS Credits: 4
Unterrichtssprache: deutsch
Kennung: INF-00-03-V-2
Prüfungsnummer des Prüfungsamtes: 60003

Inhalt

• Phänomene verteilter Software-Systeme (kausale Abhängigkeit, Nebenläufigkeit, Parallelität, Interaktion, Synchronisation, Indeterminismus, Deadlock, Safety, Liveness)
• Grundlagen der Modellierung (Ereignis, Aktion, Prozessmodell, Trace, Komposition, konsistenter Schnitt)
• Grundlagen verteilter Software-Systeme (Prozess-/Thread-Konzept, Interaktion, Synchronisation, Kommunikation)
• Entwurfssprachen (UML)
• Implementierungssprachen (Java)
• Java Virtual Machine (Threads, Thread-Graph, Synchronisation, Interaktion, Kommunikation, Sockets, RMI)

Content

• phenomena of distributed software systems (causal dependency, concurrency, parallelism, interaction, synchronisation, indeterminism, deadlock, safety, liveness)
• foundations of modelling (event, action, process model, trace, composition, consistent cut)
• foundations of distributed software systems (process/thread concept, interaction, synchronisation, communication)
• design languages (UML)
• implementation languages (Java)
• Java Virtual Machine (threads, thread graph, synchronisation, interaction, communication, sockets, RMI)

Literatur

• M. Broy: Informatik Eine grundlegende Einführung, Teil III, Springer, 1994
• D. Lea: Concurrent Programming in Java Design Principles and Patterns, Addison Wesley, 1999
• T. Lindholm, F. Yellin: The Java Virtual Machine Specification (2nd Edition), Addison Wesley, 1999
• J. Magee, J. Kramer: Concurrency - State Models and Java Programs, Wiley, 2006

Erforderliche Vorkenntnisse

• Software-Entwicklung 1
• Kommunikationssysteme

Leistungsnachweis und Prüfungen

• Lösung von Übungsaufgaben (Zulassungsvoraussetzung)
• schriftliche Abschlussprüfung

Zugehörige Veranstaltungen

89-0003U Software-Entwicklung 3 (Übung)

Sonstiges

Pflichtlehrveranstaltung im Bachelor-Studiengang Informatik

---

	Übergeordnete Seite: Software-Entwicklung 3 (WiSe 12/13)
	Vorlesung Bachelor INF-00-03-V-2: 2 Std. + 1 Std. Übung

	Feedback
	Zu den Kontaktdetails des Verantwortlichen dieser Seite

	English
	This page in english. Diese Seite auf englisch.