(1) Die Spezifikation der welche Instanzvariablen den Zustand eines Objekts implementieren, und welche Verfahren seine Methoden implementieren.

(2) A Definition wie etwas gebaut oder berechnet wird. Z. B. eine Klasse ist eine Implementierung eines Typs, eine Methode ist eine Implementierung eines Vorgangs.