Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. Syspect

Syspect 1.5.0

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 5.0/5 - ‎1 ‎votos
Baixar

Syspect é uma ferramenta para especificar um sistema usando diagramas UML2 e traduzi-los em uma especificação CSP-OZ-DC para verificação formal.

história da versão

  • Versão 1.5.0 postado em 2010-05-11
    Várias correções e atualizações
  • Versão 1.5.0 postado em 2010-05-11

Detalhes do programa

Programas Relacionados

  • Frankenstein Project: Hack the Genome Grátis

    Frankenstein Project: Hack the GenomeUma coleção de ferramentas valiosas necessárias para a análise do genoma, tais como:- molécula, proteína 3d estrutura espectador- máquina de alinhamento de proteínas- clonador- F

  • Order Switchable Column Table (OSCT) Grátis

    Order Switchable Column Table (OSCT) é um quadro de formato separado em biologia molecular. A OSCT, desenvolvida na RIKEN OSC, fornece um quadro geral para a captura de meta-dados (tais como ficheiro de entrada, protocolo, pa

  • Chemistry Terms Dictionary Grátis

    Faça o download do dicionário completo do guia de química hoje. Esta aplicação contém mais de 1000 "Termos Químicos" juntamente com as suas Definições Científicas.O utilizador desta aplicação pode procurar definiçõe

  • Zoorbar Grátis

    Zoorbar é uma aplicação de computador projetada para gerir e digitalizar coleções de História Natural. - Registo de todas as identificações dos espécimes. Baseia-se no MS-Access. Créditos e mais informações na http://www.gbif

  • Turkish Human Mutation Database Grátis

    A rápida acumulação de dados sobre mutações humanas levou à ideia de estabelecer uma base de dados nacional/étnica na Turquia, apoiada pela HUGO-MDI/HGVS. O projeto interdisciplinar hmut-tr iniciado em 1995 visa acolher estes

  • Regex Creator Grátis

    Regex Creator é uma ferramenta para ajudar a criar expressões regulares (regex). O objetivo é torná-lo o mais fácil e rápido possível para criar o regex. Cole o texto para analisar, especifique os valores para extrair e gerar

  • Lapack++ Grátis

    LAPACK++ é uma biblioteca para cálculos lineares de álgebra de alto desempenho.Esta versão inclui suporte para a resolução de sistemas lineares utilizando LU, Cholesky,Factorizações da matriz QR, para matrizes reais e com

  • Buxa Code Documentor for PHP 6 Grátis

    Uma API fácil de usar para documentar projetos PHP (>= 5.3). Segue uma estrutura rigorosa e, originalmente, foi apenas escrita para o Quadro Buxa. O documentor usa principalmente reflexão e sim... é claro, suporta as coisa

  • Moodle presubscribe Grátis

    O objeto pré-subscrição pode ser usado com o Moodle para adicionar capacidades de pré-subscrição completas. O módulo permite aos utilizadores pré-subscreverem um curso (com e-mail de notificação). A administração Moodle pode

  • di-base read Fast Alignment Search Tool Grátis

    Ferramenta de pesquisa de alinhamento rápido para leituras di-base (espaço de cores; AB SOLiD). Um programa complementar para a popular Illumina leu mappers mrFAST e mrsfast.