ER Model Transformation

Brought to you by: arpitashukla

Last Update: 2016-02-16

Get an email when there's a new version of ER Model Transformation

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.

Project Activity

See All Activity >

Follow ER Model Transformation

ER Model Transformation Web Site

Other Useful Business Software

Outgrown Windows Task Scheduler?

Free diagnostic identifies where your workflow is breaking down—with instant analysis of your scheduling environment.

Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.

Download Free Tool

Rate This Project

User Reviews

Be the first to post a review of ER Model Transformation!

Additional Project Details

Registered

2010-03-12

Report inappropriate content

Recommended Projects

HOL theorem-proving system
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
PiArmada
Clone of Wing Commander Armada, using and proving the Pi4x turn-based space strategy engine. Written in Python, using the Pygame library, designed to implement all functions of Armada while improving the interface and allowing extensions.
Google Closure Compiler
A JavaScript checker and optimizer
TiWarriors Asteroids Game
This is an arcade style game based on the classical Asteroids. Two things differ from the original: energy control and multiplayer mode. Its 100% pure Java, proving that the language is becoming more suitable for game developing.
Latency Monitor
Monitor and log your latency to other computers.