Project: Software Engineering
- Project (Prof. Dr. Stefan Leue)
Thursday 16:00 - 20:00h Room: Raumänderung: D 247
- Preliminary Discussion (Prof. Dr. Stefan Leue)
15.4.2010: Thursday 14:00h Room: Raumänderung: D 247
Subject AreaInformatik der Systeme / Angewandte Informatik
Offering Suitable for Participants from Other Programs and Subject AreasYes, but please contact the instructor to determine the suitability of your background.
Prerequisites Master studies
Contents / SyllabusThis project course focuses on methods and tools for the formal analysis of software systems. Project assignments can include the development of software analysis tools as well as the application of existing tools to the analysis of complex software system examples.
Credit RequirementsProject report and presentation of project results
LiteratureWill be announced.