AspectJML crosscutting contract specifications for better modularity

          aspectjml is           aspectjml enables
  • a seamless aspect-oriented extension to the JML design by contract language
  • AspectJ compatible
  • Java platform compatible
  • easy to learn and use
  • clean modularization/specification of crosscutting contracts, such as preconditions and postconditions, while preserving documentation and modular reasoning
  • well-defined interfaces between the OO code and crosscutting contracts

AspectJML - Downloads


See below for a list of available AspectJ downloads. If you plan to use AspectJML inside the Eclipse IDE you can just use the ant tasks that come with the distribution.

AspectJML 7