Software is the cornerstone of digitization: It is impossible to imagine everyday life without software-based services, and their share in society is rising continuously. New areas of application, such as modern mobility systems, will also present software development with methodological challenges in the future. The study profile covers the methodological and technological competencies to systematically develop, validate and verify complex software systems. In the Software Engineering profile, courses on compiler construction, semantics and verification can also be taken.
Graduates of the "Software Engineering" study profile should possess the methodological and technological competencies to systematically develop and evolve, validate and verify complex software systems. Software Engineering includes competencies in requirements elicitation, modeling in architecture design and programming, testing and formal analysis. In-depth knowledge of programming languages/compiler construction or verification is also helpful, and in many applications even indispensable.