Java Modeling Language: diferenças entre revisões

O '''Java Modeling Language''' ou '''JML''' é uma linguagem de modelagem que pode ser usada para especificar os detalhes de [[design]] em classes e interfaces [[Java (linguagem de programação)|Java]], adicionando comentários nos códigos Java. No entanto, não é usada por nenhum projeto de relevância na indústria. Portanto, não existe uma avaliação rigorosa da linguagem que permita uma comprovação no aumento de produtividade dos desenvolvedores e na qualidade dos sistemas produzidos. Por esses motivos, o futuro de JML é incerto.

Apesar desses problemas, JML tem um objetivo hipotético que é prover uma linguagem de especificação que tenha um fácil uso para que os desenvolvedores Java. JML também é uma linguagem de especificação de interface comportamental. As interfaces são assinaturas de classes e métodos, onde são estabelecidos os nomes e tipos dos nomes das classes. Após estabelecer a interface de uma classe Java, o JML teoricamente irá proporcionar uma especificação de contrato padrão, servindo também como documentação de código Java.