教育论文网

基于Object-Z的UML类图形式化及Python代码生成研究
硕士博士毕业论文站内搜索    
分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序语言、算法语言论文
基于Object-Z的UML类图形式化及Python代码生成研究
论文目录
 
摘要第1-6页
ABSTRACT第6-7页
第1章 绪论第12-16页
　　　　1.1 研究背景第12-13页
　　　　1.2 国内外研究现状第13-14页
　　　　1.3 本文主要研究工作及其意义第14页
　　　　1.4 本文内容结构第14-16页
第2章 相关理论方法介绍第16-26页
　　　　2.1 UML简介第16-17页
　　　　　　　　2.1.1 UML的概念模型第16-17页
　　　　　　　　2.1.2 UML的语义缺陷第17页
　　　　　　　　2.1.3 UML的形式化研究第17页
　　　　2.2 形式化方法介绍第17-19页
　　　　　　　　2.2.1 形式化方法的主要研究内容第18页
　　　　　　　　2.2.2 形式化方法研究的意义第18-19页
　　　　　　　　2.2.3 形式方法的问题和发展方向第19页
　　　　2.3 OBJECT-Z语言第19-22页
　　　　　　　　2.3.1 Z语言介绍第19-21页
　　　　　　　　2.3.2 Z语言的面向对象扩展Object-Z第21-22页
　　　　　　　　2.3.3 Object-Z语言基本构造单元第22页
　　　　2.4 契约式设计第22-23页
　　　　2.5 本章小结第23-26页
第3章 UML类图的OBJECT-Z描述第26-38页
　　　　3.1 UML类图简介第26页
　　　　3.2 UML类图语法的OBJECT-Z定义第26-31页
　　　　　　　　3.2.1 类第26-28页
　　　　　　　　3.2.2 关联第28-30页
　　　　　　　　3.2.3 泛化第30页
　　　　　　　　3.2.4 类图第30-31页
　　　　3.3 UML类图语义的OBJECT-Z定义第31-34页
　　　　　　　　3.3.1 类第31-32页
　　　　　　　　3.3.2 关联第32-33页
　　　　　　　　3.3.3 泛化第33-34页
　　　　3.4 实例分析第34-36页
　　　　3.5 本章小结第36-38页
第4章 OBJECT-Z生成PYTHON代码第38-52页
　　　　4.1 PYTHON语言简介第38页
　　　　4.2 OBJECT-Z到PYTHON的映射第38-45页
　　　　　　　　4.2.1 类第38-42页
　　　　　　　　　　　　4.2.1.1 类的模式第38-39页
　　　　　　　　　　　　4.2.1.2 可见性列表第39-40页
　　　　　　　　　　　　4.2.1.3 常量声明第40页
　　　　　　　　　　　　4.2.1.4 常量模式谓词第40页
　　　　　　　　　　　　4.2.1.5 状态模式第40页
　　　　　　　　　　　　4.2.1.6 初始状态模式第40-41页
　　　　　　　　　　　　4.2.1.7 操作模式第41页
　　　　　　　　　　　　4.2.1.8 继承第41-42页
　　　　　　　　4.2.2 对象交互第42-45页
　　　　　　　　　　　　4.2.2.1 辅助变量第42页
　　　　　　　　　　　　4.2.2.2 初始模式引用第42页
　　　　　　　　　　　　4.2.2.3 操作运算符第42-45页
　　　　4.3 实例分析第45-50页
　　　　4.4 本章小结第50-52页
第5章 总结与展望第52-54页
　　　　5.1 总结第52-53页
　　　　5.2 展望第53-54页
参考文献第54-58页
攻读硕士期间发表论文情况第58-60页
致谢第60页

本篇论文共60页，点击这进入下载页面。
 
更多论文
基于Object-Z的UML类图形式化及Pyt
基于GVF Snake模型的宫颈细胞图像分
工商银行兴顺支行信用风险管理问题
利用土地政策推动区域经济协调发展
运用土地政策参与国家宏观调控研究
我国农村土地征用补偿制度研究
沁阳市农村土地流转制度研究
论我国个人收入分配体系的完善
沈阳市会计服务管理问题研究
基于行程时间可靠性的车辆路径问题
带有时间窗的集送货车辆路径问题的
企业关联并购财务风险影响因素的实
商品期货价格发现功能的实证研究
基于亚像素定位的尺寸测量方法研究
氧化铝回转窑烧成带温度软测量方法
欠驱动机械手的设计与实验研究
基于Harris和QGA的航空遥感图像配准
教育机器人控制系统快速原型实验装
3-RRUR并联机器人奇异性分析
网络控制系统控制与调度协调设计
RoboCup中型组足球机器人底层控制系
基于广义T-S模型不确定时滞模糊系统
CINCINNATI工业机器人力/位混合控制
T-DAA协议在可信平台中的应用
DICOM医学图象体绘制加速及压缩算法
Bayer模式的图像恢复及抗噪性能提升
基于专家系统的单天车配料实时优化
远程控制理论实验室远程实验软件的
基于BIM技术的工程精细化管理实例研
基于超边际分析的分布式资源分配模
宫颈癌三维后装治疗插植针路径优化
数据流最大频繁项集挖掘算法的研究
棒材自动计数图像处理方法应用研究
基于多尺度角点的检测与匹配算法研
3D人脸识别中的支持向量机研究
慧鱼模拟软件的研究与开发
基于OPNET的HSPA仿真分析与性能研究
基于FPGA的手写汉字识别系统的设计
思想政治教育中受教育者的接受心理
东北大学本科生创业意识的调查研究
我国大学生就业歧视状况与规避途径
翁牛特旗农村公共产品供给研究
新农村建设中沈阳市朝鲜族村落民族
行政机关办公室决策服务问题研究
锦州市凌河区公务员激励机制研究
完善中国共产党领导的多党合作制度
新形势下我国廉政文化建设研究
基于GJB5000A的软件研发过程管理平
改革和完善党的领导方式研究
我国高校生态伦理教育问题及对策研
磁共振波谱分析后处理算法的实现
一类药物动力学系统的分析与控制
输配电网综合无功补偿方法的研究
基于Mask R-CNN的菜品图像识别和分
中国能源消耗强度影响因素分解分析
基于遗传算法的换热网络优化的研究
挖掘机机器人化实验系统的研究与开
基于有限元分析的客车骨架优化设计
基于认知脑电的汽车造型评价研究
纯机械电子式车用无级变速器控制系
双横臂独立悬架优化设计及整车平顺
 
UML论文 Object-Z论文 形式化方法论文 Python论文
版权申明：目录由用户a38825447**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved