摘要：
按照应用范围来划分，一般软件被分为系统软件，支撑软件，应用软件三类： 1.系统软件：支持计算机基本运行的软件。 2.支撑软件：支持各种软件开发和维护的软件。又称为软件开发环境（SDE） 3.应用软件：为某一领域某一目的建立起来的软件。 按照许可方式来划分，一般软件被分为专属软件，自由软件，共享软件， 阅读全文
摘要：
第五章：软件工程中的形式化方法。 形式化的基本概念（形式规约、形式证明与验证、程序求精），事态逻辑（一般线性事态逻辑、计算树逻辑），模型检验，Z语言的概念，表示，实例；Petri网的基本定义，规格实例（信号灯）。 第六章：面向对象基础。 面向对象方法概述（发展史，软件工程方法），面向对象基本概念（对 阅读全文
摘要：
第一章：概述。 讲述了软件的特征，和发展史，随后引入了软件工程的概念，三要素，方法等。然后是软件工程的知识体系和职业道德规范。 第二章：软件过程。 讲述了任务思维和过程思维，软件过程的定义，软件过程的基本活动，制品。随后讲到软件过程的模型：瀑布模型、快速原型模型、增量模型、螺旋模型、形式化方法模型和 阅读全文