中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式系统形式化规范与建模（FSM，KPN，SDF）

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式操作系统（uC、OSII）

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）实时调度（多处理器、调度异常、WCET）

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT15 并发与多线程

• Complexity Challenge – CBD：分治，结构 – MBD：抽象，方法 • Integrate Models to DESIGN-BUILD-VALIDATE-VERIFY • Domain Specific Modeling Languages – Specification languages – UML – MARTE – AADL

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT14 Python GUI工具包：Tkinter

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT13 算法设计分析

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第一版）04 实时系统设计（软件设计、控制系统、EA、语言）

• 嵌入式处理器概述 • 处理器体系结构 • ARM处理器架构与编程模型 • Cortex M处理器

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT12 面向对象设计