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

[Throwable]

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

[IvanGolovach]

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