Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. Overture: Formal modelling in VDM
  5. Download

Overture: Formal modelling in VDM

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

Về Overture: Formal modelling in VDM

Dự án Overture đang phát triển một tập hợp các plug-in Eclipse mã nguồn mở để hỗ trợ tích hợp các công cụ mô hình hóa VDM khác nhau (Phương pháp phát triển Vienna). Mục đích là để cung cấp hỗ trợ cho tất cả các công cụ VDM hiện có và phương ngữ ngôn ngữ.

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

  • Mkulu QA Proxy Miễn phí

    Mkulu QA Proxy được sử dụng để xem các chi tiết của các gói HTTP. Nó là một công cụ hữu ích để phát triển và thử nghiệm web. Công việc đang diễn ra để tăng chức năng của công cụ. Proxy có thể phân tích cú pháp giao thức AMF n

  • Illumination Miễn phí

    Illumination - một tính năng phong phú, plattform độc lập C ++ GUI thư viện. Các tính năng chính: themability, XML bề mặt mô tả hỗ trợ, tiện lợi bố trí công cụ, font-sensitiviness, phụ trợ cho X11, Windows, Carbon và Curses.

  • HMM Based Chinese Segmentor Miễn phí

    Đây là một dự án thực hiện giao diện của Lucene Analyzer để mở rộng chức năng đối phó với vấn đề phân khúc trung quốc dựa trên mô hình thống kê (Hiden Marcov Model)

  • NHibernateIt Miễn phí

    NHibernateNó là một NHibernate Session Management Helper và cung cấp các hành động CRUD cơ bản máng lớp Repository. Lấy cảm hứng từ dự án NHibernator, vào ngày oracleatdotnet.com

  • AstroWeka Miễn phí

    AstroWeka là một tập hợp các extentions để Weka, một chương trình khai thác dữ liệu phổ biến, cho phép nó làm việc trực tiếp với dữ liệu thiên văn trong Đài quan sát ảo.

  • CalFaces Miễn phí

    CalFaces (trước đây là jsforganiser) là một tập hợp các thành phần JavaServer Faces để sử dụng trong các ứng dụng PIM dựa trên web, cung cấp lịch kiểu Outlook với chế độ xem ngày, tuần làm việc, tuần và tháng, cũng như công c

  • Complement Miễn phí

    Thư viện C++ đa nền tảng. 1. xmt: Giao diện lập trình di động để xây dựng các ứng dụng hoặc thư viện MultiThreaded (MT); 2. vớ: giao diện cho ổ cắm (C ++ IO dòng); 3. StEM: hữu hạn nhà nước máy / khuôn khổ truyền thông (giao

  • H3xC4T Miễn phí

    H3xC4T đọc các tập tin nhị phân và hiển thị nội dung thập lục phân được sắp xếp theo cột ... trong tương lai, tôi sẽ thêm một số tính năng như chuyển đổi nhị phân đồng bằng hoặc tháo rời ...

  • Charset detector Miễn phí

    Thư viện để tự động charset phát hiện một văn bản hoặc tập tin nhất định. Bộ đệm đầu vào sẽ được phân tích để đoán mã hóa được sử dụng. Kết quả (charset tên hoặc mã trang id) có thể được sử dụng như là tham số điều khiển cho

  • Java Signal/Slot with Annotations Miễn phí

    Thư viện này là một API tín hiệu /khe cắm cho Java 5.0 sử dụng chú thích để đánh dấu các tín hiệu / khe cắm. Một phân lớp chứa tín hiệu / khe cắm enums, cũng như các phương pháp để phát ra tín hiệu đến khe của nó, được tạo ra