Component-Based Software Engineering Data Science Formal Methods Formal Verification Human-Computer-Interface Machine learning Neural network Research Software Engineering Software Engineering

A Helmholtz Pilot Program

Core Informatics

Component-Based Software Engineering Information Modeling Performance Prediction Simulation Software Architecture

Consistency Documentation Inconsistency Detection Information Information Retrieval open source Software Architecture Text analysis & natural language processing Traceability Link Recovery

Anne Koziolek

Core Informatics