radikaler Ansatz zur Software-Entwicklung:
der Programmierer schreibt Code für die Inspektion (d. h. er kompiliert und testet nicht selbst).