Schedule

We offer two identical exercises:

Monday,	12–15,	Room 10.125
Wednesday,	9–12,	Room 10.125

Lecturers: Dipl.-Inf. M. Spisländer, Dipl.-Inf. (FH) J. Adersberger

Presentation slides and Exercise sheets

The introductory presentation summarises important organisational information, a.o. the requirements for achieving a certificate resp. examination. The guiding theme of this practical course is the automatic production cell.

Topic	Exercises	Tools	Material
Introduction	n/a	n/a	Production Cell
Requirements Engineering	Exercises	IBM Rational Requisite Pro	Volere Template, Volere Snowcard
OOA	Exercises	Borland Together	UML 2.0 Tutorial
Petri Nets	Exercises	PIPE2 (Download)	PIPE2 article,  Petri Nets World
Time Petri Nets	Exercises	TINA
Model Checking	Exercises	NuSMV	Quick Reference NuSMV, NuSMV Tutorial, NuSMV Manual
OOD	Exercises	Borland Together
Software Metrics / Static Analysis	Exercises	Borland Together, FindBugs	JDKSort
Functional Testing	Exercises	Borland Together	Samples
Structural Testing	Exercises	CodeCover (Referenz)	Samples
Version Control	Exercises	Subversion, StatSVN	Subversion Book

Literature

• Lecture slides for Grundlagen des Software Engineering