Software einreichen
  1. Startseite
  2. Windows
  3. Andere
  4. Syspect

Syspect 1.5.0

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 5.0/5 - ‎1 ‎Stimmen
Herunterladen

Syspect ist ein Tool, um ein System mit UML2-Diagrammen zu spezifizieren und in eine CSP-OZ-DC-Spezifikation zur formalen Überprüfung zu übersetzen.

VERSIONSVERLAUF

  • Version 1.5.0 veröffentlicht auf 2010-05-11
    Mehrere Korrekturen und Updates
  • Version 1.5.0 veröffentlicht auf 2010-05-11

Programmdetails

Verwandte Programme

  • Frankenstein Project: Hack the Genome kostenlos

    Frankenstein-Projekt: Hack das GenomEine Sammlung wertvoller Werkzeuge, die für die Genomanalyse benötigt werden, wie z. B.:- Molekül, Protein 3D Struktur Betrachter- Protein-Alignement-Maschine- Kloner- DNA-Manipul

  • Order Switchable Column Table (OSCT) kostenlos

    Order Switchable Column Table (OSCT) ist ein Framework des tab-delmited Formats in der Molekularbiologie. OSCT, entwickelt in RIKEN OSC, bieten ein allgemeines Framework, um Metadaten (wie Eingabedatei, Protokoll, Parameter u

  • Chemistry Terms Dictionary kostenlos

    Laden Sie noch heute das komplette Chemie-Führer-Wörterbuch herunter. Diese Anwendung enthält über 1000 "Chemische Begriffe" zusammen mit ihren wissenschaftlichen Definitionen.Der Benutzer dieser Anwendung kann nach

  • Zoorbar kostenlos

    Zoorbar ist eine Computeranwendung zur Verwaltung und Digitalisierung von Naturgeschichte-Sammlungen. - Aufzeichnung aller Probenidentifikationen. Sie basiert auf MS-Access. Credits und weitere Informationen unter http://www.

  • Turkish Human Mutation Database kostenlos

    Die rasche Anhäufung menschlicher Mutationsdaten hat zur Idee geführt, in der Türkei eine nationale/ethnische Datenbank einzurichten, die von HUGO-MDI/HGVS unterstützt wird. Das 1995 ins Leben gerufene interdisziplinäre hmut-

  • Regex Creator kostenlos

    Regex Creator ist ein Tool zum Erstellen regulärer Ausdrücke (Regex). Das Ziel ist es, es so einfach und so schnell wie möglich zu machen, Regex zu erstellen. Sie fügen den zu analysierenden Text ein, geben die zu extrahieren

  • Lapack++ kostenlos

    LAPACK++ ist eine Bibliothek für hochleistungsfähige lineare Algebra-Berechnungen.Diese Version beinhaltet Unterstützung für die Lösung linearer Systeme mit LU, Cholesky,QR-Matrix-Faktorisierungen, für reale und komplexe

  • Buxa Code Documentor for PHP 6 kostenlos

    Eine einfach zu bedienende API zum Dokumentieren von PHP-Projekten (>= 5.3). Es folgt einer strengen Struktur und ursprünglich wurde es nur für das Buxa Framework geschrieben. Der Dokumentor verwendet hauptsächlich Reflexi

  • Moodle presubscribe kostenlos

    Das Vorabonnementobjekt kann mit Moodle verwendet werden, um ihm vollständige Vorabonnementfunktionen hinzuzufügen. Das Modul ermöglicht es Benutzern, einen Kurs (mit Benachrichtigungs-E-Mail) vorzubestellen. Moodle Admin kan

  • di-base read Fast Alignment Search Tool kostenlos

    Schnelles Ausrichtungssuchwerkzeug für Di-Base-Lesevorgänge (Farbraum; AB SOLiD). Ein ergänzendes Programm für die beliebten Illumina-Lesekartenkartenmrater mrFAST und mrsFAST.