In dem Bericht geht es um die Erarbeitung von Verfahren zur Pruefung natuerlichsprachlicher Anforderungsspezifikationen, die mit dem Werkzeug ADMIRE erstellt wurden. Die Pruefungen zielen ab auf die Identifizierung typischer Maengel, wie sie bei einer Spezifikationserstellung immer wieder auftreten, z.B. Unvollstaendigkeit, widerspruechliche oder mehrdeutige Anforderungen usw. Die beschriebenen Verfahren sind halbautomatisch, d.h. sie schlagen moegliche Maengel aufgrund gefundener Indizien hin vor. Die endgueltige Entscheidung, ob ein bestimmter Mangel tatsaechlich vorliegt, muss vom Benutzer getroffen werden.