Formales mathematisches Argument, dass ein Algorithmus seine Spezifikation erfüllt, d. h. er erzeugt immer die korrekte Ausgabe für jeden zulässigen Eingang.
Nehmen Sie das folgende C ++ 14 Code-Snippet:
%Vor%
Anweisung: Die Funktion f gibt das Maximum ihrer Argumente zurück.
Nun ist die Aussage "offensichtlich" wahr, aber ich habe sie nicht streng genug in Bezug auf die ISO / IEC 1488...
08.01.2018, 13:45