只为小站
首页
域名查询
文件下载
登录
《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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
pytorch实现RNN实验.rar
Python+OpenCV实现行人检测(含配置说明)
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
avantage 软件 xps 处理软件30天后不能使用问题
DBSCAN算法Matlab实现
python大作业--爬虫(完美应付大作业).zip
基于MQ2烟雾传感器的STM32F103程序
空间谱估计理论与算法------程序.rar
狂神说全部笔记内容.zip
MTALAB NSGA2算法
华为OD机试真题.pdf
ios无人直播 虚拟视频实用版 可以导入视频
C4.5决策树算法的Python代码和数据样本
大唐杯资料+题库(移动通信)
最新下载
一个简单文法编译器前端的设计
开机第一屏制作软件LogoBuilder_v1.4中文版
ATSHA204A数据手册(有中文注释)+stm32f103的代码Demo
快思聪官方免费中文视频培训教程
ti_cgt_c2000_16.9.2.LTS_windows_installer.zip
Expect4Win-win32-ix86.exe
2022年最新整理《康熙字典》最全的数据库
数据库课程设计 SQL Server图书馆管理系统
工程伦理案例ppt,直接可用
Vector Davinci官方帮助配置使用手册(AutoSAR).pdf
其他资源
Windows逆向技术
车辆三自由度模型
毫米波雷达及其应用
推荐一款永久免费的仓库管理系统WMS软件(绝对可用)
基于Graphcut的图像分割(Matlab)
PYTHON最全--雷霆战机+飞机大战+全民飞机大战
基于ssm+vue仿猫眼电影设计与实现毕业设计程序
CSS3实现八方向云台遥控器样式
自制超级玛丽MFC程序 附源码及文档
IEEE1801标准(UPF)
地震数据格式转换 读取segy数据
cuda实现LU分解解线性方程
热力学两相模型
OCI连接oracle数据库(c++)实现
snort rule snort rules snort 规则集 2900
ssh工具_linux操作(个人整理)
ASP.NET教学管理系统
相机标定matlab程序,ubuntu
自己用的很8错的捆绑器--(饭客网络捆绑器)
Myeclipse讲师全面讲解pdf版
dex2jar 2.0 超稳定版
phash-0.9.6
aapt 64位 下载 轻松解决apk解析问题
asp中,一个下拉框对应多个文本框动态显示数据库内容