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

Syspect 1.5.0

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos
Download

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 Livre

    Projeto Frankenstein: Hackear o GenomaUma coleção de ferramentas valiosas necessárias para a análise do genoma, tais como:- molécula, proteína 3d estrutura visualizador- máquina de alinhamento de proteínas- cloner-

  • Order Switchable Column Table (OSCT) Livre

    A Tabela de Colunas Comutação de Pedidos (OSCT) é uma estrutura do formato tab-delmited em biologia molecular. O OSCT, desenvolvido no RIKEN OSC, fornece uma estrutura geral para capturar meta-dados (como arquivo de entrada,

  • Chemistry Terms Dictionary Livre

    Baixe o dicionário completo do guia de química hoje. Este Aplicativo contém mais de 1000 "Termos químicos" juntamente com suas Definições Científicas.O usuário deste aplicativo pode procurar definições para determin

  • Zoorbar Livre

    Zoorbar é um aplicativo de computador projetado para gerenciar e digitalizar coleções de História Natural. - Registro de todas as identificações de espécimes. É baseado no MS-Access. Créditos e mais informações em http://www.

  • Turkish Human Mutation Database Livre

    O rápido acúmulo de dados de mutação humana levou à ideia de estabelecer um banco de dados nacional/étnico na Turquia endossado pelo HUGO-MDI/HGVS. O projeto interdisciplinar hmut-tr iniciado em 1995 tem como objetivo abrigar

  • Regex Creator Livre

    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 regex. Você cola o texto para analisar, especificar os valores para extrair e ge

  • Lapack++ Livre

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

  • Buxa Code Documentor for PHP 6 Livre

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

  • Moodle presubscribe Livre

    O objeto pré-inscrição pode ser usado com o Moodle para adicionar recursos completos de pré-inscrição a ele. O módulo permite que os usuários pré-inscrevam um curso (com e-mail de notificação). O administrador moodle pode apr

  • di-base read Fast Alignment Search Tool Livre

    Ferramenta de pesquisa de alinhamento rápido para leituras de base di (espaço de cores; AB SOLiD). Um programa complementar para os populares illumina ler mappers mrFAST e mrsFAST.