Перевод: с русского на все языки
Vorwärtsanalyse
Ничего не найдено.
Попробуйте поискать во всех возможных языках
или измените свой поисковый запрос.
См. также в других словарях:
Stabilität (Numerik) — In der numerischen Mathematik heißt ein Verfahren stabil, wenn es gegenüber kleinen Störungen der Daten unempfindlich ist. Insbesondere bedeutet dies, dass sich Rundungsfehler nicht zu stark auf die Berechnung auswirken. Man unterscheidet in der… … Deutsch Wikipedia
Top-down und Bottom-up — Als Top down (engl. ‚von oben nach unten‘) und Bottom up (engl. ,von unten nach oben‘) werden zwei entgegengesetzte Arbeitsrichtungen eines Modellierungs Prozesses bezeichnet, die in verschiedenen Sinnzusammenhängen für Analyse oder… … Deutsch Wikipedia
Wp-Kalkül — Der wp Kalkül ist ein Kalkül in der Informatik zur Verifikation eines imperativen Programmcodes. Die Abkürzung wp steht für weakest precondition, auf deutsch schwächste Vorbedingung. Die Überprüfung der Korrektheit geschieht durch… … Deutsch Wikipedia
wp-Kalkül — Der wp Kalkül ist ein Kalkül in der Informatik zur Verifikation eines imperativen Programmcodes. Die Abkürzung wp steht für weakest precondition, auf deutsch schwächste Vorbedingung. Bei der Verifikation geht es nicht darum, die Funktion mit… … Deutsch Wikipedia
