Software plays a central role in almost all aspects of daily life, e.g. in finance, health care, government, and telecommunications. The use of software systems has grown dramatically as has their complexity. Enormous amounts of money are spent every day on software development yet the resulting software does not always meet the user's requirements and is not always reliable. This study line aims to give you the skills required to develop high-quality software products. It teaches well-founded methods, techniques, and tools for the modeling, construction, analysis and verification of software systems.
The student must follow the requirements in the general curriculum for the programme such that at least 30 ECTS points are obtained among the following courses:
02221 Foundations of Distributed Systems (5 ECTS)
02239 Data Security (7.5 ECTS)
02245 Program Verification (7.5 ECTS)
02263 Formal Aspects of Software Engineering (5 ECTS)
02266 User Experience Engineering (5 ECTS)
02267 Software Development of Web Services (5 ECTS)
02268 Process-Oriented and Event-Driven Software Systems (5 ECTS)
02269 Process Mining (5 ECTS)
02291 System Integration (5 ECTS)
The terminated courses 02220 Distributed Systems (7.5 ECTS), 02222 Distributed Systems (10 ECTS), 02225 Real-Time Systems (7.5 ECTS), 02261 Software Startup Studio (5 ECTS), 02264 Requirements Engineering (10 ECTS) and 02265 Advanced Topics in Software Engineering (5 ECTS) also count on the study line.