Tarafından Programlar traction.sf.net

Java 1.5 için ön koşulları, posta koşullarını vb. bildirmek için ek açıklamalar kullanan bir tasarım-by-sözleşme (DBC) çerçevesi Diğer tasarım-by-sözleşme çerçeveleri aksine, hiçbir precompilation gerektirir, yapı sistemleri