![](/statics/img/blank.png)
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
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
Về Java Modeling Language (JML)
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.