Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. ER Model Transformation

ER Model Transformation

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 3.0/5 - ‎1 ‎Голосов
Скачать

Сущности и отношения определяются как типы, определяемые пользователем. Мы будем использовать PVS доказывающий инструмент. Проверка включает в себя доказательство условий правильности типа, которые генерируются автоматически проверкой типа.

история версии

  • Версия N/A размещено на 2010-03-12
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2010-03-12

Подробная информация о программе

Похожие программы

  • Guile XMMS Бесплатный

    Набор привязк, позволяющих программам Guile управлять XMMS.

  • Gnome 2 applet simplified Бесплатный

    Gnome 2 яблоко упрощено является athempt, чтобы сделатьлегче написать гном 2 панели applets и порт оконных applets. Это библиотека / skelleton, который обеспечивает наиболее распространенные функции, которые вынужно, ко

  • DataStructures,Algorithms,AutomataTheory Бесплатный

    библиотека класса, содержащая коллекцию структур данных, некоторые алгоритмы в соответствии с методами проектирования алгоритмов, некоторые описания о том, что методы, собранные мной, алгоритмы, касающиеся формальных языков и

  • Sky Pilot Бесплатный

    Sky Pilot — это новая реализация стандартного языка программирования PILOT IEEE. Он портативен для всех современных операционных систем и разработан, чтобы быть простым в использовании и современным.

  • MCRS-Radio Scheduler Бесплатный

    MCRS является ment служить в качестве планирования программного обеспечения для радиостанций. Цель состоит в том, чтобы предоставить альтернативу expencive коммерческих продуктов для воспроизведения музыки, ginggles и рекламы

  • RACER Project Бесплатный

    Коллекция проектов и инструментов, которые будут использоваться с семантической аргументации двигателя RacerPro. RacerManager является первым проектом, доступным в этой коллекции. RacerManager был разработан в качестве сервер

  • XFiler Бесплатный

    XFiler — это система управления контентом на основе J2EE, которая позволяет пользователю подавать содержимое, метаданные профиля, поддерживать историю версий и безопасный доступ.

  • Star Template for JSPWiki Бесплатный

    «Квота;Звездный шаблон для JSPWiki»quot; является шаблоном для JSPWiki (jspwiki.org). Мы предоставляем упрощенное китайское издание сейчас, и может быть, мы предоставим английский, традиционный китайский, японское издание в б

  • Orangevolt EclipseXUL Бесплатный

    EclipseXUL - это функция Eclipse, добавляя поддержку XUL на платформу Eclipse. Функция включает в себя мастера, редакторы, природы, конфигурации запуска, онлайн-справки и т.д. EclipseXUL вывернул XULBooster (http://www.xulboo

  • cairngorm Бесплатный

    Cairngorm закладывает основы для реализации успешных проектов Flex и AIR.