Đây là ứng dụng Linux có tên A-Spec có bản phát hành mới nhất có thể được tải xuống dưới dạng a-spec.V0.6.1a.tar.gz. Nó có thể được chạy trực tuyến trong 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 A-Spec với OnWorks này 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ột thông số kỹ thuật
SỰ MIÊU TẢ:
Một ngôn ngữ đặc tả thiết kế dựa trên Ký hiệu Z và CSP.
Tính năng
- Ký hiệu CSP
- Ký hiệu Z
- Đầu ra LaTeX
- Đầu ra cây cú pháp XML
- Đầu ra cây cú pháp GraphViz
Khán giả
Khoa học / Nghiên cứu, Giáo dục, Công nghiệp Viễn thông, Nhà phát triển, Kỹ thuật
Giao diện người dùng
Bảng điều khiển / Thiết bị đầu cuối, Dòng lệnh
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/a-spec/. 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.