Programação orientada a contratos

Este link fala de uma ferramenta para JAVA muito interessante. Acho que os criadores da ferramenta nasceram nesta região.

Boa programação :P