ER Model Transformation

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.0/5 - ‎1 ‎评分

实体和关系指定为用户定义的类型。我们将使用 PVS 证明工具。验证涉及验证类型正确性条件,该条件由类型检查器自动生成。

版本历史记录

  • 版本 N/A 发布于 2010-03-12
    若干修复和更新
  • 版本 N/A 发布于 2010-03-12

软件信息