Uni-Logo

Softwaretechnik

LecturerProf. Dr. Peter Thiemann
Time and PlaceMo 14-16, HS 00-026, Geb. 101
Do 12-13, HS 00-026, Geb. 101
Assistants Manuel Geffken

Matthias Keil

Exercise

Time and PlaceDo 13-14, HS 00-026, Geb. 101
Tutors Betim Musa (musab@info...)
Sprechstunde: Di 13-14, Raum 079-00-018, Geb 079
Tobias Wieland (wielandt@info...)
Sprechstunde: Do 15-16, Raum 079-00-018, Geb 079

Exam

Time and PlaceFriday, 13.09.2013, 9:00 - 10:30
AidsTwo sheets (four pages) A4 of handwritten notes. Nevertheless, the kind of exercises will be comparable to previous exams.

News

09.04.2014The post-exam review (Klausureinsicht) will take place on Monday, April 28., 9am-11am, building 079, room 00-019.
27.09.2013The post-exam review (Klausureinsicht) will take place on Monday, October 7., 10am-12noon, building 079, room 00-019.
04.07.2013Course evaluation!

Please fill in this form (till Thursday, 2013-07-11): Course evaluation for Softwaretechnik 2013.
18.06.2013 Please participate in our online evalutation regarding the exercise sheet submission process.
30.04.2013From this week, please submit your exercise sheets in the "Softwaretechnik" mail box in building 051, EG.
25.04.2013Please check whether you are registered with Daphne for SWT 2013. If not, please register. We have started assigning tutors to the already registered students.
8.04.2013Forum for the discussion of questions and problems.

Slides

DateSlidesVideosMaterial
2013-04-15Einführung Organisatorisches
2013-04-18Prozessmodellevideo
2013-04-22Von Anforderungen zur DefinitionvideoDocumenting Use Cases, CruiseControl.mch
2013-04-25Gastvortrag Oliver Ciupke: SCRUM
2013-04-29The B Specification Methodvideo
2013-05-02Object-Oriented Analysis / UML Diagramsvideo
2013-05-06Design Patterns
2013-05-13Design - An Overviewvideo
2013-05-16Physical Design - Components and Middlewarevideo
2013-05-27Model Driven Engineering and Metamodelingvideo
2013-06-03 [Introduction to Testing, Debugging, and Specification], Testing I Eclipse Example Project
2013-06-06Testing IIvideoExample Code
2013-06-10 Debugging I video
2013-06-13 Debugging II (Updated 2013-06-12) video
2013-06-17 Design by Contract (Updated 2013-06-24) video
2013-06-20 Design by Contract (cont): Hoare Logic video
2013-06-24 Program Verification video
2013-06-27Gastvortrag Oliver Ciupke: Kostenschätzung
2013-07-01OCL - Object Constraint Language (Updated 2013-07-04)
2013-07-04Types I - Motivationvideo
2013-07-08Types II - Formalizationvideo
2013-07-11Gastvortrag Matthias Neubauer: Entwicklung sicherheitsgerichteter Software nach IEC 61508
2013-07-15 Types II - Featherweight Java, Implementation video
2013-07-18Fragen, Vorlesungsauswertung, Übung

Exercises

Exercise sheet 1 is linked to below. Other exercise sheets are available via Daphne.

DateDue dateSheetMaterial
2013-04-182013-04-25ex01.pdf
2013-04-252013-05-02ex02.pdf
2013-05-022013-05-10ex03.pdf
2013-05-082013-05-16ex04.pdfDesign Patterns (cont)
2013-05-162013-05-30ex05.pdf
2013-05-292013-06-06ex06.pdf
2013-06-062013-06-13ex07.pdf
2013-06-132013-06-20ex08.pdfex08-example.xml, ex08-parser.c, ex08-parser.zip
2013-06-202013-06-27ex09.pdf
2013-06-272013-07-04ex10.pdf
2013-07-042013-07-11ex11.pdf
2013-07-112013-07-18ex12.pdf

Course Management

Please register with the Daphne course management system before submitting any exercises.

Literature

General

  1. Steven McConnell. Code Complete, 2ed.. Microsoft Press.
  2. Object-Oriented Software Engineering Using UML, Patterns, and Java (3rd Edition). Bernd Bruegge and Allen H. Dutoit. Prentice Hall.
  3. Ian Summerville. Software Engineering. Pearson Studium.
  4. Helmut Balzert. Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering. Spektrum Akademischer Verlag.
  5. Bernd Oestereich. Analyse und Design mit UML 2.3. Oldenbourg Verlag, München.

Specific

  1. Erich Gamma, Richard Helm, Ralph Johnson and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley. 1994.
  2. Martin Fowler. UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley. 2003.
  3. Steve Schneider. The B-Method: an Introduction, Palgrave Cornerstones in Computer Science. 2001.
  4. Thomas Stahl, Markus Völter. Model-Driven Software Development. Wiley & Sons. 2006.
  5. Anneke Kleppe, Jos Warmer. MDA Explained: The Model Driven Architecture: Practice and Promise. Pearson. 2003.
  6. Stephen J. Mellor, Axel Uhl, Kendall Scott, Dirk Weise. MDA Distilled: Solving the Integration Problem with the Model Driven Architecture. Pearson. 2004.

Additional Information

Gastvortrag Matthias Neubauer: Entwicklung sicherheitsgerichteter Software nach IEC 61508

Die von der Internationalen Electronical Commission (IEC) herausgegeben Norm IEC 61508 mit dem Titel "Funktionale Sicherheit sicherheitsbezogener elektrischer/elektronischer/programmierbarer elektronischer Systeme" wird überall dort eingesetzt, wo Systeme, die eine Sicherheitsfunktion umsetzen und deren Ausfall ein maßgebliches Risiko für Mensch oder Umwelt bedeutet, entwickelt werden.

Der Vortrag gibt eine Einführung in die Norm IEC 61508, erläutert Anforderungen an den Softwareentwicklungsprozess von sicherheitsbezogener Software solcher Systeme und präsentiert Anwendungsbeispiele aus der Entwicklungspraxis von Sicherheitssensoren der Firma SICK AG.