rodin

por ETH Zurih and Others

Baixar agora do site do desenvolvedor

Licença: Código aberto

Total de downloads:65

Latest version:3.1

Denunciar informações incorretas

Descrição

Imagem do ecrã

Rodin 3.1 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. Esse software foi originalmente desenvolvido por ETH Zurih and Others. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros. Rodin está dentro de Ferramentas de Desenvolvimento, na subcategoria IDE.

Do desenvolvedor:

Rodin is an open tool platform for the cost effective rigorous development of dependable complex software systems and services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

This platform contributes to the Eclipse framework and is extensible using the Eclipse plug-in mechanism.

Confira mais programas, tais como Art Galleries, One Click Translate for Safari ou WinZip Mac, que podem ser similares a rodin.

Baixar rodin do site do desenvolvedor

útil

Como proteger seu Mac contra malware

útil

Como compartilhar arquivos

útil

Como digitar com 10 dedos