Software Development... Winter Term 2009/10 Introduction to Cryp...

Important Information

The exam schedule is finalized.

Software Engineering in der Praxis
3 SWS

Content of practical course

Module

Diese Lehrveranstaltung kann (unter anderem) als Teil folgender Module besucht werden:

Termine

Es wird folgender Termin angeboten:
Montag12:15–14:45Raum 10.125

Bei Bedarf können mit den Teilnehmern auch andere Termine ausgemacht werden.

Die Vorbesprechung findet am 19.10.2009, 12:15–14:45 Uhr im Raum 10.125 statt.

Dozenten: Dipl.-Inf. F. Pinte, Dipl.-Inf. M. Spisländer

Vortragsfolien und Aufgaben

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 Winpetri Petri Nets World
Zeitbehaftete Petri-Netze Aufgaben TINA
Model Checking Aufgaben NuSMV Kurzanleitung zu NuSMV, NuSMV Tutorial, NuSMV Bedienungsanleitung
Model Checking II 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 BibIF.tgz

Literatur

Exam

Oral and practical exams will take place between 07.04.2010–09.04.2010. We kindly ask for a registration:


top