News
News
Great Place to Work 2023 – Triple für QAware
Rahel Gölz
Informatik Forschung und Entwicklung 19(1), 2004 (Uwe M. Borghoff, Jan Scheffczyk, Johannes Siedersleben, Christiane Stutz) PDF
Articles
Formale Konsistenzsicherung in informellen Software-Spezifikationen
| Johannes Siedersleben
Johannes Siedersleben
Fitting the topic
News
News
News
Wir rollen das 49€ Ticket für unser Team aus!
QAware
Articles
Articles
QAware gestaltet die Zukunft mit modernen Cloud-Technologien
Michael Rohleder
Lectures
Lectures
Software Engineering II
Dr. Josef Adersberger
Lectures
Lectures
Software-Entwicklungsumgebungen
Dr. Josef Adersberger
Articles
Articles
Imperative functional programming in Isabelle/HOL
Alexander Krauss
