AG Vernetzte Systeme Education SE 3 07/08 Eintrag im Vorlesungsverzeichnis

 

Eintrag im Vorlesungsverzeichnis

Software-Entwicklung 3 (Vorlesung/Übung)

Termine und Ort

Regelmäßig Mi, 08:15 - 09:45
Ort: 42-115
Erster Termin: 24.10.2007
Letzter Termin: 13.02.2008

offizielles Vorlesungsverzeichnis (Übungen)

Dozenten

Prof. Dr.-Ing. Reinhard Gotzhein

Weitere Informationen

Anzahl der SWS: 2 Std. / 1 Std.
Unterrichtssprache: deutsch
Lehrveranstaltungsnummer: 89-0003

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, FSP)
• Implementierungssprachen (Java)
• Entwicklungswerkzeuge (LTSA)
• 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, FSP)
• implementation languages (Java)
• development tools (LTSA)
• 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

---

	Superordinated page: Software-Entwicklung 3 (WiSe 07/08)
	Vorlesung Bachelor 89-0003: 2 Std. + 1 Std. Übung

	Feedback
	Email to the person in charge of this page (kraemer@informatik.uni-kl.de)

	Deutsch
	This page in german. Diese Seite auf deutsch.