Submit Software
  1. Home
  2. Windows
  3. Other
  4. ER Model Transformation

ER Model Transformation

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

Entities and relationships are specified as user defined types. We'll be using PVS proving tool. The verification involves proving the type correctness conditions that is generated automatically by the type checker.

VERSION HISTORY

  • Version N/A posted on 2010-03-12
    Several fixes and updates
  • Version N/A posted on 2010-03-12

Program Details

Related Programs

  • Guile XMMS Free

    A set of bindings allowing Guile programs to control XMMS.

  • Gnome 2 applet simplified Free

    Gnome 2 applet simplified is an athempt to makeit easier to write gnome 2 panel applets and to port windowmaker applets. It is a library/skelleton that provides the most common functions that youneed when you write gnome 2

  • DataStructures,Algorithms,AutomataTheory Free

    a class library containing a collection of data structures,some algorithms according to algorithm design techniques ,some descriptions about that techniques gathered by me,algorithms regarding formal languages and automata th

  • Sky Pilot Free

    Sky Pilot is a new implementation of the IEEE-standard PILOT programming language. It is portable to all modern operating systems, and is designed to be easy to use and up to date.

  • MCRS-Radio Scheduler Free

    MCRS is ment to serve as a scheduling software for radio stations. The goal is to provide an alternative to expencive commercial products for playing music, ginggles and publicity on radio station systems.

  • RACER Project Free

    Collection of Projects and Tools to be used with the semantic reasoning engine RacerPro. RacerManager is the first project available in this collection. RacerManager has been developed to serve as an OWL-QL application server

  • XFiler Free

    XFiler is a J2EE based content management system that allows user to file content, profile metadata, maintain versioning history and secure access.

  • Star Template for JSPWiki Free

    "Star Template for JSPWiki" is a template for JSPWiki (jspwiki.org). We provide Simplified Chinese edition now,and may be we will provide English,Traditional Chinese,Japanese edition in future. It is licensed accord

  • Orangevolt EclipseXUL Free

    EclipseXUL is an Eclipse Feature adding XUL support to the Eclipse platform. The Feature includes Wizards, Editors, Natures, Launch Configurations, Online Help etc. EclipseXUL is superceded by XULBooster (http://www.xulbooste

  • cairngorm Free

    Cairngorm lays the foundations for delivering successful Flex and AIR projects.