Title: Angewandte Informatik und Formale Beschreibungsverfahren