Software
Formal methods
Virtual machine
Virtual engineering
Systems engineering
Software development process
Simulation
Science
Fraunhofer Society
Laboratories