Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. Java Modeling Language (JML)

Java Modeling Language (JML)

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

Ngôn ngữ mô hình Java (JML) là một ngôn ngữ đặc tả giao diện hành vi có thể được sử dụng để xác định hành vi của các mô-đun Java (như trong thiết kế theo hợp đồng -- DBC). Nó có nhiều công cụ để kiểm tra khẳng định, kiểm tra đơn vị, v.v.

lịch sử phiên bản

  • Phiên bản plugins đăng trên 2011-02-13
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2011-02-13

Chi tiết chương trình

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

  • OpenSeeds Miễn phí

    OpenSeeds là một khuôn khổ phát triển web mã nguồn mở và mô hình đối tượng được thiết kế cho môi trường LAMP. Nó được thiết kế với các hệ thống phức tạp trong tâm trí. Bản thân khuôn khổ là trọng lượng nhẹ. Mô hình đối tượng

  • JNI++ Miễn phí

    Dự án này cung cấp hai mã tạo ra các tiện ích và một thư viện C++ cốt lõi đơn giản hóa lập trình cho JNI trong C ++.

  • Almende's Abbey Agent Kernel Miễn phí

    Dự án này cung cấp một hạt nhân đơn giản để xây dựng các ứng dụng dựa trên tác nhân phân tán. Nó dựa trên ý tưởng rằng các nguyên tắc lập trình luồng dữ liệu cơ bản rất phù hợp để thiết kế một ngôn ngữ phối hợp cho các môi tr

  • Flicky Web Launcher Dùng thử miễn phí

    Ứng dụng này chỉ là một biểu tượng khởi chạy About.com web.Giúp bạn dễ dàng truy cập trang web Flickr.appjungle.net liên kết với Flickr.(tất cả các nhãn hiệu đều thuộc sở hữu của chủ sở hữu tương ứng)Tuyên bố

  • MGP Miễn phí

    Plugin Maven GWT được sử dụng để biên dịch các tệp nguồn JavaScript từ nguồn Java. Plugin chạy GWTCompiler, cho phép cấu hình các tùy chọn trình biên dịch, tự động phát hiện vị trí tệp nguồn và tài nguyên. Không yêu cầu cài đ

  • Delta Compositor Miễn phí

    Delta Compositor là một bộ phim cao cấp compositing và gói hiệu ứng đặc biệt. Đó là trong sự phát triển rất sớm. Một phiên bản dựa trên kịch bản bây giờ đã có. Một GUI hiện đang được lập kế hoạch và phát triển.

  • Database Access Framework Miễn phí

    Một phiên bản nâng cao của khối ứng dụng truy cập dữ liệu từ microsoft mô hình & thực hành doanh nghiệp thư viện 2.0.

  • jDummy Miễn phí

    jDummy là một phần mở rộng cho jMock, một thư viện để thử nghiệm mã Java với các đối tượng giả. jDummy làm giảm mã cần thiết để thể hiện các mong đợi có liên quan bằng cách tạo ra các giá trị giả và các đối tượng bị chế giễu

  • ALPprolog Miễn phí

    ALPprolog là một prolog thực hiện một ngôn ngữ lập trình hành động. Với ALPprolog, bạn có thể lập trình chiến lược cho các đại lý tự trị trong các lĩnh vực năng động như thế giới Wumpus.

  • C++ Object Interfacing Dispatcher Miễn phí

    COID là một thư viện mạng phân phát đối tượng C++, với công cụ tự động tạo lớp giao tiếp nhẹ trực tiếp từ khai báo lớp C++.