到目前为止，面向对象已经是软件开发的主流。 面向对象技术拥有四大基本特性：封装、抽象、继承、多态 1）封装，是一种隐藏信息的特性，通俗的说就是：包起外界不必需要知道的东西，只展示外界需要知道的东西。方便类的算法的更新更换，以及降低对其他使用类的外部代码的影响。 封装的类=数据+对此数据所进行的操作（...
分类：
其他好文 时间：
2015-02-13 13:14:20
阅读次数：
169
软件工程概论第六章 面向对象基础1.面向对象方法概述发展历史：初始阶段（20世纪60年代）、发展阶段（20世纪80年代到90年代）、成熟阶段（20世纪90年代以后）面向对象的软件工程方法：面向对象分析、面向对象设计、面向对象编程、面向对象测试、面向对象维护。2.面向对象基本概念对象：是系统中用来描述...
分类：
其他好文 时间：
2015-02-11 14:29:08
阅读次数：
154
进入二十世纪之后，随着各种电子产品的风起云涌，电脑也普及到每家每户，除了家里一些老人对电脑操作还不太熟练之外，几乎所有的年轻人都可以熟练地使用电脑。电脑给我们带来的无论是生活中的休闲还是工作中的效率都是不容忽视的。
这里我们研究的课题——操作系统，也是与电脑密不可分的。可能对于大多数的PC用户来说，操作系统就是Windows操作系统，XP、win7、win8等等。其实这只是我们眼里的操作系统...
分类：
其他好文 时间：
2015-02-11 08:12:53
阅读次数：
199
在软件工程实践中运用形式化方法可以保证软件的正确性。目前，从形式规约到目标软件系统的可实现和可执行角度，已建立的形式化方法分为操作类和描述类。操作类方法基于状态和转移，通过可执行模型来描述系统，而描述类方法基于数学公理和概念，通过逻辑或代数给出系统的状态空间，具有高度抽象的特点。形式证明与验证...
分类：
其他好文 时间：
2015-02-10 20:15:28
阅读次数：
158
第一章 概论1.1 因特网体系结构（分层）应用层：HTTP（超文本传输协议）、FTP（文件传输协议）、SMTP（简单 Mail 协议）、TELNET（远程登录）、SSH（安全外壳）传输层：TCP（传输控制协议）、UDP（用户数据报协议）、SCTP（流控制传输协议）网络层：IP、路由协议、ICMP（因...
分类：
其他好文 时间：
2015-02-10 18:24:24
阅读次数：
446
2.1关系数据结构及形式化定义
关系数据库系统是支持关系模型的数据库系统。
关系模型由关系数据结构、关系操作集合和关系完整性约束三部分组成。
2.1.1关系
关系模型的数据结构非常简单，只包含单一的数据结构-----关系。
1.域：具有系统的数据类型的值的集合
2.笛卡尔积：
例如，A={a,b},B={0,1,2},则
AxB={,,,,,,}
是一个元组
a是一...
分类：
数据库 时间：
2015-02-10 16:48:43
阅读次数：
156
本章主要从软件，软件工程，软件工程知识体系和软件工程职业道德规范等方面展开，其中定义了软件:软件是计算机程序,规程以及运行计算机系统可能需要的相关文档和数据。还详细介绍了软件的特性:复杂，不可见，不断变化，大多数软件是定制的，不是通过已有构件组装而成。软件发展的四个阶段和软件危机也做了详细的介绍。软...
分类：
其他好文 时间：
2015-02-09 10:45:31
阅读次数：
116
软件工程概论第五章 软件工程中的形式化方法1.形式化方法基本概念 形式约束：软件规格说明是软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象，对象的性质以及操作应作为一个整体来处理。形式证明与验证：主要包括模型检验和定理证明。程序求精：是将自动推理和形式化方法相结合，从...
分类：
其他好文 时间：
2015-02-08 10:12:57
阅读次数：
116
在软件开发过程中，软件需求是决定软件开发成功的一个关键因素。通常软件需求可以划分为以下几个类型: （1）业务需求:组织或客户对于系统的高层次目标要求，定义了项目的远景和范围，即确定软件产品的发展方向，功能范围，目标客户和价值来源。 （2）用户需求:从用户角度描述的系统功能需求和非功能需...
分类：
其他好文 时间：
2015-02-07 18:53:46
阅读次数：
182
模态逻辑是经典命题逻辑和一阶谓词逻辑的拓展形式。一阶线性时态逻辑（FOLTL）是一阶谓词逻辑的扩展。计算树逻辑（CTL）是一种离散、分支时间、命题时态逻辑。Z语言为系统建立基于状态的模型。模型的三个主要组成部分是输入，输出和状态。Z语言表示抽象的要素总体上可分为两类：基于集合理论的集合、关系、函数、...
分类：
其他好文 时间：
2015-02-07 11:32:40
阅读次数：
112
