Beschreibung von Anforderungen an ein existierendes oder geplantes Programm.

Die Anforderungen können implementationsunabhängig sein (z. B. als zu realisierender Auftrag) oder bereits grundlegende Entwurfsentscheidungen vorgeben. Sie können verbal oder in einer formalen Sprache formuliert werden und sind üblicherweise unvollständig. Im Softwareentwurf gibt eine Spezifikation in der Regel genaue Schnittstellen zwischen verschiedenen Modulen vor. Zur Spezifikation von Programmen werden immer leistungsfähigere formale Sprachen vorgeschlagen, meist basierend auf diversen Logiken (Prädikatenlogik, modale oder temporale Logik). Eine formale Spezifikation ist die Voraussetzung für exakte Verifikation von Programmen oder eine automatische Programmgenerierung.