这是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
1
基于Kripke结构的UML状态图的形式语义和自动证明，赵也非，杨宗源，给UML赋予形式化的动态语义，可以在软件生命过程早期，对系统进行自动推导和证明。把模型检测应用于UML，是在软件架构中引入形式化
2023-02-27 21:34:44
328KB
1
嵌入式系统的事件驱动型编程技术 第二版
关注核心概念
提供一个完整的立即可用的开源软件架构
包括了一个使用ARM Cortex-M3的详尽的实例。
2023-02-22 18:13:25
4.49MB
1
UML 状态图的实用C/C++设计 第二版 中文 QP HSM FSM
嵌入式系统的事件驱动型编程技术 pdf 版本 很清晰
2022-03-27 14:28:51
4.02MB
1
UML的高层次抽象概念和现代的层次状态机(UML)的实际编程实践之间架起了一座桥梁, 架构不需要使用大型工具, 即可实现对UML状态图和并发事件型驱动应用程序的手工编码
2022-03-27 12:01:58
20.76MB
1
这是QP(即Quantum Programming)量子化编程技术最重量级的一本教程，由QP的创始人MIRO SAMEK编写,英文原版名:《MIRO SAMEKPractical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems》 《UML 状态图的实用C/C++设计》，中文资料，国内罕见，希望对有需要的朋友有所帮助
2022-02-24 00:24:30
671KB
1
包含了《嵌入式系统的微模块化程序设计：实用状态图C/C++实现》的英文版
（Practical Statecharts in C/C++ --- Quantum Programming for Embedded Systems）， 中文第二版《UML 状态图的实用C++设计》， 《用状态机原理进行软件设计》，《状态机原理及用法》和第一版《嵌入式系统的微模块化程序设计》的光盘
2021-12-11 22:33:50
56.33MB
1
《UML状态图的实用C和C++设计 嵌入式系统事件驱动型编程技术》（第二版）完整中文版；讲述UML基础，并提供一个完整的立即可用的开源软件架构，附了一个使用ARM Cortex-M3的详尽的实例。
2021-11-16 11:17:18
4.49MB
1