《河北工程大学学报（社会科学版）》：以科学教育丰富思想政治课内容有机融合思想政治教育与科学精神培育（营口理工学院：安金辉）

Abstract Model Specifications Build an abstract model of required software behavior using mathematically defined(perhaps using axioms )types(e. g sets, relations) Define operations by showing effects of that operation on the model Specification includes Model

Requirements specification: A structured document that sets out the services the system is expected to provide Should be precise so that it can act as a contract between the system procurer and software developer and thus needs to be understandable by procurers and developers

第十六章 信息系统规划 • 主要内容 – 战略规划 – MIS的战略规划 – MIS规划的主要方法 – 信息系统规划（ISP）与企业过程再工程（BPR） – 信息系统规划（ISP）与企业形象设计（CIS） – 目标优先权和项目优先序

第二十章 管理信息系统的实施、评价与运行管理 • 主要内容 – 系统实施 – 系统运行管理 – 信息系统评价体系 第二十一章 信息道德与信息系统分析员修养 • 主要内容 – 信息道德 – 信息分析员的修养

一、设备是指计算机系统中除CPU,内存和系统控制台以外的所有设备。 设备管理程序是用于对这类设备进行控制和管理的一组程序

静不定结构也称为超静定结构,和相应的静定结构相比,具有强度高、刚度大的优 点,因此工程实际中的结构大多是静不定结构。本章主要介绍静不定结构的定义、静不定 次数的判断以及静不定结构的求解方法,重点介绍用力法求解静不定结构

一、OS的基本任务是对“进程”的管理; 二、多个进程可以并发执行; 三、进程在系统中有多种状态,状态间可转换; 四、进程与线程的区别

一、并发执行的进程之间的关系 二、进程的互斥与同步问题 三、进程间的高级通信

一、什么是os(Operating Systems 二、OS的形成和发展过程(类型和特点) 三、现代OS的功能和特征 四、研究OS的几种观点 五、OS的层次结构模型