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

Software Engineering in der Praxis
für Informatiker / Wirtschaftsinformatiker

Inhalt der Lehrveranstaltung

Interessenten bitten wir um eine elektronische Anmeldung an Benedikt Sixt, M. Sc..
Bitte teilen Sie uns dabei mit:

Praktikum

Termine

Donnerstag 14:15–15:45 Raum: 10.125-113

Dozent: Benedikt Sixt, M. Sc., Xiaochen Wu, M. Sc.

Vortragsfolien und Aufgaben

-->
ThemaAufgabenWerkzeugeHinweise
Einführung Produktionsanlage
Requirements Engineering Blatt 1 IBM Rational Requisite Pro Volere Template, Volere Snowcard
Petri-Netze Blatt 2 TINA, PIPE Petri Nets World
Zeitbehaftete Petri-Netze Blatt 3 TINA
Objektorientierte Analyse Blatt 4 Borland Together UML 2.0 Tutorial
Model Checking Blatt 5 NuSMV Kurzanleitung zu NuSMV, NuSMV Tutorial, NuSMV Bedienungsanleitung
Model Checking 2 Blatt 6 NuSMV Kurzanleitung zu NuSMV, NuSMV Tutorial, NuSMV Bedienungsanleitung
Objektorientiertes Design Blatt 7 Borland Together