Dies ist ein Archiv des alten Softwaretechnik Lehrstuhls der Universität des Saarlandes. Es ist nicht länger aktuell.

  

Softwaretechnik II
Vorlesung im SS 2002

Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970

Deutschsprachige Startseite Page d'acceuil en français English home page
   Die Vorlesung (V4 + Ü2, 9 LP) ergänzt die Grundlagen aus Softwaretechnik I um fortgeschrittene Verfahren der Softwaretechnik sowie um Fragen des Managements von Softwareprojekten:
  • Moderne Programmierkonzepte (Aspektorientierte, generative und komponentenbasierte Programmierung)
  • Software-Prozesse (Testprozeß, ISO9000, Maturity-Modell, Extreme Programming)
  • Validierung (Testverfahren, Zuverlässigkeitsschätzung, Werkzeuge)
  • Verifikation (formale Spezifikation, Reifikation, Programmbeweis)
  • Analytische Qualitätssicherung (Model Checking)
  • Software-Wartung (Konfigurationsmanagement, Reengineering, Restrukturierung)
  • Projektorganisation/Organisationsstruktur, Aufwands- und Zeitschätzungen
  • Personalauswahl und -einsatzplanung, Kommunikation im Projekt, Mitarbeiterbeurteilung
  • Metriken, Projektcontrolling, Business Case und Change Request Management, Risiko- und Qualitätsmanagement
Dozenten sind Prof. Andreas Zeller und Prof. Joachim Hertel.

Vorlesungstermine: Mo + Mi 9-11, Geb. 45, HS 1 Vorlesungsbeginn: Mittwoch, 10. April.

Übung: Do 16-18, Geb. 45, HS 3 Übungsbeginn: Donnerstag, 18. April.

Prüfungen

Hier finden Sie den Prüfungsplan.

Falls Sie noch keinen Termin haben wenden Sie sich bitte an Professor Zeller.

Vorlesungsplan und Materialien

Die PDF-Folien sind für Präsentationen am Bildschirm geeignet, die PostScript-Dokumente zum Ausdrucken.
Datum Dozent Themen
Mi 10.04. Zeller Einführung [PDF] [PS]
Programmierparadigmen I: Aspektorientierte Programmierung [PDF] [PS]
Mo 15.04. Hertel Übersicht
Organisation der Software-Entwicklung [PDF]
Mi 17.04. Zeller Programmierparadigmen II: Generative Programmierung [PDF] [PS]
Mo 22.04. Hertel s.o.
Mi 24.04. Zeller Programmierparadigmen III: Komponentenbasierte Programmierung [PDF] [PS]
Mo 29.04. Hertel Software-Management [PDF]
Mo 06.05. Hertel s.o.
Mi 08.05. Zeller Web-Dienste [PDF] [PS]
Mo 13.05. Hertel Organisation [PDF]
Mi 15.05. Zeller Übersicht Formale Spezifikation [PDF] [PS]
Formale Spezifikation mit Z [PDF] [PS]
Mi 22.05. Zeller Programmbeweise mit Z [PDF] [PS]
Mo 27.05. Hertel s.o.
Mi 29.05. Zeller Programmieren mit Z [PDF] [PS]
Mo 03.06. Hertel Personal [PDF]
Mi 05.06. Zeller Model Checking [PDF] [PS]
Mo 10.06. Hertel Leitung [PDF]
Mi 12.06. Zeller Software-Metriken [PDF] [PS]
Mo 17.06. Hertel Prozessqualität [ZIP](1,3M)
Mi 19.06. Zeller Strukturelle Testverfahren [PDF] [PS]
Mo 24.06. Hertel
Mi 26.06. Zeller Funktionale Testverfahren [PDF] [PS]
Mo 01.07. Hertel Projektmanagement bei der Infor AG [PDF](4MB,neu)[ZIP](2MB,neu)
Mi 03.07. Zeller Programmverstehen [PDF] [PS]
Mo 08.07. Hertel Projektmanagement bei der Infor AG [PDF](4MB,neu)[ZIP](2MB,neu)
Mi 10.07. Zeller Restrukturierung [PDF] [PS]

Übungsblätter

Impressum Datenschutzerklärung

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/edu/se2/?lang=de · Stand: 2018-04-05 13:40