Vorbedingung

См. также в других словарях:

• Vorbedingung — Das Wort Vorbedingung bezeichnet: Allgemein und in der Physik die Ursachen/Bedingungen die erfüllt sein müssen, damit ein Ereignis stattfindet. Rückblickend der Zustand, der zu einem Ereignis geführt hat, siehe Kausalität. In der Logik und… …   Deutsch Wikipedia

• Vorbedingung — Bedingung, Erfordernis, Gebot, Grundlage, Klausel, Kondition, Muss, Notwendigkeit, Voraussetzung, Vorbehalt; (bildungsspr.): Basis, Kriterium, Prämisse; (österr. Amtsspr.): Bedingnis. * * * Vorbedingung,die:⇨Voraussetzung… …   Das Wörterbuch der Synonyme

• Vorbedingung — die Vorbedingung, en (Aufbaustufe) Voraussetzung, von der die Aufnahme oder der Anfang von etw. abhängt Beispiel: Ausdauer ist eine notwendige Vorbedingung für das Gelingen unserer Unternehmung …   Extremes Deutsch

• Vorbedingung — Vor|be|din|gung 〈f. 20; umg.; verstärkend〉 Bedingung ● eine Vorbedingung stellen * * * Vor|be|din|gung, die; , en: Bedingung, die erfüllt werden muss, bevor etw. angefangen werden kann: die Freilassung der Gefangenen war eine V. für die… …   Universal-Lexikon

• Vorbedingung (Informatik) — Die Vorbedingung einer Funktion oder eines Programms gibt an, unter welchen Bedingungen das Verhalten der Funktion definiert ist. Die Vorbedingung ist Teil der formalen Spezifikation der Funktion (bzw. des Programms) und dient der Verifikation:… …   Deutsch Wikipedia

• Vorbedingung — Vo̲r·be·din·gung die ≈ ↑Voraussetzung (2) …   Langenscheidt Großwörterbuch Deutsch als Fremdsprache

• Vorbedingung — Vor|be|din|gung …   Die deutsche Rechtschreibung

• Vorbed. — Vorbedingung(en) EN precondition(s), prerequisite(s) …   Abkürzungen und Akronyme in der deutschsprachigen Presse Gebrauchtwagen

• 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

• Design By Contract — (englisch Entwurf gemäß Vertrag) oder kurz DBC ist ein Konzept aus dem Bereich der Softwareentwicklung. Ziel ist das reibungslose Zusammenspiel einzelner Programmmodule durch die Definition formaler Verträge zur Verwendung von Schnittstellen, die …   Deutsch Wikipedia

• Design by Contract — (englisch Entwurf gemäß Vertrag) oder kurz DBC ist ein Konzept aus dem Bereich der Softwareentwicklung. Ziel ist das reibungslose Zusammenspiel einzelner Programmmodule durch die Definition formaler Verträge zur Verwendung von Schnittstellen, die …   Deutsch Wikipedia