Fault-Tolerant Softw... Winter Term 2014/15 Introduction to Cryp...

Software Engineering Practice for WINF

Content of practical course

Lecturer: Dipl.-Inf. M. Meitner, Dipl.-Inf. R. Lill, Dipl.-Inf. D. Föhrweiser, S. Winzinger, M.Sc.


Monday, 12:15 - 13:45, Room: 01.153-113
Thursday, 14:15 - 15:45, Room: 01.153-113
Thursday, 16:15 - 17:45, Room: 01.153-113

Presentation slides and exercise sheets

The introductory presentation summarises important organisational information. The guiding theme of this practical course is the automatic production cell.

Introduction Production Cell
Requirements Engineering Exercises IBM Rational Requisite Pro Volere Template, Volere Snowcard
OOA Exercises Borland Together UML 2.0 Tutorial
Petri Nets Exercises TINA, PIPE Petri Nets World
Time Petri Nets Exercises TINA
Model Checking Exercises NuSMV Quick Reference NuSMV, NuSMV Tutorial, NuSMV Manual
Model Checking 2 Exercises
OOD Exercises Borland Together
Software Metrics / Static Analysis Exercises Borland Together, FindBugs Beispielcode JDKSort, JAP AN.ON
Functional Testing Exercises Borland Together Samples
Structural Testing Exercises CodeCover (Referenz) Samples
Version Control Exercises Subversion, StatSVN Subversion Book