Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. Analyzer Component Framework

Analyzer Component Framework 0.1

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

ACF là một khuôn khổ cho viết mô hình-checkers. ACF được xây dựng trên quan sát cơ bản rằng cấu trúc của hầu hết các các thuật toán kiểm tra mô hình độc lập với hình thức được sử dụng để mô tả hệ thống.

lịch sử phiên bản

  • Phiên bản 0.1 đăng trên 2000-03-21
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 0.1 đăng trên 2000-03-21

Chi tiết chương trình

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

  • LEP Miễn phí

    Literate Eclipse Lập trình hỗ trợ các nhà phát triển bằng văn bản có cấu trúc, cũng tài liệu mã nguồn. LEP tích hợp tự động trích xuất mã nguồn và tài liệu vào môi trường nhật thực quen thuộc. Biên dịch và gỡ lỗi được hỗ trợ

  • BakerBots Miễn phí

    Đây là Trường Cao đẳng Baker, ứng dụng do thực tập sinh phát triển để chạy các chương trình như hình đại diện trong Second Life, OpenSim, v.v. Nó dựa trên Program# để xử lý AIML và libOpenMetaverse cho chức năng trình duyệt S

  • Survival Medicine Guide Dùng thử miễn phí

    "Yêu cầu Miễn phí Adobe Reader"********Đây là một hướng dẫn y học sống sót trong trường hợp tất cả chúng ta sợ hãi thực sự xảy ra. Đây là một lời khen tuyệt vời cho bất kỳ hướng dẫn sinh tồn tốt. Thông tin này có thể khôn

  • Universal Maths Conversion Library Miễn phí

    Thư viện UMCL cung cấp một API duy nhất cho các nhà phát triển ứng dụng đòi hỏi phải chuyển đổi giữa các định dạng Toán học khác nhau và đặc biệt là ký hiệu cụ thể chữ nổi Braille.

  • Bhagavad Gita(YaBG) Miễn phí

    YaBG - Tuy nhiên, một & Bhagavad Gita" ứng dụng. Ứng dụng này cho phép bạn đọc qua toàn bộ bhagavad gita mà không bị gián đoạn; không có quảng cáo, không có cửa sổ pop up đau đớn; hoàn toàn miễn phí và không có g

  • PONS German PREMIUM Dùng thử miễn phí

    Từ điển PONS tiếng Đức như một premium ngoại ngữ là với 77.000 từ khóa, cụm từ và công trình xây dựng và hơn 125.000 định nghĩa và ví dụ các công cụ tham khảo tiêu chuẩn toàn diện nhất của PONS. Bạn đang học tiếng Đức và cần

  • jQuantum Miễn phí

    jQuantum là một chương trình Java để mô phỏng một máy tính lượng tử, để thiết kế các mạch lượng tử, và để hình dung việc thực hiện các thuật toán lượng tử. Một mục đích chính khác, tuy nhiên, là để tạo ra hình ảnh trong đầu c

  • FlameBitmaps Miễn phí

    Tính toán 2D-Gray-quy mô bitmaps tính toán của một hình thức 3D-xoay cơ thể một khu vực phát hiện bằng cách sử dụng các thuật toán xử lý hình ảnh khác nhau. Được phát triển cho Trung tâm Hàng không Vũ trụ Đức (DLR). Dự án đã

  • fropho Miễn phí

    fropho tính toán tính chất phonon trong tinh thể, dựa trên phương pháp Parlinski-Li-Kawazoe. Thông tin của các lực tác động lên nguyên tử khi một nguyên tử được di dời được yêu cầu như thông tin đầu vào. fropho sẽ được thay t

  • FSMPP - Finite State Machines in C++ Miễn phí

    FSMPP là một thư viện cung cấp một khuôn khổ đơn giản, lite và trực quan để xây dựng máy nhà nước hữu hạn trong C ++.