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 des Instituts für Informatik und Wirtschaftsinformatik (ICB) in der Fakultät für Wirtschaftswissenschaften der Universität Duisburg-Essen. Unsere Räumlichkeiten befinden sich im Gebäude des Paluno in der Gerlingstraße 16 in Essen.