形式化方法
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
5.导师针对上一步骤剩余的毕业设计题目，选择第二志愿的学生。（此步骤有时间限制，可自己合理定义开始时间和结束时间）。
6.没有学生选择的毕业设计题目可以重新开放选择。
考试题：
一、用自然语言（中文或英文）清楚的定义系统要求、状态和约束条件（30分）
二、形式的定义系统的状态和约束条件。（20分）
三、将系统的形式化规范完整的用Z Schemas描述出来并用自然语言（中文或英文）加以说明（50分）
2.每个学生可以选择的毕业设计题目数量有限（具体数目可以自己定义。但是要求一个毕设题目作为第一志愿，其余作为第二志愿）
3.毕业设计选题系统对学生开放选题时间有限制（最早时间，最晚时间，可自己合理定义）
4.导师针对每一个毕业设计题目，选择第一志愿的学生。（此步骤有时间限制，可自己合理定义开始时间和结束时间）
天津大学试卷专用纸
学院软件学院专业软件工程班年级学号姓名共4页第1页
2010～2011学年第一学期期末考试试卷
《形式化方法》（共4页）
（考试时间：2010年12月21日）
题号
一
二
三
成绩ห้องสมุดไป่ตู้
核分人签字
得分
软件开发项目：软件学院本科生毕业设计选题系统
系统基本要求：
1.每个导师可以开放一定数量的毕业设计题目，但要求一个题目只可接收一人（可自己定义每个导师最多开放的毕业设计题目数量）
天津大学试卷专用纸
学院软件学院专业软件工程班年级学号姓名共4页第2页
天津大学试卷专用纸
学院软件学院专业软件工程班年级学号姓名共4页第3页
天津大学试卷专用纸
学院软件学院专业软件工程班年级学号姓名共4页第4页
6.没有学生选择的毕业设计题目可以重新开放选择。
考试题：
一、用自然语言（中文或英文）清楚的定义系统要求、状态和约束条件（30分）
二、形式的定义系统的状态和约束条件。（20分）
三、将系统的形式化规范完整的用Z Schemas描述出来并用自然语言（中文或英文）加以说明（50分）
2.每个学生可以选择的毕业设计题目数量有限（具体数目可以自己定义。但是要求一个毕设题目作为第一志愿，其余作为第二志愿）
3.毕业设计选题系统对学生开放选题时间有限制（最早时间，最晚时间，可自己合理定义）
4.导师针对每一个毕业设计题目，选择第一志愿的学生。（此步骤有时间限制，可自己合理定义开始时间和结束时间）
天津大学试卷专用纸
学院软件学院专业软件工程班年级学号姓名共4页第1页
2010～2011学年第一学期期末考试试卷
《形式化方法》（共4页）
（考试时间：2010年12月21日）
题号
一
二
三
成绩ห้องสมุดไป่ตู้
核分人签字
得分
软件开发项目：软件学院本科生毕业设计选题系统
系统基本要求：
1.每个导师可以开放一定数量的毕业设计题目，但要求一个题目只可接收一人（可自己定义每个导师最多开放的毕业设计题目数量）
天津大学试卷专用纸
学院软件学院专业软件工程班年级学号姓名共4页第2页
天津大学试卷专用纸
学院软件学院专业软件工程班年级学号姓名共4页第3页
天津大学试卷专用纸
学院软件学院专业软件工程班年级学号姓名共4页第4页