Eclipse Magazin 12 - Design by Contract

Der Artikel befasst sich mit der Implementierung von Design by Contract (DbC) in Java unter Verwendung von Annotations, AspectJ und Eclipse, um die Programmierpraktiken zu verbessern. Der Ansatz analysiert den Einsatz von Vorbedingungen und Nachbedingungen, um klare Vertragsvereinbarungen zwischen Methoden und deren Aufrufern zu definieren. ContractJ wird als Werkzeug vorgestellt, das die Integration und Anwendung dieser Prinzipien erleichtert und dabei auch die Modularisierung durch Aspektorientierung integriert.