Spezifikation von Softwaresystemen

Herzlich Willkommen bei der Arbeitsgruppe "Spezifikation von Softwaresystemen" an der Universität Duisburg-Essen. Wir sind Teil des paluno – The Ruhr Institute for Software Technology sowie der Abteilung für Software Engineering (SE) in der Fakultät für Informatik der Universität Duisburg-Essen. Unsere Räumlichkeiten befinden sich im Gebäude des paluno in der Gerlingstraße 16 in Essen.

Aktuelles

Ingo Ruhmann

Technisch und organisatorisch komplex, politisch brisant – Distinguished Lecture zum Thema Cybersecurity

Fragen der Cybersicherheit reichen weit über technische Aspekte hinaus. In seiner Distinguished Lecture am 12. November 2026 am Campus Duisburg beleuchtet der Informatiker und Politikexperte Ingo Ruhmann aktuelle Bedrohungen, Compliance-Herausforderungen und die politischen Dimensionen digitaler Sicherheit.

Eric Bodden

Distinguished Lecture mit Eric Bodden: Über das Rückgrat des Agentic Software Engineering

KI-Agenten werden immer schneller und selbständiger; doch wie sieht es mit der Qualitätssicherung aus? In der Distinguished Lecture am 3. November 2026 in Essen präsentiert Eric Bodden seine Forschung zu skalierbaren Validierungsverfahren, die mit dem Tempo und der Menge KI-basierter Softwareerzeugung Schritt halten sollen.

Informatik erleben und Kontakte knüpfen: Jetzt zum Tag der Informatik anmelden

Unsere Fakultät öffnet wieder ihre Türen und gibt Einblicke in aktuelle Forschungsthemen. In diesem Jahr steht die Mensch-Computer-Interaktion im Mittelpunkt. Herzlich eingeladen sind interessierte Bürgerinnen und Bürger sowie Vertreter*innen aus Wirtschaft, Wissenschaft und Verwaltung.

Studium & Lehre

Wir bieten vielfältige und spannende Themen für Seminar-, Projekt- und Abschlussarbeiten in mehreren Bachelor- und Masterstudiengängen an.

Forschung & Praxis

Erfahren Sie mehr über unsere Forschungsschwerpunkte, aktuelle Projekte, wissenschaftliche Veranstaltungen und Publikationen.

Laufende Projekte

E-Assessment

Wir entwickeln und betreiben das E-Assessment-System JACK zur Unterstützung von Übungen und Prüfungen.

Veranstaltungen

Es gibt keine Veranstaltungen in der aktuellen Ansicht.