Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. Syspect

Syspect 1.5.0

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu
Tải về

Syspect là một công cụ để xác định một hệ thống sử dụng sơ đồ UML2 và dịch chúng thành một đặc điểm kỹ thuật CSP-OZ-DC để xác minh chính thức.

lịch sử phiên bản

  • Phiên bản 1.5.0 đăng trên 2010-05-11
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 1.5.0 đăng trên 2010-05-11

Chi tiết chương trình

Các chương trình liên quan

  • Frankenstein Project: Hack the Genome Miễn phí

    Frankenstein dự án: Hack bộ genMột bộ sưu tập các công cụ có giá trị cần thiết để phân tích bộ gen, chẳng hạn như:- phân tử, protein 3d cấu trúc xem- máy căn chỉnh protein- nhân bản- Công cụ thao tác DNA- Dịch giả

  • Order Switchable Column Table (OSCT) Miễn phí

    Order Switchable Column Table (OSCT) là một khuôn khổ của định dạng tab-delmited trong sinh học phân tử. OSCT, được phát triển trong RIKEN OSC, cung cấp một khuôn khổ chung để nắm bắt meta-data (chẳng hạn như tập tin đầu vào,

  • Chemistry Terms Dictionary Miễn phí

    Tải về từ điển hướng dẫn hóa học hoàn chỉnh ngày hôm nay. Ứng dụng này chứa hơn 1000 & Điều khoản hóa học & cùng với definitions.The khoa học của họ.Người sử dụng ứng dụng này có thể tìm kiếm các định nghĩa cho các th

  • Zoorbar Miễn phí

    Zoorbar là một ứng dụng máy tính được thiết kế để quản lý và số hóa các bộ sưu tập Lịch sử Tự nhiên. - Ghi nhận tất cả các mẫu vật. Nó dựa trên MS-Access. Tín dụng và biết thêm thông tin http://www.gbif.es/zoorbar/zoorbar.php

  • Turkish Human Mutation Database Miễn phí

    Sự tích lũy nhanh chóng của dữ liệu đột biến của con người đã dẫn đến ý tưởng thiết lập một cơ sở dữ liệu quốc gia / dân tộc ở Thổ Nhĩ Kỳ xác nhận bởi HUGO-MDI / HGVS. Dự án HMUT-TR liên ngành được khởi xướng vào năm 1995 nhằ

  • Regex Creator Miễn phí

    Regex Creator là một công cụ để giúp tạo ra các biểu thức chính quy (regex). Mục đích là để làm cho nó dễ dàng và càng nhanh càng tốt để tạo ra regex. Bạn dán văn bản để phân tích cú pháp, xác định các giá trị để trích xuất v

  • Lapack++ Miễn phí

    LAPACK++ là một thư viện cho các tính toán đại số tuyến tính hiệu suất cao.Phiên bản này bao gồm hỗ trợ giải quyết các hệ thống tuyến tính sử dụng LU, Cholesky,Yếu tố ma trận QR, cho ma trận thực và phức tạp.

  • Buxa Code Documentor for PHP 6 Miễn phí

    Một API dễ sử dụng để ghi lại các dự án PHP (>= 5.3). Nó tuân theo một cấu trúc nghiêm ngặt và ban đầu, nó chỉ được viết cho Khung Buxa. Các documentor chủ yếu sử dụng phản ánh và có ... tất nhiên, nó hỗ trợ các công cụ kh

  • Moodle presubscribe Miễn phí

    Đối tượng đăng ký trước có thể được sử dụng với Moodle để thêm khả năng đăng ký trước đầy đủ vào nó. Mô-đun này cho phép người dùng đăng ký trước một khóa học (với email thông báo). Moodle admin có thể chấp thuận đăng ký này

  • di-base read Fast Alignment Search Tool Miễn phí

    Công cụ tìm kiếm căn chỉnh nhanh cho lần đọc di-base (không gian màu; AB SOLiD). Một chương trình bổ sung cho illumina phổ biến đọc bản đồ mrFAST và mrsFAST.