只为小站
首页
域名查询
文件下载
登录
《UML
状态图
的实用C/C++设计嵌入式系统的事件驱动编程技术》中文版
这是QP(即Quantum Programming)量子化编程技术最重量级的一本教程,由QP的创始人MIRO SAMEK编写,英文原版名:《MIRO SAMEKPractical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems》 《UML
状态图
的实用C/C++设计》,中文资料,国内罕见,希望对有需要的朋友有所帮助
2024-01-23 23:19:52
4.2MB
嵌入式系统
事件驱动编程
UML状态图
量子化编程
1
状态图
法.doc
1. 定义 状态迁移图法主要关注在测试状态转移的正确性上面。对于一个有限状态机,通过测试验证其在给定的条件内是否能够产生需要的状态变化,有没有不可达的状态和非法的状态,可能不可能产生非法的状态转移等。通过构造能导致状态迁移的事件,来测试状态之间的转换。 2. 应用的范围 一个功能的状态比较多的情况下,比如mp3,堆栈操作等.
2024-01-17 18:34:14
131KB
参考文档
1
嵌入式系统的微模块化程序设计:实用
状态图
C_C++实现.pdf
嵌入式系统的微模块化程序设计:实用
状态图
C_C++实现.pdf
2023-03-27 15:52:47
25.67MB
状态机
1
图书管理员借书操作的
状态图
-图书馆管理信息信息系统设计实践
图书管理员借书操作的
状态图
findTitle (检索图书) login (登录) findBorrower (查找借阅者) reserve (预约) borrow (借阅) findBook (检索复本) setLoan (设借阅状态) cancel (取消) close (关闭) 登记读者信息 登记借书信息 借书 预约图书 手续完成 检验图书 检查图书状态 取消 检验读者 借书
2023-03-06 00:04:10
8.43MB
图书馆,信息系统,设计
1
论文研究-基于Kripke结构的UML
状态图
的形式语义和自动证明 .pdf
基于Kripke结构的UML
状态图
的形式语义和自动证明,赵也非,杨宗源,给UML赋予形式化的动态语义,可以在软件生命过程早期,对系统进行自动推导和证明。把模型检测应用于UML,是在软件架构中引入形式化
2023-02-27 21:34:44
328KB
UML
1
UML
状态图
的实用C/C++设计 第二版
嵌入式系统的事件驱动型编程技术 第二版 关注核心概念 提供一个完整的立即可用的开源软件架构 包括了一个使用ARM Cortex-M3的详尽的实例。
2023-02-22 18:13:25
4.49MB
QP
状态机
1
TCP协议
状态图
用VISSO画的TCP协议
状态图
,用于表示TCp的状态的转换.
2023-02-21 18:36:10
68KB
TCP状态图
1
【软件工程导论】12
状态图
和活动图
【软件工程导论】12
状态图
和活动图
2022-12-04 14:15:10
3.45MB
软件工程
1
基于UML的动态建模实验2.doc
掌握Powerdesigner中
状态图
和时序图建模的基本工具和操作方法;从实验四所确定的用例图中任意选取2到3个用例进行动态建模,并根据建模成果对类图进行设计完善。要求至少建立2个时序图。
2022-11-19 17:27:22
527KB
医院管理系统
软件工程
基于UML的动态建模实验-状态图
1
状态图
vsdx.vsdx
人们通过面试等成为该企业的员工。由于自己长期在此单位干,最终成为一名老员工。经过自己的努力与拼搏,得到了老板和同事们的认可,被评为优秀的员工,或者由于自己的懒惰等,被老板和同事们称作差员工。由于自己的某些过错,被老板开除。由于员工的年纪等问题,光荣的退休 根据上述描述,画出
状态图
。
2022-11-11 16:24:20
30KB
visio
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
Monet智能交通场景应用
matpower5.0b1.zip
房价预测的BP神经网络实现_python代码
pytorch实现前馈神经网络实验(torch实现)
EEMD算法应用于信号去噪.rar
java-spring-web-外文文献翻译40篇.zip
MPC 模型预测控制matlab仿真程序
雷达信号处理仿真程序(MTI,MTD等)
上帝之眼和拾荒者.rar
空间谱估计理论与算法------程序.rar
云视通扫描工具.zip
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
avantage 软件 xps 处理软件30天后不能使用问题
Python+OpenCV实现行人检测(含配置说明)
风电场风速及功率数据.zip
最新下载
常见linux 嵌入式开发C语言笔试面试题
Verilog语言入门
合泰单片机BS83B08触摸按键源程序
建桥移动应用开发(安卓)实验二
使用python语言调用海康威视SDK完成超低时延视频流获取,并进行视频流编码解析成RGB图像,速度远超rtsp流效率。
Robust Statistics
robust statistics 稳健统计
VCLZIP for XE8
工程伦理-上海“楼脆脆”案例分析.docx
Realtek Audio Control的uwp版独立安装包
其他资源
基于51单片机简易电子时钟
基于MFC的IP数据包捕获程序
pmsgsimulink程序
kinect字符化 processing 实现代码
struts2登录注册
基于STM8S103F3P6的模拟串口程序
gitlab cookbook
PSSE 最全英文用户手册!比中文的要详细!
jsp购物车系统(mysql数据库)
RoseHA11.0 安装配置维护(Windows&Linux)-2020-v1.4.pdf
kettle 增量更新并标识删除的记录
olsr仿真代码(ns2)
pic-repo:萨瓦文章图片-源码
jlink固件.zip
customizing_powerdesigner.pdf
新能源OEM高压系统集成开发.pptx
同济大学数值分析复习题.pdf
BP 算法用于实现分类
激光转台plc程序
delphi7二维码示例
带音乐的FLASH转盘程序源码
tps63020资料
基于52单片机LED点阵显示电子钟的设计
中南大学研究生复试机试题
2016-2017美国大学生数学建模Outstanding winners论文