Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Syspect

Syspect 1.5.0

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes
Télécharger

Syspect est un outil pour spécifier un système utilisant des diagrammes UML2 et les traduire en une spécification CSP-OZ-DC pour la vérification formelle.

historique de la version

  • Version 1.5.0 posté sur 2010-05-11
    Plusieurs correctifs et mises à jour
  • Version 1.5.0 posté sur 2010-05-11

Détails du programme

Programmes connexes

  • Frankenstein Project: Hack the Genome Gratuit

    Projet Frankenstein : Pirater le génomeUne collection d’outils précieux nécessaires à l’analyse du génome, tels que :- molécule, visionneuse de structure 3D protéique- machine d’alignement de protéine- cloneur- Outi

  • Order Switchable Column Table (OSCT) Gratuit

    Le tableau de colonne commutable d’ordre (OSCT) est un cadre de format tab-delmited en biologie moléculaire. OSCT, développé dans RIKEN OSC, fournit un cadre général pour capturer les méta-données (comme le fichier d’entrée,

  • Chemistry Terms Dictionary Gratuit

    Téléchargez le dictionnaire complet de guide de chimie aujourd’hui. Cette application contient plus de 1000 "Chemical Terms " avec leurs définitions scientifiques.L’utilisateur de cette application peut rechercher d

  • Zoorbar Gratuit

    Zoorbar est une application informatique conçue pour gérer et numériser les collections d’histoire naturelle. - Enregistrement de toutes les identifications de spécimens. Il est basé sur MS-Access. Crédits et plus d’informati

  • Turkish Human Mutation Database Gratuit

    L’accumulation rapide des données sur les mutations humaines a conduit à l’idée d’établir une base de données nationale/ethnique en Turquie approuvée par HUGO-MDI/HGVS. Le projet interdisciplinaire hmut-tr initié en 1995 vise

  • Regex Creator Gratuit

    Regex Creator est un outil pour aider à créer des expressions régulières (regex). L’objectif est de le rendre aussi facile et aussi rapide que possible pour créer regex. Vous coller le texte pour parse, spécifier les valeurs

  • Lapack++ Gratuit

    LAPACK++ est une bibliothèque pour les calculs linéaires d’algèbre haute performance.Cette version inclut la prise en charge de la résolution de systèmes linéaires utilisant LU, Cholesky,Factorisations matricielles QR, po

  • Buxa Code Documentor for PHP 6 Gratuit

    Une API facile à utiliser pour documenter les projets PHP (>= 5.3). Il suit une structure stricte et à l’origine, il n’a été écrit que pour le cadre Buxa. Le documenteur utilise principalement la réflexion et oui... bien s

  • Moodle presubscribe Gratuit

    L’objet de présousbonnement peut être utilisé avec Moodle pour y ajouter des capacités de présousbonnement complètes. Le module permet aux utilisateurs de présoucrire un cours (avec e-mail de notification). Moodle admin peut

  • di-base read Fast Alignment Search Tool Gratuit

    Outil de recherche d’alignement rapide pour les lit di-base (espace couleur; AB SOLiD). Un programme complémentaire pour les populaires Illumina lire mappers mrFAST et mrsFAST.