An aspect oriented system for implementing the Design by Contract software development methodology is provided in which preconditions and postconditions defining the contract need not be coded into the program modules being developed. Rather, an aspect is provided which encapsulates these preconditions and postconditions. This behavior may easily and transparently be forced onto the resource by compiling the object class for the program module along with the contract aspect. When the software program in which the program modules is used is no longer needed, the preconditions and postconditions are removed simply by recompiling the resource object classes without the aspect.

Een aspect georiënteerd systeem om het Ontwerp door de methodologie van de de softwareontwikkeling van het Contract uit te voeren wordt verstrekt waarin precondities en postconditions die het contract de bepalen niet in de programmamodules te hoeven worden gecodeerd die worden ontwikkeld. Eerder, wordt een aspect verstrekt dat deze precondities en postconditions inkapselt. Dit gedrag kan gemakkelijk en doorzichtig op het middel worden gedwongen door de objectklasse voor de programmamodule samen met het contractaspect te compileren. Wanneer het softwareprogramma waarin de programmamodules wordt gebruikt niet meer nodig is, worden de precondities en postconditions verwijderd eenvoudig door de middelobjectklassen zonder het aspect recompiling.