ADT in realen Programmiersprachen

• Signatur: Interface (statische Prüfung)
• Axiome: Vor/Nachbedingungen von Methoden

  (Prüfung dynamisch: Test, statisch: Beweis)

Realisierung von Interfaces in OOP:

• interface ist (voll) abstrakte Klasse

  (alle Methoden sind abstrakt: nur deklariert, aber nicht implementiert)

• Schnittstellen-Implementierung: konkrete Klasse „erbt`` von interface
• das ist keine Implementierungsvererbung