 | ChaveUma ferramenta de verificação para programas de Javacard |
| Baixe Agora | |
Chave Classificação e resumo
Propaganda
- Licença:
- GPL
- Preço:
- FREE
- Nome do editor:
- The KeY Project
- Site do editor:
- http://www.key-project.org
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 1 KB
Chave Tag
Chave Descrição
Uma ferramenta de verificação para programas de Javacard A tecla é um software gratuito e fácil de usar que fornece uma ferramenta de verificação para programas Javacard.O sistema chave é uma ferramenta formal de desenvolvimento de software que visa integrar o projeto, a implementação, a especificação formal e a verificação formal do software orientado a objetos, o mais perfeitamente possível . Requisitos: · Java 1.5 ou mais tarde O que há de novo nesta versão: · Quadro de obrigação à prova unificada · Compartilhamento de obrigações de prova em diferentes idiomas de especificação · API unificada para adicionar novas obrigações à prova · Os mesmos elementos GUI usados para todas as linguagens de especificação · Mais elegante tradução de \ old, @ constructs pré-parecidos · Interface de especificação de Javacard DL aprimorada · Especificação de dl invariantes · Reescrever do front-end JML · Variáveis Ghost / Campos e JML Set Declaração · Não_null Por padrão · \ Old em invariantes de loop suportado · \ Objetos_creative (tipo) em cláusulas atribuíveis a JML · Novo front-end de OCL independente · Suporte descontinuado para a integração de Borland juntos Aprimoramentos de suporte a linguagem Java: · Tipos de enum (parcialmente) · Classes internas e anônimas · Aprimorado para loop · Argumentos de método variável · Assinatura do método covariant · Geração de especificações JML · Perguntas estritamente puras podem ser empurradas diretamente para uma atualização · Carga e poupança à prova estável · Diretiva Classpath · Vários bugfixes.
Chave Software Relacionado
