Software Development... Winter Term 2010/11 Introduction to Cryp...

Software Engineering in der Praxis
3 SWS

Content of practical course

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

Ab sofort kann man sich für die mündliche Prüfung anmelden. Zu diesem Zweck haben wir eine Doodle-Umfrage eingerichtet.

Modules

This couse can be attended as part of the following modules:

Schedule

Monday,12–15,Room 10.125

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.

TopicExercisesToolsMaterial
Introduction Production Cell
Requirements Engineering Exercises IBM Rational Requisite Pro Volere Template, Volere Snowcard
OOA Exercises Borland Together UML 2.0 Tutorial
Petri-Netze Aufgaben Winpetri Petri Nets World
Time Petri Nets 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 JDKSort
Functional Testing Exercises Borland Together Samples
Structural Testing Exercises CodeCover (Referenz) Samples
Version Control Exercises Subversion, StatSVN Subversion Book

Literature


top