Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. ER Model Transformation
  5. Download

ER Model Transformation

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

Về ER Model Transformation

Thực thể và mối quan hệ được chỉ định là loại do người dùng xác định. Chúng ta sẽ sử dụng công cụ chứng minh PVS. Việc xác minh liên quan đến việc chứng minh các điều kiện đúng loại được tạo tự động bởi trình kiểm tra loại.

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

  • Guile XMMS Miễn phí

    Một tập hợp các ràng buộc cho phép các chương trình Guile để kiểm soát XMMS.

  • Gnome 2 applet simplified Miễn phí

    Gnome 2 applet đơn giản là một athempt để làm chonó dễ dàng hơn để viết applet bảng điều khiển gnome 2 và cổng applet windowmaker. Nó là một thư viện / skelleton cung cấp các chức năng phổ biến nhất mà bạncần thiết khi

  • DataStructures,Algorithms,AutomataTheory Miễn phí

    một thư viện lớp có chứa một tập hợp các cấu trúc dữ liệu, một số thuật toán theo kỹ thuật thiết kế thuật toán, một số mô tả về các kỹ thuật được thu thập bởi tôi, các thuật toán liên quan đến ngôn ngữ chính thức và lý thuyết

  • Sky Pilot Miễn phí

    Sky Pilot là một triển khai mới của ngôn ngữ lập trình phi công tiêu chuẩn IEEE. Nó là di động cho tất cả các hệ điều hành hiện đại, và được thiết kế để dễ sử dụng và cập nhật.

  • MCRS-Radio Scheduler Miễn phí

    MCRS là ment để phục vụ như là một phần mềm lập kế hoạch cho các đài phát thanh. Mục đích là để cung cấp một thay thế cho các sản phẩm thương mại expencive để chơi nhạc, ginggles và công khai trên hệ thống đài phát thanh.

  • RACER Project Miễn phí

    Bộ sưu tập các dự án và công cụ được sử dụng với các lý luận ngữ nghĩa động cơ RacerPro. RacerManager là dự án đầu tiên có sẵn trong bộ sưu tập này. RacerManager đã được phát triển để phục vụ như một máy chủ ứng dụng OWL-QL c

  • XFiler Miễn phí

    XFiler là một hệ thống quản lý nội dung dựa trên J2EE cho phép người dùng nộp nội dung, siêu dữ liệu hồ sơ, duy trì lịch sử phiên bản và truy cập an toàn.

  • Star Template for JSPWiki Miễn phí

    & Star Template cho JSPWiki" là một mẫu cho JSPWiki (jspwiki.org). Chúng tôi cung cấp phiên bản tiếng Trung giản thể ngay bây giờ, và có thể chúng tôi sẽ cung cấp tiếng Anh, tiếng Trung phồn thể, phiên bản tiếng

  • Orangevolt EclipseXUL Miễn phí

    EclipseXUL là một tính năng Eclipse thêm xul hỗ trợ cho nền tảng Eclipse. Tính năng này bao gồm Wizards, Editors, Natures, Launch Configurations, Online Help, v.v. EclipseXUL được thay thế bởi XULBooster (http://www.xulbooste

  • cairngorm Miễn phí

    Cairngorm đặt nền móng cho việc cung cấp các dự án Flex và AIR thành công.