Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. Maude MSOS Tool

Maude MSOS Tool

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

Maude MSOS Tool là một môi trường chính thức cho các đặc điểm kỹ thuật của modular cấu trúc hoạt động ngữ nghĩa thông số kỹ thuật. Nó đặc biệt hữu ích cho các đặc điểm kỹ thuật chính thức của ngôn ngữ lập trình và các hệ thống đồng thời.

lịch sử phiên bản

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

Chi tiết chương trình

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

  • Intuitive Neural Network Miễn phí

    Mạng nơ-ron trực quan là một phần mềm được tích hợp cho các mục đích CAE (Computer Aided Education) trong Trí tuệ nhân tạo.

  • Digital Camera EXIF Backup Miễn phí

    Đơn giản EXIF sao lưu Java ứng dụng mà đọc ngày lấy thẻ từ một hình ảnh và sao chép các tập tin đến một vị trí mục tiêu bằng cách sử dụng một cấu trúc thư mục mẫu ngày được xác định trước.

  • TUPA - The Ultimate PowerDNS Admin Miễn phí

    TUPA là một lối vào quản trị PowerDNS dựa trên web được lập trình trong PHP / Javascript (AJAX) / MySQL.Hỗ trợ tạo nhóm, người dùng và mẫu.

  • Surfraw - Shell Revolutionary Front Miễn phí

    Surfraw - Shell người dùng 'Cách mạng Mặt trận Rage Against the Web. Surfraw cung cấp một giao diện dòng lệnh unix nhanh chóng cho một loạt các công cụ tìm kiếm WWW phổ biến và các hiện vật khác của quyền lực. Từ bỏ thần tượn

  • Cybios Digital Community Miễn phí

    Cybios là một cộng đồng game-cyber trực tuyến dựa trên Avatar tương tác ở các thành phố ảo. Là một Avatar, bạn có thể sống, làm việc và chơi trong Cộng đồng kỹ thuật số như RealWorld. Ở Cybios, tất cả đều có thể xảy ra. (tìm

  • OWLmt Miễn phí

    OWLmt là một công cụ lập bản đồ ontology dựa trên thông số kỹ thuật của Web Ontology Language (OWL). Nó cung cấp một giao diện người dùng đồ họa để xác định ánh xạ giữa hai lược đồ ontology. Nó cung cấp một động cơ để đạt đượ

  • Maven Wiki Plugin Miễn phí

    Maven Wiki Plugin lấy tài liệu từ các Hệ thống Wiki khác nhau và tạo các tệp XDoc để xử lý thêm bởi các plugin Maven khác như plugin PDF hoặc plugin XDoc.

  • Input Abstraction Layer Miễn phí

    Input Abstraction Layer (IAL) là một dự án mà làm cho các phím đặc biệt (ví dụ như các phím đa phương tiện, phím chức năng được tìm thấy trên máy tính xách tay) & chỉ cần làm việc & trích dẫn;. IAL cung cấp một daemon

  • iChooChoo Miễn phí

    iChooChoo là một trình mô phỏng tàu nối mạng dựa trên Java, hoàn chỉnh với âm thanh và hình ảnh động. Tạo bố cục theo dõi tùy chỉnh và thậm chí có xe lửa ghé thăm các máy tính khác! Thiết kế lập trình mô-đun. Chạy trên và

  • Commons for Java 5 Miễn phí

    Một giải pháp cho các vấn đề phổ biến trong java bằng cách sử dụng các tính năng ngôn ngữ mới như chú thích generics autoboxing varargs ...