Spezifikationssprache ANNA (Annotated Ada)

Aufbauend auf den Erfahrungen zu Breitbandsprachen und Programmtransformation im CIP Projekt entwickelte Bernd Krieg-Brückner ab 1979 bei einem einjährigen Aufenthalt in Kalifornien die Spezifikationssprache Anna mit Prof. D.C. Luckham, Stanford University. Anna (Annotated Ada) ist sozusagen komplementär zu Ada und bildet den Ansatzpunkt für den Einsatz formaler Methoden.