Java Modeling Language: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m recategorização e ajustes utilizando AWB |
|||
| Linha 1: | Linha 1: | ||
{{Sem-fontes|data=abril de 2013}} |
{{Sem-fontes|data=abril de 2013}} |
||
O '''Java Modeling Language''' ou '''JML''' é uma linguagem de |
O '''Java Modeling Language''' ou '''JML''' é uma linguagem de especificação para programas [[Java (linguagem de programação)|Java]] que usa a [[Lógica de Hoare]], as pre, poscondições e invariantes e que segue o paradigma da [[Programação por contrato]]. |
||
{{esboço-informática}} |
{{esboço-informática}} |
||
Edição atual tal como às 23h57min de 8 de dezembro de 2013
 | Este artigo não cita fontes confiáveis. (abril de 2013) |
O Java Modeling Language ou JML é uma linguagem de especificação para programas Java que usa a Lógica de Hoare, as pre, poscondições e invariantes e que segue o paradigma da Programação por contrato.
