泛型程序的形式验证问题的研究



泛型程序的形式验证问题的研究

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

泛型程序的形式验证问题的研究

论文目录
摘要	第1-4页
Abstract	第4-7页
第一章绪论	第7-10页
· 研究背景	第7页
· 国内外研究现状	第7页
· 研究意义	第7-8页
· 本论文结构安排	第8-10页
第二章泛型程序设计与STL	第10-24页
· 泛型程序设计	第10-14页
· 泛型程序设计的发展现状	第10-11页
· 泛型程序设计的研究内容	第11-13页
· 泛型程序设计的作用	第13页
· 泛型程序设计方法的不足	第13-14页
· STL	第14-16页
· STL知识简介	第14-15页
· STL简单运用实例	第15-16页
· 容器	第16-18页
· 顺序性容器	第17页
· 关联容器	第17-18页
· 迭代器	第18-19页
· 算法	第19-23页
· 非可变序列算法	第20-21页
· 可变序列算法	第21页
· 排序算法	第21-23页
· 数值算法	第23页
· 泛型程序设计与STL、模板的关系	第23页
· 本章小结	第23-24页
第三章形式化方法的研究	第24-28页
· 形式化方法的研究背景	第24页
· 形式化方法的研究内容	第24-25页
· 形式化方法的作用	第25页
· 形式化方法在软件开发中的重要性	第25-26页
· 形式化验证方法	第26-27页
· 公理语义	第26-27页
· 本章小结	第27-28页
第四章 STL中的算法实例验证与接口问题研究	第28-42页
· 程序的正确性	第28-29页
· 程序的正确性条件	第28-29页
· WP的性质	第29页
· 算法实例形式化证明	第29-34页
· 互换元素	第29-30页
· 一般数值计算算法	第30-33页
· 循环程序的形式化证明	第33-34页
· 配接器问题验证	第34-41页
· 模板偏特化	第34-35页
· 常整数映射为数据类型	第35-36页
· 类型对类型的映射	第36-38页
· 泛化仿函数	第38-40页
· 编译期间侦测可转换性和继承性	第40-41页
· 本章总结	第41-42页
第五章总结与展望	第42-44页
· 论文研究工作总结	第42页
· 后续工作及展望	第42-44页
参考文献	第44-47页
致谢	第47-48页
个人简介	第48页
攻读硕士学位期间发表的学术论文	第48页

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

更多论文
泛型程序的形式验证问题的研究
基于OpenCV的双目立体视觉系统定标
球阀设计软件的开发
沙尘天气图像清晰化处理方法研究
基于视频图像处理的车辆检测与车流
异构环境下三维表面重建并行化研究
多视图三维重建中特征点检测并行化
基于数字图像处理的羊绒和羊毛识别
基于移动终端的网络设备管理系统的
基于GAE云计算平台移动服务实现的应
未知环境下多智能体协作避障方法的
非线性规划问题的混合粒子群优化算
六自由度弧焊机器人运动轨迹跟踪控
沙基机器人供电系统设计
基于规范的企业智能Agent设计
削面机器人远程监控系统设计实现
基于时间序列分析的宁夏能源消费预
恒大物流销售集团宁夏分公司招聘管
房地产企业纳税筹划研究——以L公司
宁夏合同能源管理项目风险防范分析
建筑企业BT项目运作管理探索与实践
陕西省丝绸之路经济带的金融支持研
宁夏对外开放度、地区市场规模与经
中国教育财政支出对城乡收入差距影
宁夏投资环境评价与优化研究
宁夏产业结构升级对农村转移劳动力
宁夏发展农业现代化路径研究
土地流转对农村劳动力转移的影响—
宁夏西吉县农业产业化发展现状及对
财政支农支出对农村居民消费影响研
宁夏家庭农场发展问题研究
宁夏六盘山集中连片特困地区绿色扶
宁夏农村女性获取信息影响因素实证
A供电公司成本预算管理研究
宁夏明德中药饮片有限公司市场营销
A企业营销策略研究
基于SOA架构的宁东供电公司通信管理
青铜峽市禹皇酒庄营销策略研究
N电力公司教育培训工作信息化管理创
宁夏大唐国际新能源公司发展战略研
新形势下阿拉善电业局发展战略研究
宁夏隆基宁光仪表有限公司薪酬体系
国神集团综合计划管理优化研究
SGN有限公司绩效管理问题及对策研究
羊场湾煤矿机关及地面辅助管理人员
企业文化在供电企业落地的研究——
宁夏青林盛华科技有限公司可降解餐
B公司供应商管理问题及对策研究
宁夏GF公司质量管理体系的现状分析
银川供电局内部会计控制的研究
宁夏大唐国际大坝发电公司企业文化
S公司煤化工项目采购管理模式研究
A银行IT员工职业生涯管理研究
宁夏共享集团企业文化创新研究
宇澜公司市场营销策略研究
农行贺兰县支行员工绩效考核方案再
宁夏A旅行社老年旅游产品的营销策略
宁夏移动TD手机终端销售营销策略研
A公司宁夏系统集成市场营销现状与策

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