ER Model Transformation

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 3.0/5 - ‎1 ‎投票

エンティティとリレーションシップは、ユーザー定義の型として指定されます。PVS証明ツールを使用します。検証では、型チェッカーによって自動的に生成されるタイプの正確性条件を証明します。

バージョン履歴

  • バージョン N/A に転記 2010-03-12
    いくつかの修正と更新
  • バージョン N/A に転記 2010-03-12

プログラムの詳細