⚫ 熟悉并掌握StarUML工具的用法 ⚫ 理解和掌握StarUML工具用于分析、设计的用法 ⚫ 掌握面向对象分析、设计的方法 12.1 软件开发工具StarUML 概述 12.2 StarUML 环境下的UML 图形建模 12.3 一个简易教学管理系统的分析和设计 12.4 本章小结和习题

7.1 电子商务物流概述 7.2 电子商务物流模式 7.3 电子商务物流技术

死锁的定义和产生死锁的原因 产生死锁的必要条件 处理死锁的基本方法 死锁的预防 死锁的避免 死锁的检测与解除

电子科技大学：《网络安全与网络工程》课程教学资源（PPT课件讲稿）第六章 杂凑函数（主讲：聂旭云）

 The security environment  Basics of cryptography  User authentication  Intrusions and attacks  Protection mechanisms  Trusted systems

 5.1 Introduction and services  5.2 Error detection and correction  5.3 Multiple access protocols  5.4 Link-Layer Addressing  5.5 Ethernet  5.6 Hubs and switches  5.7 PPP

1: 网络安全简介 2: 信息安全的发展历程 3: 网络安全的定义 4: 网络安全防护体系 5: 网络安全的现状

并发程序精化验证及其应用（PPT讲稿）Refinement Verification of Concurrent Programs and Its Applications

◼单片机系统的三总线的构造 ◼半导体存储器 ◼程序存储器和数据存储器的扩展方法 ◼E2PROM的使用 ◼程序存储器和数据存储器的同时扩展

为什么模型检验？ 什么是模型检验？ 怎么做模型检验？ 更高更快更强 复杂系统模型检验