Example image of eyePlorer eyePlorer-Ergebnisse für 'Design by contract': Softwaretechnik Bertrand Meyer Eiffel (Programmiersprache) Nachbedingung (Informatik) Typsystem Metaprogrammierung Boolesche Algebra Barbara Liskov Liskovsches Substitutionsprinzip Subklasse Superklasse Erfüllbarkeitsproblem der Aussagenlogik Funktionale Programmierung OVal (Framework) Invariante (Informatik) Schnittstelle (objektorientierte Programmierung) Defensives Programmieren Konstruktoren und Destruktoren D (Programmiersprache) Delegation (Softwareentwicklung) Modultest DBC Assertion (Informatik) Programmfehler Objektorientierte Programmierung
Disclaimer