Java Modeling Language: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
*cat |
|||
| (Há 8 revisões intermédias de 6 utilizadores que não estão a ser apresentadas) | |||
| Linha 1: | Linha 1: | ||
{{Sem-fontes|data=abril de 2013}} |
|||
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. 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. |
|||
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)]] |
||
[[en:Java Modeling Language]] |
|||
[[fr:Java Modeling Language]] |
|||
[[it:Java Modelling Language]] |
|||
[[pl:Java Modeling Language]] |
|||
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.
