基于B方法的在线考试软件需求规格形式化方法的研究

	载入中...

基于B方法的在线考试软件需求规格形式化方法的研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

基于B方法的在线考试软件需求规格形式化方法的研究

论文目录
摘要	第1-5页
ABSTRACT	第5-8页
第一章绪论	第8-12页
· 研究背景及意义	第8-9页
· 研究背景	第8页
· 研究意义	第8-9页
· 国内外相关研究现状	第9页
· 在线考试系统发展现状	第9页
· 形式化B方法研究现状	第9页
· 论文研究内容及主要工作	第9-12页
· 研究内容	第9-10页
· 主要工作	第10-11页
· 内容组织	第11-12页
第二章相关理论研究	第12-20页
· 形式化方法	第12-13页
· 形式化方法研究内容	第12页
· 形式化需求规格说明优缺点	第12-13页
· B方法理论研究	第13-17页
· B方法的概述	第13页
· B方法的符号表示	第13-14页
· B方法的抽象机表达机制	第14-15页
· B方法的结构化机制	第15-16页
· B方法与其他形式化方法的比较	第16-17页
· UML用例模型理论研究	第17-19页
· 用例模型概述	第17页
· 系统	第17页
· 用例	第17-18页
· 参与者	第18页
· 参与者与用例之间的关系	第18页
· 用例规约	第18页
· 用例模型的作用	第18-19页
· 本章小结	第19-20页
第三章在线考试软件需求分析	第20-29页
· 传统考试软件流程分析	第20-21页
· 在线考试软件总体需求分析	第21-22页
· 在线考试软件的用例模型	第22-27页
· 用例模型的建立	第22页
· 顶层用例模型	第22-27页
· 在线考试软件用例模型存在的问题	第27-28页
· 本章小结	第28-29页
第四章基于B方法的用例模型形式化描述	第29-38页
· 用例模型形式化总体思路	第29页
· 类的形式化描述	第29-31页
· 用例模型元素的形式化描述	第31-36页
· 参与者及参与者之间关系的形式化描述	第31-32页
· 用例及用例之间常用关系的形式化描述	第32-35页
· 参与者与用例之间关联的形式化描述	第35-36页
· UML用例模型到B形式规约的转换过程	第36页
· 本章小结	第36-38页
第五章实例分析	第38-44页
· 学生考试过程用例模型	第38-39页
· 用例模型的B形式规约	第39-42页
· 相关类的形式化描述	第39-41页
· 参与者的形式化描述	第41-42页
· 用例的形式化描述	第42页
· 系统的形式化验证	第42-43页
· 本章小结	第43-44页
第六章总结与展望	第44-46页
· 总结	第44-45页
· 展望	第45-46页
参考文献	第46-48页
致谢	第48页

本篇论文共48页，点击这进入下载页面。

更多论文
基于B方法的在线考试软件需求规格形
泛化顶点覆盖问题的局部搜索算法研
清洁机器人的运动控制与超声定位系
韩国明星真人秀节目中国本土化策略
韩国综艺移植我国内地的自我创新研
凤凰卫视电视新闻节目报道的全媒体
新媒体背景下电视民生新闻叙事问题
我国省级公共图书馆决策咨询服务能
基于使用者行为需求的长春市南湖公
唐山市丰润区保障性住房建设用地效
日本物流业发展对其经济增长的影响
吉林省生物制造产业发展路径研究
企业人力资源柔性管理对工作绩效的
内部控制有效性对会计信息质量影响
CuH催化的异腈的环化反应研究：合成
基于2，6-吡啶二羧酸的稀土金属—有
具有聚集诱导发光性质的铱配合物的
我国反腐败中的国际追逃追赃问题研
席夫碱—铝催化剂在外消旋丙交酯开
多酸/半导体复合物的制备及其光催化
基于多酸或配位聚合物的功能材料的
前过渡金属混配的Keggin型多酸催化
功能化光声成像染料的合成及活体成
长春市中心城区文化娱乐业空间格局
长春高新技术产业开发区产城融合研
锂离子电池高容量硅基负极复合材料
《分手大师》从话剧到电影的叙事转
论山西左权民歌的演唱特点——以《
当前中国流行唱法存在的问题
新派爵士乐波萨诺瓦（Bossa Nova）
通过BFI Player解决英国本土电影困
80年代以后中央电视台纪录片形态与
咏叹调《情歌》的演唱分析
新世纪以来中国内地青春电影的类型
桑黄菌丝培养特性及其发酵液抗氧化
古埃及麦地那工匠村的经济活动
浅析天正遣欧少年使节团
年龄、心理距离及解释水平对自传体
习近平群众观探析
当前党的思想建设存在问题及对策研
人口老龄化背景下吉林省农村空巢老
构建我国官员财产申报制度的困境与
农民土地权利保护中的社会公平原则
网络诽谤行为刑法规制的困境与对策
我国环境犯罪增设危险犯之立法研究
中小学教师远程学习中情感缺失及补
翻转课堂F2F环节师生互动个案的分析
基于Pad“一对一”个性化学习的探索
翻转课堂在中职学校CorelDraw软件教
初中教师课堂应用交互式电子白板的
20世纪90年代以来美国教育信息化政
中学地理中的“区际联系”及其教学
高中音乐鉴赏课教学的有效实施——
农村中小学教师远程学习适应性影响
我国农村中小学教师自主发展的激励
体验式教学在高中音乐鉴赏教学中的
浅谈初中音乐课堂中歌唱教学的实践
高中生生物图像技能培养的策略研究
四种版本高中地理教科书难度的定量
中美高中通用技术课程标准比较研究
高师院校教师教育者角色认同研究—
高校辅导员思想政治教育话语方式研
中职学校《二维动画制作》课程校本
知识可视化在中职《计算机网络基础

形式化方法论文 B方法论文在线考试软件论文 UML论文用例模型论文
版权申明：目录由用户Vic**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved