Este é o aplicativo Linux denominado Java Modeling Language (JML), cuja versão mais recente pode ser baixada como openjml.zip. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado Java Modeling Language (JML) com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
Linguagem de modelagem Java (JML)
Ad
DESCRIÇÃO
A Java Modeling Language (JML) é uma linguagem de especificação de interface comportamental que pode ser usada para especificar o comportamento de módulos Java (como no projeto por contrato - DBC). Tem muitas ferramentas para fazer verificação de asserção, teste de unidade, etc.Funcionalidades
- OpenJML: jmlspecs.sourceforge.net
Público
Tecnologia da Informação, Ciência / Pesquisa, Educação, Desenvolvedores
Interface com o usuário
Sistema X Window (X11), Win32 (MS Windows), Cocoa (MacOS X)
Linguagem de Programação
Java
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/jmlspecs/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.
