Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. B Compiler

B Compiler 19.05.2009

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

Trình biên dịch B là một công cụ có thể phân tích các mô hình B, và thực hiện phân tích cú pháp và ngữ nghĩa. Nó cũng có thể được sử dụng như một thư viện, liên kết với các ứng dụng thao tác các mô hình B (cross referencer, code generator, documentation generator, v.v.).

lịch sử phiên bản

  • Phiên bản bcomp%20source%2019.05.2009 đăng trên 2009-05-19
    Một số bản sửa lỗi và cập nhật
  • Phiên bản bcomp source 19.05.2009 đăng trên 2009-05-19

Chi tiết chương trình

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

  • SEO - Keyword Checker Dùng thử miễn phí

    Phân tích bất kỳ Trang web nào và kiểm tra các Từ khóa được sử dụng nhiều nhất

  • Finite State Machine Language Miễn phí

    Một ngôn ngữ trong đó để xác định hữu hạn nhà nước máy. Các máy này sau đó được thực hiện bằng các ngôn ngữ khác nhau, và thậm chí trong các mô hình khác nhau trong các ngôn ngữ đó, thông qua mã được tạo ra bởi fsmlang. Ngo

  • MVR Composer Miễn phí

    Multivariate Regression Composer, một hộp công cụ Matlab. Nó tạo ra một mô hình hồi quy của cấu trúc tối ưu. Sử dụng tập dữ liệu nguồn, các mô hình ban đầu và các chức năng nguyên thủy.

  • Design Pattern Automation Toolkit Miễn phí

    Một bộ công cụ để thiết kế các ứng dụng bằng cách sử dụng các mẫu thiết kế, với cơ sở để tạo ra mã và kỹ thuật đảo ngược. Kéo và thả cơ sở để tạo sơ đồ lớp UML Hỗ trợ để viết plug-in tùy chỉnh cho máy phát điện mã và kỹ thuật

  • Software Build System Miễn phí

    Krypton là một công cụ xây dựng phần mềm áp dụng một mô hình định hướng artifact để xây dựng, theo đó tập trung vào những gì được xây dựng chứ không phải là cách nó được xây dựng. Thư viện tiêu chuẩn của Krypton cung cấp hỗ t

  • MammoothLibrary Miễn phí

    MammoothLibrary là một tập hợp các lớp C++, chủ yếu được thiết kế để cung cấp một khuôn khổ di động đa luồng, với rất đơn giản để sử dụng chỉ thị để tạo và quản lý chủ đề và ổ cắm. Cốt lõi được dựa trên mô hình SCOOP, được ph

  • codavaj - javadoc in reverse Miễn phí

    codavaj - javadoc ngược lại. Một công cụ kỹ thuật đảo ngược dường như vô dụng để chuyển đổi HTML javadoc thành bộ xương tập tin nguồn java - hoặc một đại diện nội bộ giống như api phản ánh.

  • yaf Miễn phí

    Không, không, không, là viết tắt của Yet Another Fotoalbum! và là một album ảnh CGI kịch bản.

  • GuardX Antivirus Dùng thử miễn phí

    Bạn sợ rằng trên điện thoại của bạn sẽ được cài đặt ứng dụng độc hại hoặc dữ liệu cá nhân của bạn sẽ bị đánh cắp? Sau đó, sử dụng GuardX. Nó bảo vệ các ứng dụng của bạn khỏi phần mềm độc hại và phần mềm gián điệp. Sử dụng G

  • Redmine Client Miễn phí

    Redmine Khách hàng là một công cụ máy tính để bàn miễn phí và mã nguồn mở để báo cáo thời gian dành cho các vấn đề và tạo ra các vấn đề trong hệ thống quản lý dự án Redmine và một thư viện các chức năng đóng gói các tính năng