• The success of the CSE working group is a combination of friendly organizers, experienced researchers and promising students. Even so every one of us has their own domain of expertise, we work close together and foster teamwork.
Team

Team

Our team of researchers, post-docs and research assistants is a closely connected group of people who share the same passion. Even so every member has it's own research goal, the overall aim is the same. Learn more about the active and former members of the group and get in touch with us.

Mehr lesen
Teaching

Teaching

Teaching is one of the main university duties. It allows us to introduce our research field to the next generation of researchers. Therefor we continuously improve and extend our course offer.

Mehr lesen
Research

Research

The overall aim of our research is the industrialization of software development in complex technical systems. To reach this goal, we are using, adapting and extending methods known from modern software engineering and formal methods of computer science. In particular we are focusing on the domain of complex software-intensive systems.

Mehr lesen

VECS

VECS

VECS is an Eclipse-based specification framework for the analysis of software-intensive systems. It includes an implementation of the SAML language and model transformations to verification engines. Currently, connectors to high-level Software Engineering tools (Rhapsody) are being developed. » Read More

Knowledge 4.0

Knowledge 4.0

» Read More

Master of Digital Engineering

Master of Digital Engineering

The master degree programme refers to students with a Bachelor-degree or Diploma-degree in Engineering terms or in Informatics. The study imparts comprehensive knowledge for development, construction and operation of complex and technical products as well as systems to be found in industrial engineering or in car industry. » Read More

VIP-MoBaSA

VIP-MoBaSA

More and more functions in complex technical systems are realized in software. This leads to the term of "software-intensive systems". However, many of these systems require highest dependability standards as system failure might cause injuries or even deaths. Traditional techniques for safety analysis and methods for software design are no longer sufficient. In academia, and particularly in our research group, several new model-based methods to solve this problem have been developed in the last decade. » Read More

Medical Robotics

Medical Robotics

Within a national competition, the Otto-von-Guericke-University Magdeburg was successful in setting up a prestigious research campus medical devices. Special congratulations go to Georg Rose on Oliver Speck as spokesman of this strategic project. » Read More

News

  • Journal Paper Accepted

    Our paper „Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code“ by Sebastian Nielebock, Robert Heumüller, and Frank Ortmeier has been accepted for publication in Springer’s journal Empirical Software Engineering.Read More »
  • Teilnahme an der Regionalkonferenz in Hamburg

    Im Rahmen des Projektes „Mittelstand 4.0 – Kompetenzzentrum Magdeburg“ nahmen wir an der Regionalkonferenz des Kompetenzzetrum Hamburgs am 24. Januar teil. Unter dem Motto „Digital Voraus“ erhielten wir einen Einblick in die Arbeit des Zentrums, besichtigten deren Demonstratoren und diskutierten inhaltlicheRead More »
  • Volkswagen Kooperation zur Praxisorientierten Qualifikation im Bereich Ingenieurinformatik

    Software durchdringt alle Lebensbereiche immer stärker. Dies gilt im Besonderen auch für den Bereich Automotive. Alle großen Hersteller stehen vor einem Umbruch im Zeichen neuer Mobilitätskonzepte.Read More »
  • Paper Accepted for ASE Doctoral Symposium

    Our paper „Towards API-specific Automatic Program Repair“ by Sebastian Nielebock was accepted for presentation at the Doctoral Symposium of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).Read More »
  • Digitalisierung: Sachsen-Anhalt bekommt Kompetenzzentrum

    Sachsen-Anhalt erhält ein vom Bund gefördertes Kompetenzzentrum, um dem Mittelstand beim digitalen Wandel zu helfen. Von Dominik Bath › Magdeburg/Berlin Sachsen-Anhalt bekommt nach Informationen der Volksstimme ein Mittelstand 4.0 Kompetenzzentrum. Die Einrichtung soll kleine und mittlere Unternehmen im Bundesland inRead More »