ER Model Transformation
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn cũng có thể nhấp vào Liên kết tải xuống bên ngoài sau để bắt đầu tải xuống:
http://ermt.svn.sourceforge.net/
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.