摘要：
毕业设计：文献参考（10） 一、基本信息 标题：面向服务的业务流程建模与验证研究 来源：西安电子科技大学 作者：张曼 二、研究背景 业务流程是对组织内外各种管理逻辑的抽象和视图的刻画。流程管理理论随着信息时代的到来而日渐丰富，信息技术逐渐成为流程管理的重要支持手段。业务流程的起源可追溯到上世纪}o年 阅读全文
posted @ 2020-12-20 00:43
珊_123
阅读(59)
评论(0)
推荐(0)
摘要：
毕业设计：文献参考（9） 一、基本信息 标题：UML的流程建模与软件测试 来源：北京邮电大学 作者：何启涵 二、研究背景 UML （Unified Modeling Language的缩写)统一建模语言，其目的是为了对软件系统进行可视化的建模。 用户通过UML提供的多种模型图，从不同角度理解运行中的 阅读全文
posted @ 2020-12-20 00:41
珊_123
阅读(134)
评论(0)
推荐(0)
摘要：
毕业设计：文献参考（8） 一、基本信息 标题：城轨CBTC系统数据的安全处理与验证方法研究 来源：北京交通大学 作者：黄友能 二、研究背景 随着我国国民经济和社会的快速发展，城市化进程的加快，形成了以北京、上海、广州为代表的人口超千万的特大型城市，交通拥堵问题成为这些城市迫切需要解决的问题。轨道交通 阅读全文
posted @ 2020-12-20 00:40
珊_123
阅读(58)
评论(0)
推荐(0)
摘要：
毕业设计：文献参考（7） 一、基本信息 标题：基于UML-NuSMV模型的列控系统需求阶段的安全分析 来源：北京交通大学 作者：周玉平 二、研究背景 随着社会的进步和经济的发展，在中国，铁路己经成为了国家最重要的基础设施和最大众化的交通工具，处在中国综合交通运输体系中的骨干地位。中国也是世界上铁路运 阅读全文
posted @ 2020-12-20 00:38
珊_123
阅读(95)
评论(0)
推荐(0)
摘要：
毕业设计：文献参考（6） 一、基本信息 标题： UML动态行为图的机械语义形式验证与精化研究 来源：华东师范大学 作者：窦亮 二、研究背景 可见，在软件系统设计建模和模型精化的过程中，生成形式规范并维持其在精化过程中的一致性需要大量的努力和对相关人员的培训。针对以上的问题，本文关注用于软件设计动态建 阅读全文
posted @ 2020-12-20 00:36
珊_123
阅读(77)
评论(0)
推荐(0)
摘要：
毕业设计：文献参考（5） 一、基本信息 标题：列控系统需求规范形式化建模与验证方法研究 来源：北京交通大学 作者：谢雨飞 二、研究背景 在传统的工作中，为了消除系统需求规范中可能存在的各种缺陷，都要在系统开发实现完成后，对系统的可靠性和安全性进行分析和度量，这种方法得到的结果一般比较精确。具体来说， 阅读全文
posted @ 2020-12-20 00:35
珊_123
阅读(84)
评论(0)
推荐(0)
摘要：
毕业设计：文献参考（4） 一、基本信息 标题：基于UML的电子商务系统建模及应用研究 来源：南昌大学 作者：侯秀美 二、研究背景 上世纪90年代以来，随着国际电子信息技术的发展，特别是国际互联网的普及，使得国际上很多商务活动电子化的想法逐步成熟。目前，电子商务在国内外掀起热潮，电子商务亦被列为未来十 阅读全文
posted @ 2020-12-20 00:34
珊_123
阅读(87)
评论(0)
推荐(0)
摘要：
毕业设计：文献参考（3） 一、基本信息 标题：基于UML的系统需求形式化分析方法 来源：北京交通大学 作者：刘心钰 二、研究背景 Unified Modeling Language ( UML，建模语言或标准建模语言)始于1997年的一个OMG (Object Management Group，对象 阅读全文
posted @ 2020-12-20 00:32
珊_123
阅读(90)
评论(0)
推荐(0)
摘要：
暗时间》读书笔记 《暗时间》这本书初识于彭琛老师的推荐，刚拿到这本书的时候那阵子特别忙，只是粗略的看了下大概，也是大概的了解，刘未鹏先生写的这本书大多数是关于时间规划的，后来每天下班回家会细看几页，今天终于完成了这本书的阅读。 这是一本关于怎样学习，怎样思考的书，字里行间都显露出作者对于时间管理，心 阅读全文
posted @ 2020-12-20 00:31
珊_123
阅读(27)
评论(0)
推荐(0)
摘要：
毕业设计：文献参考（2） 一、基本信息 标题：一种 UML 软件架构性能预测方法及其自动化研究 来源：中国科学院软件研究所 作者：李传煌, 王伟明, 施银燕 二、研究背景 软件性能需求作为软件质量需求的重要组成部分,已受到人们极大的重视.而只在软件开发周期后期才重点关注软件性能需求的传统软件开发方法 阅读全文
posted @ 2020-12-20 00:29
珊_123
阅读(68)
评论(0)
推荐(0)
浙公网安备 33010602011771号