Syspect 1.5.0
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/syspect/files/syspect/1.5.0/Syspect-RCP-1.5.0.win32.win32.x86.zip/download
Sobre Syspect
Syspect é uma ferramenta para especificar um sistema usando diagramas UML2 e traduzi-los em uma especificação CSP-OZ-DC para verificação formal.
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.