InglêsFrancêsEspanhol

favicon do OnWorks

Baixar XJML para Linux

Baixe grátis o aplicativo XJML Linux para rodar online no Ubuntu online, Fedora online ou Debian online

Este é o aplicativo Linux denominado XJML, cuja versão mais recente pode ser baixada como XJML1.0.zip. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.

Baixe e execute online este aplicativo chamado XJML 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.

XJMLName


Ad


DESCRIÇÃO

Na verdade, o XJML 1.0 pode ler uma classe Java e seu contrato (escrito em XML) e, em seguida, executar as próximas técnicas de verificação:

1. Runtime Assertion Checking (RAC). Usando ferramentas JML4c e JML4rt.
2. Verificação estática estendida (ESC). Usando ESC / Java2.
3. Verificação total do programa estático (FSPV). Usando a plataforma Why (testada com Why 2.30 e Why3 0.71)



Público

Ciência / pesquisa, educação, usuários finais avançados, administradores de sistema, desenvolvedores, testadores


Interface com o usuário

Console / Terminal, linha de comando, Eclipse


Linguagem de Programação

Java



Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/xjml/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.


Servidores e estações de trabalho gratuitos

Baixar aplicativos Windows e Linux

Comandos Linux

Ad