Header

KIS





Software-Entwicklung 3 (Vorlesung)
Titel (engl.)
Software Development 3
Termine und Ort

Regelmäßige Termine:
Liste mit Einzelterminen ausblenden Do, 08:15 - 09:45 46-220 Beginn: 20.10.2011 14 Termine
Einzeltermine: 20.10.2011
27.10.2011
03.11.2011
10.11.2011
17.11.2011
24.11.2011
01.12.2011
08.12.2011
15.12.2011
05.01.2012
12.01.2012
19.01.2012
26.01.2012
02.02.2012
Einmalige Termine
Pfeil Mi (29.02.2012), 10:00 - 12:00, 46-220
Kommentar: Fragestunde SE3
Dozenten
Pfeil Prof. Dr.-Ing. Reinhard Gotzhein
Weitere Beteiligte
Igel
Weitere Informationen
Pfeil Anzahl der SWS: 2 Std. / 1 Std.
Pfeil Anzahl der ECTS Credits: 4
Pfeil Unterrichtssprache: deutsch
Pfeil Kennung: INF-00-03-V-2
Pfeil 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
Voraussetzungen
  • 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
Hörerkreise
1GI Optional
3DAI Pflicht
3DI Pflicht
3DTI Pflicht
3GI Pflicht
4DAI Pflicht
4DI Pflicht
5DM-W Optional
BWIINF3 Pflicht