Title: Formale Beschreibungsverfahren der Informatik