• 提交作业时，注意把自己的模型工程重命名为 
        工程名_姓名
    的形式，然后再对工程使用 Export 命令，导出为 .zip 压缩包，发给 Abrial 教授。如图所示。




    在提交作业时，请确保工程没有语法错误。如果有问题，可以随时给 Abrial 教授发邮件提问，或到办公室答疑；也可以与其他同学互相讨论。

  • 在导入工程文件时，使用 File 菜单的 Import 命令。如图：