Programy według traction.sf.net

Ramy projektu po umowie (DBC) dla oprogramowania Java 1.5, które używają adnotacji do deklarowania warunków wstępnych, warunków postconditions itp. W przeciwieństwie do innych ram projektowania po umowie, nie wymaga wstępnej