Java Modeling Language

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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.