一、什么是软件 根据1983年IEEE的定义:软件是计算机程序、方法、规则、 相关的文档资料以及在计算机上运行的程序时所必需的数据的集合。 方法和规则通常是在文档中说明并在程序中实现的。 程序:是计算机需要遵照执行的一系列指令,它作为一种具有逻辑 结构的信息,精确而完整地描述计算任务中的处理对象和处 理规则

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

9.4页对象设计视图及其应用 9.4.1页对象设计视图中的工具箱 9.4.2页对象设计视图中的字段列表 9.4.3页对象属性 9.4.4在设计视图完成数据访问页设计

5-1用户和组群的基本概念 5-1-1用户 5-1-2与用户相关的文件 5-1-3组群 5-1-4与组群相关的文件

7-1进程与作业管理 7-1-1进程与作业简介 7-1-2启动进程与作业 7-1-3桌面环境下管理进程与作业

LinuxX使用 Window图形界面系统本章将介绍 Window系统的基本概念,并讲解 GNOME图形操作环境的使用和操作

2.1安装前的准备--硬件需求

9-1linu网络配置基础 9-1-1网络配置参数 1、主机名 2、IP地址与子网掩码 3、网关地址 4、DNS服务器地址 9-1-2 Linux网络的相关概念

6-1文件系统概述 6-1-1 Linux的基本文件系统 6-1-2 Linux支持的文件系统 6-1-3文件系统的挂载与卸载

3-1图形化用户界面简介 3-1-1 Window的基本原理 3-1-2桌面环境