Fehlertolerierende S... Wintersemester 2013/... Einführung in d...

Software Engineering in der Praxis
3 SWS

Inhalt der Lehrveranstaltung

Dozenten: Dipl.-Inf. M. Meitner, Dipl.-Inf. M. Spisländer, Dipl.-Inf. R. Lill, Dipl.-Inf. D. Föhrweiser,

Termin

Mittwoch, 14:15–16:30, Raum 10.125
Dienstag, 12:45–15:00, Raum 10.125

Vortragsfolien und Aufgaben

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.

ThemaAufgabenWerkzeugeHinweise
Einführung Produktionsanlage
Requirements Engineering Aufgaben IBM Rational Requisite Pro Volere Template, Volere Snowcard
Objektorientierte Analyse Aufgaben Borland Together UML 2.0 Tutorial
Petri-Netze Aufgaben TINA, PIPE Petri Nets World
Zeitbehaftete Petri-Netze Aufgaben TINA
Model Checking Aufgaben NuSMV Kurzanleitung zu NuSMV, NuSMV Tutorial, NuSMV Bedienungsanleitung
Model Checking 2 Aufgaben
Objektorientiertes Design Aufgaben Borland Together
Software Metriken / Statische Analyse Aufgaben Borland Together, FindBugs Beispielcode JDKSort
Funktionales Testen Aufgaben Borland Together Codebeispiele
Strukturelles Testen Aufgaben CodeCover (Referenz) Codebeispiele, Eclipse mit CodeCover
Versionskontrolle Aufgaben Subversion Subversion Handbuch User.java

Literatur