Softwarezuverlä... Wintersemester 2005/... Software Engineering...

Software Engineering in der Praxis

Inhalt der Lehrveranstaltung

 

Praktische Übungen: (2 SWS)
Montag 14 - 16, Raum 01.153
Mittwoch 14 - 16, Raum 01.153

Erster Termin: Montag, 17.10.2005

Dozenten: Dipl.-Inf. M. Jung

Die praktischen Übungen bestehen aus:

Zu den Skripten der Vorlesung Grundlagen des Software Engineering.

Bitte beachten: Für die Rechnerräume ist ein aktivierter Rechenzentrumslogin nötig. Bitte gegebenenfalls vor der Übung an der Servicetheke (1. Stock RRZE) die Logins aktivieren lassen.

Der einleitende Vortrag enthält die wichtigsten organisatorischen Informationen, darunter insbesondere die Konditionen für eine Scheinvergabe bzw. Prüfung.

Das Leitmotiv dieses Praktikums ist die automatische Produktionsanlage.

TerminThemaFolienAufgabenWerkzeugHinweise
17./19.10.2005 Requirements Engineering pdf pdf dia Dataflow-Erweiterung
24.10.2005 OOA pdf pdf Together
02.11.2005 Petri Netze pdf pdf WinPetri
07.11.2005 Zeitbehaftete Petri Netze pdf pdf TINA
14.11.2005 Model Checking pdf pdf NuSMV Kurzanleitung zu NuSMV
21.11.2005 Model Checking (Produktionsanlage) n/a pdf NuSMV Ü1a/c,Ü1b/d/e
28.11.2005 Model Checking (Produktionsanlage) n/a n/a NuSMV
05.12.2005 OOD pdf pdf Together
12.12.2005 Metriken pdf pdf Together JDKSort
19.12.2005 Test (funktional) pdf pdf junit Quellcode
09.01.2006 Test (strukturell) pdf pdf clover Material
16.01.2006 Theorem Proving (Aussagenlogik) pdf pdf KIV Kurzanleitung
23.01.2006 Configuration Management pdf pdf CVS Bibliothek-IF
30.01.2006 Bugtracking pdf pdf bugzilla
06.02.2006 Toolchains zur einheitlichen Projektbearbeitung pdf pdf eclipse PDE-Guide

top