Code ist detaillierte Spezifikation

In Modellen wie Waterfall (und seit neuerem auch Spec Driven Design) wird die zu entwickelnde Software in einem Dokument definiert, bevor die Implementierung beginnt. Diese Spezifikation dient dazu, Unklarheiten auszuräumen und alle Entwickler auf einen Stand zu bringen.

Es ist wichtig, anzuerkennen, dass die Spezifikation niemals sämtliche Rand- und Sonderfälle abdecken kann – zumindest, ohne völlig unübersichtlich zu werden. Diese Aufgabe hat nämlich der Code, welcher selber nichts anderes als eine detailliertere Spezifikation ist: Text, welcher nach formellen Anforderungen geschrieben ist und das Verhalten eines Systems eindeutig beschreibt. Ausschlaggebend ist hier das Wort eindeutig: die menschliche Sprache ist häufig unterschiedlich interpretierbar, je nach Persönlichkeit. Im Gegensatz dazu haben wir Code entwickelt, um unmissverständlich zu sein, sodass wir das Verhalten eines Systems perfekt formalisieren können^[1].

Damit sitzt Code im Sweet-Spot, welcher zwar detailliert genug ist, alle Ambiguitäten auszuräumen, aber kompakt genug ist, sich auf das Wesentliche zu fokussieren.

Verweise

• [[Abstraktion ermöglicht Präzision]]

Quellen