Empirical Software Engineering (ESE)
Programming Languages
Prof. Dr. sc. Michael Pradel
Software Lab (CISPA Helmholtz Center)
Dr. Matthias Heizmann (Substitute Professor)
Software Quality and Architecture (SQA)
Prof. Dr.-Ing. Steffen Becker
The Software Quality and Architecture group deals with methods, languages, and tools to engineer the quality of software systems. Software quality is the level to which a software system meets its requirements beyond the functional correctness, i.e., performance, reliability, safety, maintainability, scaleability, elasticity, cost- and energy-efficiency, etc. Our methods help software architects, developers, and operators to design systems efficiently to meet their quality reqirements and to help them monitor and ensure them at runtime.
News
Contact
Michael Pradel
Prof. Dr. sc.Head of Software Lab, Executive Director of the Institute of Software Engineering
Katharina Plett
Secretary of the Empirical Software Engineering Group (Prof. Hermann) and of the Software Lab: Program Analysis (Dr. Heizmann)