Đây là ứng dụng Linux có tên RODIN, bản phát hành mới nhất có thể tải xuống dưới dạng ac.ddorf.refactory_feature_1.4.0.202502270902.jar. Có thể chạy trực tuyến trên nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng có tên RODIN này với OnWorks miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.
- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng, cài đặt và chạy nó.
MÀN HÌNH
Ad
Rodin
MÔ TẢ
Nền tảng công cụ mở cho sự phát triển chặt chẽ hiệu quả về chi phí của các dịch vụ hệ thống phần mềm phức tạp đáng tin cậy. Nền tảng này dựa trên phương pháp chính thức event-B và cung cấp hỗ trợ tự nhiên cho việc sàng lọc và chứng minh toán học.
Khán giả
Công nghệ thông tin, Khoa học / Nghiên cứu, Nhà phát triển
Giao diện người dùng
Eclipse
Ngôn ngữ lập trình
Java
Danh Mục
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/rodin-b-sharp/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ một trong những Hệ thống hoạt động miễn phí của chúng tôi.
