Java Modeling Language: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m A migrar 5 interwikis, agora providenciados por Wikidata em d:q2517517 |
|||
| (Há uma revisão intermédia de outro utilizador que não está a ser apresentada) | |||
| Linha 1: | Linha 1: | ||
{{Sem-fontes|data=abril de 2013}} |
|||
O '''Java Modeling Language''' ou '''JML''' é uma linguagem de modelagem que é para especificar os detalhes de [[design]] em classes e interfaces [[Java (linguagem de programação)|Java]], adicionando comentários nos códigos Java. |
|||
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}} |
||
[[Categoria:Linguagens de especificação]] |
[[Categoria:Linguagens de especificação]] |
||
[[Categoria:Java]] |
[[Categoria:Java (linguagem de programação)]] |
||
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.
