Spezifikationsgetriebenes Design ist eine Softwareentwicklungsmethodik, bei der Entwickler detaillierte Spezifikationen vor jeglicher Code-Implementierung verfassen. Der Begriff „Spezifikation“ beschreibt präzise, was eine Software leisten soll, wie sie sich verhalten soll und welche Einschränkungen sie erfüllen muss. Anders als bei traditionellen Ansätzen, bei denen Entwickler möglicherweise sofort mit der Programmierung auf Basis vager Anforderungen beginnen, verlangt spezifikationsgetriebenes Design zunächst eine exakte Beschreibung dessen, was zu erstellen ist, und das in formaler oder halbformaler Weise.