Программирование-по-Контракту в Java

[@Throwable]

Может быть полезна библиотечка от Google для контрактного программирования, основанная на аннотациях: code.google.com/p/cofoja/ Работает через AnnotationProcessing или Java Agent.

[@IvanGolovach]

Также я веду курс «Scala for Java Developers» на платформе для онлайн-образования udemy.com (аналог Coursera/EdX).