Java Modeling Language
Origem: Wikipédia, a enciclopédia livre.
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, adicionando comentários nos códigos Java. O objetivo do JML é 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 irá proporcionar uma especificação de contrato padrão, servindo também como documentação de código Java.
