Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. Syspect

Syspect 1.5.0

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara
Download

Syspect adalah alat untuk menentukan sistem menggunakan diagram UML2 dan menerjemahkannya ke dalam spesifikasi CSP-OZ-DC untuk verifikasi formal.

Riwayat versi

  • Versi 1.5.0 diposting di 2010-05-11
    Beberapa perbaikan dan pembaruan
  • Versi 1.5.0 diposting di 2010-05-11

Detil Program

Program Terkait

  • Frankenstein Project: Hack the Genome Gratis

    Proyek Frankenstein: Retas GenomKumpulan alat berharga yang diperlukan untuk analisis genom, seperti:- molekul, protein 3d struktur viewer- Mesin penyelarasan protein- Kloning- Alat manipulasi DNA- Penerjemah DNA-

  • Order Switchable Column Table (OSCT) Gratis

    Order Switchable Column Table (OSCT) adalah kerangka kerja format tab-delmited dalam biologi molekuler. OSCT, yang dikembangkan dalam RIKEN OSC, menyediakan kerangka kerja umum untuk menangkap meta-data (seperti file input, p

  • Chemistry Terms Dictionary Gratis

    Unduh kamus panduan kimia lengkap hari ini. Aplikasi ini berisi lebih dari 1000 "Istilah Kimia" bersama dengan Definisi Ilmiah mereka.Pengguna aplikasi ini dapat mencari Definisi untuk istilah kimia tertentu. Temuka

  • Zoorbar Gratis

    Zoorbar adalah aplikasi komputer yang dirancang untuk mengelola dan mendigitalkan koleksi Sejarah Alam. - Merekam semua identifikasi spesimen. Hal ini didasarkan pada MS-Access. Ucapan kredit dan informasi lebih lanjut di htt

  • Turkish Human Mutation Database Gratis

    Akumulasi data mutasi manusia yang cepat telah menyebabkan gagasan untuk membangun basis data nasional / etnis di Turki yang didukung oleh HUGO-MDI / HGVS. Proyek hmut-tr interdisipliner yang dimulai pada tahun 1995 bertujuan

  • Regex Creator Gratis

    Regex Creator adalah alat untuk membantu membuat ekspresi reguler (regex). Tujuannya adalah untuk membuatnya semudah dan secepat mungkin untuk menciptakan regex. Anda menempelkan teks untuk diurai, menentukan nilai untuk meng

  • Lapack++ Gratis

    LAPACK++ adalah perpustakaan untuk komputasi aljabar linear berkinerja tinggi.Versi ini mencakup dukungan untuk memecahkan sistem linear menggunakan LU, Cholesky,Faktorisasi matriks QR, untuk matriks riil dan kompleks.

  • Buxa Code Documentor for PHP 6 Gratis

    API yang mudah digunakan untuk mendokumentasikan proyek PHP (>= 5.3). Ini mengikuti struktur yang ketat dan awalnya, itu hanya ditulis untuk Kerangka Buxa. Documentor terutama menggunakan refleksi dan ya... tentu saja, itu

  • Moodle presubscribe Gratis

    Objek presubscribe dapat digunakan dengan Moodle untuk menambahkan kemampuan presubscribe penuh ke dalamnya. Modul ini memungkinkan pengguna mengasubscribe kursus (dengan email notifikasi). Admin moodle dapat menyetujui langg

  • di-base read Fast Alignment Search Tool Gratis

    Alat Pencarian Perataan Cepat untuk bacaan di-base (spasi warna; AB SOLiD). Program pelengkap untuk Illumina yang populer membaca peta mrFAST dan mrsFAST.