Java Modeling Language
Da Wikipédia, a enciclopédia livre
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.
Este artigo não cita fontes confiáveis. (Abril de 2013) |
Wikiwand - on
Seamless Wikipedia browsing. On steroids.