Ferien-Akademie 2002

Überblick

Die Ferienakademie soll der Motivation und der Förderung begabter und interessierter Studierender dienen. In jedem Kurs werden während der Ferienakademie 12 bis 14 halbtägige seminarähnliche Sitzungen abgehalten. Dabei wird das jeweilige Kursthema durch Vorträge der Dozenten und der Kursteilnehmer sowie Diskussionen intensiv und gründlich behandelt. Von den Teilnehmern wird bei der Vorbereitung und Durchführung der Kurse eine aktive Beteiligung erwartet. Die Kurse finden im angegebenen Zeitraum zeitlich parallel in verschiedenen Berggasthöfen des Sarntales statt, so dass eine Teilnahme nur an einem Kurs möglich ist. Fahrt- und Aufenthaltskosten für die Teilnehmer werden aus Spendenmitteln getragen.

Weitere Informationen finden Sie auf den Seiten der Ferien-Akademie, insbesondere eine Liste der Kurse (die grundsätzlich den Studierenden aller drei Hochschulen offen stehen).

Kurs 1: Methoden der Softwaretechnik

Dozenten:

• Univ.-Prof. Dr. M. Broy, Institut für Informatik, Technische Universität München
• Univ.-Prof. Dr. J. Ludewig, Institut für Informatik, Universität Stuttgart

Teilnehmen können ca. 14 Studenten im 1. Studienjahr, Fachrichtungen Informatik, Softwaretechnik, Wirtschaftsinformatik, Mathematik.

Bilder

• Teil 1
• Teil 2
• Teil 3
• Teil 4

Themen

Die Teilnehmer haben einzelne Themen vorbereitet, darüber in der Ferienakademie Vorträge gehalten und vor allem intensiv diskutieren. Die Auswahl der Themen orientiert sich an der sd&m-Konferenz "Pioniere des Software Engineerings", 2001, Zugang [http://www.sdm.de] über den Link "Technik" oder direkt [http://www.sdm.de/dt/tec/eve/2001/2001.htm].

Teilnehmer und ihre Themen

• Bernhard Vesenmayer: Algebraische Spezifikation
  Folien [pdf]
   
• Christian Wachinger: Axiomatische Semantik und Zusicherungen
   
• Stanislav Traykov: Grundlagen VDM, formale Spezifikation
  Jones, C. B., Systematic Software Development using VDM, Prentice/Hall International, 1990
  Jones, C. B., Systematic Software Development using VDM: Teaching Notes, 1990
  Hayes, I. J., Jones, C. B., Nicholls, J. E.,Understanding the Differences between VDM and Z, University of Manchester Technical Report UMCS-93-8-1,1993
  Folien und Links
   
• Nico Alexander Beyer: Zusicherungen, VDM für Fortgeschrittene
  Folien [pdf]
   
• Markus Hermannsdörfer: Strukturierte Programmierung
   
• Tobias Zimmermann: Beispiele zur strukturierten Programmierung
   
• Bertram Früh: Darstellung der Software-Konzeption
  DeMarco, T.: Structured Analyses and System Specification. Yourdon Inc, 1978.
  Schoman, K.; Ross, D.: Structured Analysis for Requirements Specification. IEEE Transactions on Software Engineering Vol. 3, No. 1, 1977, pp. 6 - 15.
  Folien [pdf] und Notizen [pdf]
   
• Anika-Christiane Ehrens: Entity-Relationship-Modellierung
   
• Holger Röder: Strukturierung
  Parna, D.: On the Criteria to Be Used in Decomposing Systems into Moduls. Communications of the ACM Vol. 15, No. 12, 1972, pp. 1053 - 1058.
  Brooks et al.: the Functional Structure of OS/360. IBM Systems Journal Vol 5, No. 1, 1966, pp. 2- 51.
  Fotos und Informationen
   
 
• Jie Tang: Objektorientierte Analyse, UML
  Folien [pdf]
   
• Lorenz König: Concept Maps und Storyboards, Fallstudie Tankstelle
   
• Olha Danylevych: Modellierung
  Jackson, M.: Constructive Methods of Program Design. Lecture Notes in Computer Science, Vol. 44, Springer-Verlag 1996, pp. 236 - 262.
  Gamma et al.: Design Patterns: Abstraction and Reuse of Object-Oriented Design. Proceedings ECOOP'93, Lecture Notes in Computer Science, Vol. 707, Springer-Verlag 1993, pp. 406 - 431.
  Folien [pdf]
   
• Gerald Georg Koch: Visualisierung
  Kay, A.: Personal Dynamic Media. IEEE Computer Vol. 10, No. 3 ,1997, pp. 31 - 42.
  Fotos und Informationen
   
• Alexander Rasch: Externe Validierung mit Reviews
  Fagan, M.: Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal Vol. 15, No. 3, 1976, pp. 182 - 211.
   
• Ralph Oehler: Produktivität und Wiederverwendung
  Boehm, B.: Software Engineering Economics. IEEE Transactions on Software Engineering Vol. 10, No. 1, 1994, pp. 4 - 21.
   

Teilnehmer aus Nürnberg und Stuttgart

Von links nach rechts: Holger Röder, Ralph Oehler, Olha Danylevych, Bertram Früh, Gerald Koch

Literaturrecherche

Neben der in der Bibliothek verfügbaren Literatur gibt es für Zeitschriften unter anderem die folgenden Quellen:

• Die IEEE Computer Society bietet in ihrer Digital Library Zeitschriftenartikel an.
• Auch die Zeitschriften der ACM sind verfügbar als Digital Library.
• Ältere Bände bieten die Institutsbibliothek und die Universitätsbibliothek an, teilweise können die Bände über die Magazinausleihe entliehen werden.

Frei zum Download als Volltext sind Artikel der Zeitschriften von ACM und IEEE ab ca. 1988 - aber nur vom Universitätsnetz aus.