一、程序设计方法学的产生 二、程序设计方法学的基本内容 三、本课程的核心内容和目的

一、结构化程序的概念 二、程序标记法与流程图 三、程序函数与结构化定理 四、结构化程序设计方法

一、基本概念 二、程序测试的基本方法 三、部分正确性证明方法 四、终止性证明方法

一、MDA概述 二、MDA模型 三、MDA的思想 四、基于MDA的开发 五、MDA与中间件和UML

正确推导 1-12解一计算有利场合数

6.1 计算机串行通信基础 6.2 80C51的串行口 6.3 单片机串行口应用举例

OS（操作系统原理）_操作系统习题课及实验室简介

磁盘存储器既用于存储文件,也是实现虚拟存储器 所必需的硬件,磁盘存储器管理的主要任务

在进程的控制的基础上这课引入进程同步和进程同 步机制的概念,它对并发执行进程的推进序列加以限 制以保证互斥使用临界资源或协同完成任务,解决程 序并发执行时带来结果不可再现问题。这课介绍了用 软件、硬件、信号量机制、AND型信号量集、一般信 号量集、管程等各种解决进程互斥同步问题的方法

操作系统(OS)是最重要的系统软件,本章 从OS的作用、发展史、类型、特征和功能等多方面介绍OS