Posts Tagged ‘Entwicklung

Mitte der 80er Jahre wurde mit der Programmiersprache Eiffel die Möglichkeit eingeführt Bedingungen innerhalb von Quellcodeabschnitten zur Überprüfung des Codes zu dokumentieren. Dies ermöglichte automatisierte Überprüfungen und ebnete den Weg für das heute sehr breit eingesetzte DBC – Design By Contract Konzept.  Durch vertraglich festgelegte Vorbedingungen, Nachbedingungen und Invarianten wird eine reibungslose Zusammenarbeit einzelner Programmmodule […]


oben