Schneller Zugriff als Browser!
24 Beziehungen: Abgeleitete Klasse, Ada (Programmiersprache), Aliasing, Basisklasse, Bertrand Meyer, Boolesche Algebra, D (Programmiersprache), Eiffel (Programmiersprache), Erfüllbarkeitsproblem der Aussagenlogik, Funktionale Programmierung, Groovy, Invariante (Informatik), Java (Programmiersprache), Kontrakt, Liskovsches Substitutionsprinzip, Metaprogrammierung, Methode (Programmierung), Nachbedingung (Informatik), OVal (Framework), Prinzipien objektorientierten Designs, Softwaretechnik, Typisierung (Informatik), Vorbedingung (Informatik), .Net-Framework.
Abgeleitete Klasse
Eine abgeleitete KlasseBjarne Stroustrup: Die C++-Programmiersprache. Addison-Wesley, 2000, ISBN 3-8273-1660-X. Kap.
Neu!!: Design by Contract und Abgeleitete Klasse · Mehr sehen »
Ada (Programmiersprache)
Ada ist eine strukturierte Programmiersprache mit statischer Typenbindung.
Neu!!: Design by Contract und Ada (Programmiersprache) · Mehr sehen »
Aliasing
Mit Aliasing (dt. Überlappung/Überlagerung) wird in der Informatik das Vorhandensein mehrerer Bezeichner (Deskriptoren) für einen Ort bezeichnet.
Neu!!: Design by Contract und Aliasing · Mehr sehen »
Basisklasse
Eine Basisklasse – aus dem englischen base class entlehnt, zudem teilweise übersetzt Grundklasse oder, aus einer anderen Sichtweise heraus, auch Superklasse (aus dem englischen superclass) und zudem Oberklasse sowie übergeordnete Klasse oder auch Elternklasse (aus dem englischen parent class) – ist, in der objektorientierten Programmierung, eine Klasse, die ihre Eigenschaften (Attribute) und Methoden an abgeleitete Klassen vererbt.
Neu!!: Design by Contract und Basisklasse · Mehr sehen »
Bertrand Meyer
Bertrand Meyer (2015) Bertrand Meyer (* 21. November 1950 in Frankreich) ist ein französischer Informatiker und Entwickler der Programmiersprache Eiffel.
Neu!!: Design by Contract und Bertrand Meyer · Mehr sehen »
Boolesche Algebra
Venn-Diagramme für Konjunktion, Disjunktion und Ergänzung In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen Durchschnitt, Vereinigung, Komplement verallgemeinert.
Neu!!: Design by Contract und Boolesche Algebra · Mehr sehen »
D (Programmiersprache)
D ist eine seit 1999 von Walter Bright entwickelte Programmiersprache mit objektorientierten, imperativen sowie deklarativen Sprachelementen.
Neu!!: Design by Contract und D (Programmiersprache) · Mehr sehen »
Eiffel (Programmiersprache)
Eiffel ist eine universelle, rein objektorientierte Programmiersprache und wurde 1985 von dem französischen Informatiker Bertrand Meyer und seiner Firma Interactive Software Engineering Inc. (Goleta, Kalifornien) als Alternative zu C++ entworfen.
Neu!!: Design by Contract und Eiffel (Programmiersprache) · Mehr sehen »
Erfüllbarkeitsproblem der Aussagenlogik
Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von ‚ Erfüllbarkeit‘) ist ein Entscheidungsproblem der theoretischen Informatik.
Neu!!: Design by Contract und Erfüllbarkeitsproblem der Aussagenlogik · Mehr sehen »
Funktionale Programmierung
Funktionale Programmierung ist ein Programmierparadigma, in dem Funktionen nicht nur definiert und angewendet werden können, sondern auch wie Daten miteinander verknüpft, als Parameter verwendet und als Funktionsergebnisse auftreten können.
Neu!!: Design by Contract und Funktionale Programmierung · Mehr sehen »
Groovy
Groovy ist eine Programmiersprache und Skriptsprache, die dynamische und statische Typisierung unterstützt.
Neu!!: Design by Contract und Groovy · Mehr sehen »
Invariante (Informatik)
Eine Invariante ist eine Aussage, die über die Ausführung bestimmter Programmbefehle hinweg gilt.
Neu!!: Design by Contract und Invariante (Informatik) · Mehr sehen »
Java (Programmiersprache)
Java ist eine objektorientierte Programmiersprache und eine eingetragene Marke des Unternehmens Sun Microsystems, welches 2010 von Oracle aufgekauft wurde.
Neu!!: Design by Contract und Java (Programmiersprache) · Mehr sehen »
Kontrakt
Kontrakt wird in der Kanzleisprache als Bezeichnung für eine verbindliche Vereinbarung oder einen Vertrag verwendet.
Neu!!: Design by Contract und Kontrakt · Mehr sehen »
Liskovsches Substitutionsprinzip
Das Liskovsche Substitutionsprinzip (LSP) oder Ersetzbarkeitsprinzip ist ein Kriterium in der objektorientierten Programmierung, das die Bedingungen zur Modellierung eines Datentyps für seinen Untertyp angibt.
Neu!!: Design by Contract und Liskovsches Substitutionsprinzip · Mehr sehen »
Metaprogrammierung
Metaprogrammierung ist in der Informatik die Erstellung von Computerprogrammen ("Metaprogramme"), die Computerprogramme erzeugen.
Neu!!: Design by Contract und Metaprogrammierung · Mehr sehen »
Methode (Programmierung)
Methoden (oder member function) sind in der objektorientierten Programmierung Unterprogramme in der Form von Funktionen oder Prozeduren, die das Verhalten von Objekten beschreiben und implementieren.
Neu!!: Design by Contract und Methode (Programmierung) · Mehr sehen »
Nachbedingung (Informatik)
Die Nachbedingungen einer Funktion oder eines Programms geben an, welche Aussagen nach der Ausführung gelten müssen, falls zuvor die Vorbedingungen erfüllt waren.
Neu!!: Design by Contract und Nachbedingung (Informatik) · Mehr sehen »
OVal (Framework)
OVal ist ein Validierungs- und Design-by-Contract-Framework für die Programmiersprache Java.
Neu!!: Design by Contract und OVal (Framework) · Mehr sehen »
Prinzipien objektorientierten Designs
Prinzipien objektorientierten Designs sind Prinzipien, die zu gutem objektorientierten Design führen sollen.
Neu!!: Design by Contract und Prinzipien objektorientierten Designs · Mehr sehen »
Softwaretechnik
Die Softwaretechnik bzw.
Neu!!: Design by Contract und Softwaretechnik · Mehr sehen »
Typisierung (Informatik)
Eine Typisierung dient in der Informatik dazu, dass die Objekte (hier Objekte im mathematisch-abstrakten Sinne verstanden) der Programmiersprachen, wie z. B.
Neu!!: Design by Contract und Typisierung (Informatik) · Mehr sehen »
Vorbedingung (Informatik)
Die Vorbedingung einer Funktion oder eines Programms gibt an, unter welchen Voraussetzungen das Verhalten der Funktion definiert ist.
Neu!!: Design by Contract und Vorbedingung (Informatik) · Mehr sehen »
.Net-Framework
Das.Net-Framework (Eigenschreibweise:.NET Framework) ist ein Teil von Microsofts Software-Plattform.NET und erfüllt als solches seine Funktion bei der Entwicklung und Ausführung von Programmen, die das Framework einbinden und verwenden.
Neu!!: Design by Contract und .Net-Framework · Mehr sehen »
Leitet hier um:
Contract, Design By Contract, Design by contract, Entwurf gemäß Vertrag, Programming by Contract, Vertragsmodell.
