Angewandte Informatik und Formale Beschreibungsverfahren