In HorME wird ein abstraktes Programmiermodell erstellt, das von einer entsprechenden Ausführungsumgebung unterstützt wird. Dadurch können komplexe …