Fault-Tolerant Softw... Winter Term 2013/14 Introduction to Cryp...

Software Engineering in Practice
for Informatiker / Wirtschaftinformatiker

Content of practical course

Interested students are kindly asked to register by sending an e-mail to Benedikt Sixt, M. Sc..

Please tell us your:



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

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

Presentation slides and exercise sheets

Introduction Production Cell
Requirements Engineering Sheet 1 IBM Rational Requisite Pro Volere Template, Volere Snowcard
Petri Nets Sheet 2 TINA, PIPE Petri Nets World
Time Petri Nets Sheet 3 TINA
Objektorientierte Analyse Sheet 4 Borland Together UML 2.0 Tutorial
Model Checking Sheet 5 NuSMV Quick Reference NuSMV, NuSMV Tutorial, NuSMV Manual