Java Modelling Language - JML

Parece interessante, mas na documentação eu não encontrei nenhum lugar que diz que ele gera código automaticamente.

Alguém sabe se ele faz isso??

Fora que 4.5Mb de sources pra baixar…

… e a linguagem não é muito intuitiva nem tolerante a erros. Suponha que o cara especifica errado uma interface, sem definir um ou mais constraints, e aquilo entra em produção com bug, depois pra arrumar é um parto…

Também não me parece muito reutilizável a não ser por herança. Mas acabei de começar a ler, vamos ver se é mais legal do que parece…

[]s

realmente interessante… pode facilitar muito a “toque de bola” entre analistas - que especificam uma coisa - e programadores - que entendem e codificam uma coisa completamente diferente… MAS cabe aí uma pergunta: até que ponto uma ferramenta destas é realmente necessária? Digo, será que uma especificação razoavelmente bem feita e bem redigida não é o suficiente? E até que ponto isso realmente AJUDA a tornar o projeto melhor?

that’s all folks