Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Formaler Text der die Syntax und Semantik (Software) oder Implementierung eines bestimmten Bestandteiles oder Produktes beschreibt d.h. eine deklarative Beschreibung was ist oder bewerkstelligt. Anhand einer guten Spezifikation sich demnach ein detaillierter Vergleich zwischen Soll- Ist-Zustand vornehmen.