Master Project: Software and Systems Engineering
Schedule
- Project (Prof. Dr. Stefan Leue, Dr. Georgiana Caltais, Martin Kölbl)
Thursday 13:30 - 15:00 in Room PZ 901
- The preliminary talk will take place at 13:30 on Thursday,
27 April 2017 in room PZ 901.
Description
Topics
We are constantly looking for students interested in master projects in our group. You can find a list of some possible topics for master projects on our Student Project Page. If you are interested, please contact us. Contact person is Georgiana Caltais.
Participants
Master students
Subject Area
Informatik der Systeme / Angewandte Informatik
Offering Suitable for Participants from Other Programs and Subject Areas
Yes, but please contact the instructor to determine the suitability of your background.
Prerequisites
Master studies
Lectures from compulsory study area
Contents / Syllabus
This 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.
The project prepares for the master’s thesis. Participants will receive advice for individual
scientific work and for the presentation of their own scientific results. They also receive
advice for improved scientific writing and for elaborate working with scientific literature.
Furthermore they familiarize with the thematic topic of the planned masters thesis.
Credit Requirements
Project report and presentation of project results
Credits
2 SWS
9 ECTS-Points
Literature
Will be distributed individually for each project.