Formaler Text, der die Syntax und Semantik (Software) oder Implementierung eines bestimmten Bestandteiles oder Produktes beschreibt, d.h. eine deklarative Beschreibung, was etwas ist oder bewerkstelligt. Anhand einer guten Spezifikation lässt sich demnach ein detaillierter Vergleich zwischen Soll- und Ist-Zustand vornehmen.
