Software Engineering - Specialization

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.


Specialization: Software Engineering

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 specialization 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 25 ECTS points are obtained among the following courses:

02239 Data Security 7.5 point Autumn E5B (Wed 13-17)
02245 Program Verification 7.5 point Autumn E1B (Thurs 13-17)
02263 Formal Aspects of Software Engineering 5 point Autumn E1A (Mon 8-12)
02266 User Experience Engineering 5 point January
02267 Software Development of Web Services 5 point January
02268 Process-oriented and Event-driven Software Systems 5 point Autumn E4A (Tues 13-17)
02269 Process Mining 5 point Autumn E5A (Wed 8-12)
02291 System Integration 5 point Spring F5A (Wed 8-12)

The terminated courses 02221 Foundations of Distributed Systems (5 ECTS) and 02261 Software Startup Studio (5 ECTS) also count on the specialization.

Specializations are merely recommended ways of choosing the courses in the curriculum. Applicants are not admitted to a specialization but to the programme and it is possible to choose among all the courses in the curriculum following the directions given. However, if a specialization has been fulfilled the title of the specialization may be added to the diploma.