5847 Seminar Softwaretechnik - WS 2009/10

Organisatorisches

Seminartermin (1 Termin mit 2 SWS):
Montags 12:15 - 13:45, IM SR 030, Dirk Beyer

Sprechstunde (Voranmeldung via E-Mail):
Donnerstags 15:30 - 17:00, IM 131, Dirk Beyer

Termine:

Erstes Seminartermin (Vortreffen zur Organisation):	Mo, 2009-10-26
Vortragstermine:	Mo, 2010-01-25 und Mo, 2010-02-08

Inhalt des Seminars

Informationen auf Stud-IP

Kurzuebersicht zu den moeglichen Themen:

Software engineering tools
Distributed version-control systems
Software quality, software analysis, testing
Automated testing, assertion checking, unit testing (JUnit)
Software structure
Web-service oriented software-engineering
Software clustering, layout-based software decomposition
Cloud Computing

Literatur (Bibliothek der Uni Passau)

Gerard J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, 2003. Online: Safari
Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Principles of Program Analysis. Springer, 2005.

Mehr Literatur-Referenzen

Vortragstermine

Seminartermin 1 (2009-10-26):

Vorbesprechung, Organisatorisches, Themenabsprache

Seminartermin 2 (2010-01-25):

Tobias Großer: Program Structure Trees (Slides, Paper)

Seminartermin 3 (2010-02-08):

Stefan Peters: Comparison of Tools for Pointer Analysis (Slides, Paper)

Authors: Dirk Beyer