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

Syspect 1.5.0

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos
Descargar

Syspect es una herramienta para especificar un sistema utilizando diagramas UML2 y traducirlos en una especificación CSP-OZ-DC para la verificación formal.

historial de versiones

  • Versión 1.5.0 publicado en 2010-05-11
    Varias correcciones y actualizaciones
  • Versión 1.5.0 publicado en 2010-05-11

Detalles del programa

Programas relacionados

  • Frankenstein Project: Hack the Genome Gratis

    Proyecto Frankenstein: Hackear el GenomaUna colección de herramientas valiosas necesarias para el análisis del genoma, tales como:- molécula, elemento de proteína 3d estructura visor- máquina de alineación de proteínas

  • Order Switchable Column Table (OSCT) Gratis

    Order Switchable Column Table (OSCT) es un marco de formato de pestañas en biología molecular. OSCT, desarrollado en RIKEN OSC, proporciona un marco general para capturar metadatos (como archivos de entrada, protocolo, paráme

  • Chemistry Terms Dictionary Gratis

    Descargue el diccionario completo de la guía química hoy mismo. Esta aplicación contiene más de 1000 "Términos químicos" junto con sus definiciones científicas.El usuario de esta aplicación puede buscar definiciones

  • Zoorbar Gratis

    Zoorbar es una aplicación informática diseñada para gestionar y digitalizar colecciones de Historia Natural. - Registro de todas las identificaciones de especímenes. Se basa en MS-Access. Créditos y más información en http://

  • Turkish Human Mutation Database Gratis

    La rápida acumulación de datos de mutaciones humanas ha llevado a la idea de establecer una base de datos nacional/étnica en Turquía avalada por HUGO-MDI/HGVS. El proyecto interdisciplinario hmut-tr iniciado en 1995 tiene com

  • Regex Creator Gratis

    Regex Creator es una herramienta para ayudar a crear expresiones regulares (regex). El objetivo es que sea lo más fácil y rápido posible crear regex. Pegue el texto para analizarlo, especifique los valores que desea extraer y

  • Lapack++ Gratis

    LAPACK++ es una biblioteca para cálculos de álgebra lineal de alto rendimiento.Esta versión incluye soporte para resolver sistemas lineales utilizando LU, Cholesky,Factorizaciones de matriz QR, para matrices reales y comp

  • Buxa Code Documentor for PHP 6 Gratis

    Una API fácil de usar para documentar proyectos PHP (> 5.3). Sigue una estructura estricta y originalmente, sólo fue escrito para el Marco Buxa. El documentor utiliza principalmente la reflexión y sí... por supuesto, es co

  • Moodle presubscribe Gratis

    El objeto presuscribido se puede utilizar con Moodle para agregarle capacidades completas de presuscrita. El módulo permite a los usuarios presuscribir un curso (con correo electrónico de notificación). El administrador de Mo

  • di-base read Fast Alignment Search Tool Gratis

    Herramienta de búsqueda de alineación rápida para lecturas di-base (espacio de color; AB SOLiD). Un programa complementario para los populares mapeadores de lectura Illumina mrFAST y mrsFAST.