Rodin Plataforma para o desenvolvimento de serviços de software complexos confiáveis
Baixe Agora

Rodin Classificação e resumo

Rodin Tag

desenvolvimento desenvolve Plataforma de desenvolvimento. Serviço do sistema Desenvolvimento de serviço do sistema Desenvolver o serviço do sistema

Rodin Descrição

Plataforma para o desenvolvimento de serviços de sistemas de software complexos confiáveis A Rodin é uma plataforma de código livre gratuita para o desenvolvimento rigoroso eficiente de serviços confiáveis de sistemas de software. A Rodin é baseada no método formal do evento-B e fornece suporte natural para refinamento e prova matemática. Requisitos: · Java 1.5 ou mais tarde O que há de novo nesta versão: · Bug 1813657: menu de refatoração não está relacionado com a refatoração · Bug 1818464: PO trivial não descarga · Bug 1897572: Erro no gerador de obrigação à prova · Bug 1919546: P1, pp, m0-m3 não disponível como pós-tática · Bug 1948095: Importando projetos existentes · Bug 2414463: Construtor chamado arquivos não-rodin · Bug 2433212: Mau desempenho sob o KDE · Bug 2648946: Provedores predicados (newpp, p0) incapaz de descarregar simples Po · Bug 2656831: Provas de poupança nem sempre funciona · Bug 2694492: Prob Widget Não exibir no Second Prob Lançamento · Bug 2744052: NullpointerException no construtor no refinamento cíclico · Bug 2782126: Sua plataforma não suporta o Widget SWT Browser. · Bug 2827806: arquivos zumbi em buffer · Bug 2836774: Editor de texto incapaz de salvar (exceção) · Bug 2844797: A visão de esqueleto de prova não se adapta ao recipiente · Bug 2895507: MH e outras regras estão mal definidas · Bug 2945276: Vista de teclado Rodin exibida prematura · Bug 2952087: Rodin 1.2 reuses errône rodin 1.1 à prova · Bug 2952090: Ao renomear um contexto, ...

Rodin Software Relacionado