百科内容 软件知识首页

• 普适计算
  • 环境智能
  • Aura
  • Gaia
  • Disappearing Computer
  • Oxygen
  • Things That Think
  • Cool Town
  • DreamSpace
  • EasyLiving
  • Smart Classroom
  • 智能空间
  • 可穿戴计算
    • 可穿戴设备
  • 上下文感知
  • 嵌入式系统
    • 嵌入式设备
  • 3C融合
  • 普适计算的特点
    • 移动计算
• 百科简介
  • Chrome
  • Drupal
  • Maxthon
  • 知件
  • 软件工程
    • 高可信软件工程
      • High Confidence
    • 可信计算
      • Trustworthy Computing
      • Trusted Computing
    • 模型驱动工程
      • 领域特定语言
      • 模型变换
        • 模型变换语言
          • ATL
          • QVT
      • 模型驱动的体系结构
      • PSM
      • PIM
    • 软件测试
      • 白盒测试
        • 分支覆盖技术
        • 语句覆盖技术
        • 循环覆盖技术
        • 复合条件覆盖技术
        • 路径覆盖技术
      • 黑盒测试
        • 等价类技术
        • 边界值分析技术
        • 预期结果覆盖技术
      • 静态测试
        • 审查
        • 桌面检查
        • 走查
    • 软件生命周期
    • 领域工程
      • 领域分析
        • 领域模型
        • FODA方法
          • 特征
        • FORM方法
        • FeatuRSEB方法
      • DSSA方法
      • EDLC模型
      • FAST方法
    • 软件维护
      • 软件监测
        • 基于截取器的软件在线校验方法
        • MOP
        • 截取器
        • 插装
    • 需求工程
      • 软件需求
        • Customer
      • Characteristics of Excellent Requirements
        • Requirement Statement Characteristics
        • Requirements Specification Characteristics
      • 需求分析
      • Requirements Specification
      • Requirements Validation
      • Requirements Management
      • 需求分析方法
      • 需求的层次
    • 软件逆向工程
    • 计算机辅助软件工程
    • 计算机软件的法律保护
    • 软件开发方法
    • 软件工程经济学
    • 软件工程环境
    • 软件再工程
    • 软件体系结构
      • 软件体系结构描述
        • Architecture Framework
        • 软件体系结构描述语言
        • Fractal ADL
      • 软件体系结构与实现
        • 基于ADL的实现生成
        • 基于构件的支持
      • 软件体系结构恢复
      • 体系结构风格
        • 动态体系结构
    • 软件调试
    • 软件设计模式
      • 创建型模式
        • 抽象工厂模式
        • 工厂方法模式
        • 生成器模式
        • 懒惰初始化模式
        • 对象池模式
        • 原型模式
        • 单例模式
      • 结构型模式
        • 适配器模式
        • 桥接模式
        • 组合模式
        • 修饰模式
        • 外观模式
        • 享元模式
        • 代理模式
      • 行为模式
        • 责任链模式
        • 命令模式
        • 解释器模式
        • 迭代器模式
        • 仲裁者模式（Mediator）
        • 备忘录模式（memento）
        • 观察者模式（Observer）
        • 状态模式（State）
      • 设计模式
    • 软件开发环境
    • 软件开发模型
      • RUP
    • 软件过程
    • 软件质量
      • 质量保证体系
        • ISO 9000质量标准
        • ISO 9001:2001
  • 软件方法学
    • 原型速成方法
    • 基于构件的软件开发方法
      • SAEM
      • ALPSM
      • SBAR
      • SAAM
      • 内置测试法-构件测试
      • 构件方法序列-构件测试
      • 元数据法-构件测试
      • 测试工作台-构件测试
      • SAAMER
      • ATAM
      • ESAAMI
      • SAAMCS
    • 形式方法
      • Semantic Web
      • RDF
      • RDFS
      • SPARQL
    • 程序设计方法学
    • 模块化方法
    • 结构化分析与设计技术
    • 自顶向下方法
    • 自底向上方法
    • 软件自动化方法
    • 面向对象方法
    • Parnas方法
  • 软件系统
    • 操作系统
      • 操作系统历史
      • 操作系统列表
      • 进程
        • 进程调度的算法
      • DOS操作系统
      • 处理器管理程序
      • 作业
      • 存储管理程序
        • 地址转换
        • 存储分配
        • 存储保护
        • 主存扩充
      • 文件管理程序
      • 输入输出管理程序
      • 线程
      • Linux操作系统
      • 分时处理
      • 实时处理
      • 死锁
      • UNIX操作系统
      • Windows
      • Windows操作系统
      • 嵌入式操作系统
      • 文件
      • 批处理
      • 多道程序设计
      • 任务调度程序
      • MS-DOS
      • 作业管理程序
      • 微内核
      • ReactOS
      • Windows CE
      • PalmOS
      • Symbian
      • VxWorks
      • uClinux
      • Nucleus RTOS
      • ecos
      • MicroC/OS-II
      • ThreadX
      • QNX
      • android
      • Windows 98
      • Windows 95
      • Microsoft Windows的历史
        • Windows 1.0
        • Windows 2.0
        • Windows 3.x
        • Windows NT 3.1
        • Windows NT 4.0
        • Windows Me
        • Windows 2000
        • Windows XP
        • Windows Server 2003
        • Windows Vista
          • Windows Server 2008
        • Windows 7
        • Windows Home Server
      • Unix及类似系统
        • FreeBSD
        • NetBSD
        • OpenBSD
        • DragonFly BSD
        • PC-BSD
        • Xenix
        • AIX
        • HP-UX
        • Minix
        • System V
        • 麒麟操作系统
        • IRIX
        • Hurd
        • MenuetOS
        • ChorusOS
      • 非Unix商业操作系统
        • MACH
        • Multics
        • Netware
      • 进程控制块（PCB，Process Control Block）
      • 保护模式（Protected mode）
      • 实模式（Real mode）
      • CPU缓存
      • 硬盘缓存
      • Linux发行版
        • Ubuntu
        • Debian
        • SUSE Linux
      • 虚拟文件系统
      • 系统调用(system call)
      • 设备驱动程序（device driver）
      • Inter-process communication
      • BIOS
      • Boot Loader
      • 页表
      • 物理地址
      • 虚拟地址
      • 地址空间
      • 物理地址扩展
      • 原子操作
      • 自旋锁
      • NEXTSTEP
      • inferno
      • Oberon操作系统
      • plan9
    • 语言处理系统
      • 分别编译
      • 并行编译程序
      • 词法分析
      • 语法分析
      • 代码生成
      • 代码优化
      • 虚拟机
    • 数据库系统
      • 分布式数据库
      • 关系数据库
      • 面向对象数据库
        • DB4O(DataBase For Object)
    • 分布式软件系统
      • 分布式操作系统
      • 集群
        • 高性能计算集群
        • 高可用性集群
        • 负载均衡集群
    • 软件中间件
      • CORBA
      • JEE
      • DNA
      • Replication Middleware
        • Common Replication Middleware
        • Nondeterminism
      • Reflective Middleware
      • 并发控制
      • 公共服务
        • 命名服务
        • 生命周期服务(Lifecycle Service)
        • 事件服务
        • 持久服务(Persistent Service)
        • 关系服务（Relationships Service）
        • 事务服务（Transactions Service）
        • 并发服务（Concurrency Control Service）
        • 外部化服务（Externalization Service）
        • 安全服务（Security Service）
        • 时间服务(Time Service)
        • 许可服务（Licensing Service）
        • 属性服务（Properties Service）
        • 查询服务（Query Service）
        • 交易服务（Trading Service）
        • 集合服务（Collections Service）
        • 增强时间视图服务（Enhanced View of Time）
        • 通知服务（Notification Service）
        • JavaMail服务
      • P2P中间件
      • 消息中间件（MOM）
      • JTA
    • 人机交互系统
    • 嵌入式开发
    • 应用服务器系统
      • Aws
      • Exchange Server
      • GAE
      • GlassFish
      • IIS 6.0
      • Resin
      • Tomcat
      • WebLogic
      • Apache
      • Tuxedo
  • 软件语言
    • 功能性语言
      • 广谱语言
      • 功能规约
      • 功能规约语言
      • CIP-L语言
      • Z语言
      • FGSPEC语言
      • 前后断言方法
      • 最弱前置条件方法
      • CSP
      • CCS
    • 设计性语言
      • GSPEC语言
      • Larch语言
      • OBJ语言
      • PDL语言
      • SETL语言
      • 实体联系图
      • 形式设计规约
      • 接口定义语言
      • 状态转移图
      • 模块结构图
      • 设计规约
    • 需求定义语言
      • PSA语言
      • PSL语言
      • 数据流图
      • 统一建模语言
        • OCL
      • 软件需求定义
    • 程序设计语言
      • Occam语言
      • 乔姆斯基层次
      • 产生式
      • 低级语言
        • 机器语言
        • 汇编语言
      • 元语言
      • 高级语言
        • 命令式语言
        • 申述式语言
        • 过程语言
      • 巴克斯-诺尔形式体系
      • 波兰记法
      • 语义
      • 语用
      • 语法图
      • 语法
      • PyThon
      • Perl
      • C#
      • Javascript
      • Objective-C
      • FORTRAN
      • delphi
      • ActionScript
      • PHP
      • C Plus Plus
      • C语言
      • VS.NET
      • Python
      • VC
      • vb
      • java
      • D语言
    • 功能语言
      • 形式功能规约
      • 网络服务描述语言
        • WSCDL
    • 文档语言
    • 程序
      • 软件Agent
      • 子例程
      • 子程序
      • 例程
      • 协同例程
      • 数据类型
        • 简单类型
        • 构造类型
        • 抽象数据类型
        • 数组类型
        • 记录类型
        • 指针类型
      • 封装
      • 会合
      • 异常处理
      • 信息
      • 信息隐蔽
      • 值
      • 函数与过程
      • 变量
      • 常量
      • 表达式
      • 对象
      • 数据
      • 数据结构
      • 继承
      • 绑定
      • 类型定义
      • 类
      • 说明
      • 语句
      • 软件主体
      • 软件构件
  • 主动对象
  • UML
  • xUML
  • CWM
  • MOF
  • JMI
  • EMF
  • GMF
  • SOAP
  • GEF
  • SVM
  • 模式识别
  • 专家系统
  • 强化学习
  • 模糊逻辑
  • 人工神经网络
  • 计算机仿真
  • 随机存取存储器
  • FPGA
  • CMS
  • MSDN
  • AWS
  • Lotus Notes/Domino
  • NAS
  • SPI
  • ANSI
  • RIA
  • VPN
  • 服务器集群
  • 应用程序池
  • 网络负载均衡
  • PAM
  • 虚拟化
  • 哈佛结构
  • 移动Agent
  • 软件危机
  • PSL/PSA
  • CVS
  • 编程语言
  • CMMI
  • 时序图
  • REST
  • 智能程序
  • 图灵估计
  • 图灵试验
  • 可废止推理
  • 生物测定学
  • 知识表示
  • 仿生人
  • 信息抽取
  • 倒谱
  • 动态语言生成
  • Pellet
  • 博弈论
  • CAPTCHA
  • 模块化本体
  • OSI模型
  • 传输层
  • 应用层
  • 数据链路层
  • 无线应用协议
  • 物理层
  • 网络层
  • 软件设计师
  • 表示层
  • 无线局域网
  • 软件工程师
  • 虚拟局域网
  • 系统分析师
  • CSMA/CD
  • 编译器
  • 以太网
  • 链接器
  • CSMA/CA
  • WAPI
  • FDM
  • 解释器
  • TD-SCDMA
  • CDMA2000
  • WCDMA
  • Ad hoc网络
  • 目标代码
  • 无线通用序列总线
  • 网络广播风暴
  • WPA
  • BitTorrent
  • 点对点技术
  • 源代码
  • JSP
  • servlet
  • 自由软件
  • 回归测试
  • 单元测试
  • 基于模型的测试
  • 软件许可证
  • 测试驱动开发
  • 共享软件
  • 相容性测试
  • 系统测试
  • 调试
  • 程序员
  • 集成测试
  • 公开测试
  • 王选
  • RCP
  • CBSE
  • AJAX
  • 递归
  • 网格计算
  • 伪代码
  • Web Service
    • WS-Policy
    • WS-Security
    • WS-Management
  • 互联网联盟
    • 互联网
      • 开放式目录
  • 回调函数
  • 静态方法
  • 反射
  • Spring
  • Hibernate
  • JVM
  • Agent
  • 可计算性
  • 计算复杂度理论
  • 可计算理论
  • 图灵机
  • 贪心算法
  • 分治算法
  • 广度优先搜索算法
  • 深度优先搜索算法
  • 最短路径问题
  • 归并排序
  • 快速排序
  • 霍夫曼编码
  • DES加密算法
  • 身份验证
  • 用例(Use Case)
  • 分析模式
  • 时序逻辑
  • 多线程
  • 类型安全
  • 可重入
  • soap
  • uddi
  • Xml
  • web services
  • C/S
  • B/S
  • JavaScript
  • 脚本语言
  • 多重继承
  • 内存
  • SRAM
  • EPROM
  • EEPROM
  • 闪存
  • RAM
  • 垃圾回收
  • IDE
  • 版本控制
  • 运算符重载
  • 指针
  • 比特
  • 二进制
  • 八进制
  • 十进制
  • 十六进制
  • MIME
  • p2p
  • 系统软件
  • 应用软件
  • DirectX
  • DirectShow
  • OpenGL
  • COM
  • API
  • 链表
  • 循环链表
  • 双向链表
  • 堆栈
  • 阵列
  • STL
  • 模板
  • 软件开发
  • 需求获取
  • 软件架构
  • 分布式计算
  • 单层系统
  • 插件
  • 性能分析
  • 程序分析
  • 敏捷软件开发
  • 软件配置管理
  • 迭代式开发
  • 抽象类
    • 抽象
      • 存取权限
  • 存取器方法
  • 无线网络
  • AP
  • WLAN
  • homeRF
  • 泛型
  • 北大青鸟
  • 杨芙清
  • 青鸟工程
  • JIT
  • 强类型
  • .NET Framework
  • DCOM
  • .NET Remoting
  • COM Interop
  • CLR
  • BCL
  • ActiveX
  • OLE
  • LINQ
  • ODBC
  • JDBC
  • MDAC
  • ADO
  • Pascal
  • SQL
  • Mysql
  • PT
  • 端口：port
  • DAO
  • RDO
  • Silverlight
  • Flash
  • DoS
  • DOM
  • FTP（File Transfer Protocol）
  • hello world
  • ECMAScript
  • WIFI
  • ELF
  • .NET Compact Framework
  • windows mobile
  • gprs
  • windows ce
  • 搜索引擎
  • MFC
  • DLR
  • HTML（HyperText Mark-up Language）
  • XAML
  • Applet
  • WPF
  • ARP协议
  • ClearType
  • OpenType
  • GSM
  • TrueType
  • SNMP
  • SAX
  • Unicode
  • TCP/IP协议
  • MAC地址
  • GBK
  • UPnP
  • GB2312
  • UTF-8
  • UTF-32
  • UTF-16
  • UTF-7
  • url
  • GB 18030
  • IPV6
  • GB 13000
  • ajax
  • ntfs
  • EUC
  • Big5
  • [编辑本段]网络地址转换(NAT)
  • 流媒体
  • voip
  • OA
  • VLAN
  • bt
  • WiMax
  • XSLT
  • VIP：Virtual IP Address
  • RTF
  • XSL-FO
  • PDF
  • DTD
  • win32
  • 字节序
  • 3G
  • MSB
  • 虚拟主机
  • LSB
  • 网络传输协议
  • XML Schema
  • iptv
  • ARP
  • XHTML
  • w3c
  • CSS
  • RARP
  • BGP
  • 注册表
  • SSH
  • OpenSSH
  • 正则表达式
  • IP
  • j2ee
  • TCP
  • FTP
  • 脚本
  • SMTP
  • UDP
  • VB
  • DHCP
  • RIP
  • DCCP
  • NTP
  • STUN
  • RTSP
  • ActiveX控件
  • RTCP
  • RTP
  • SVN
  • RPC
  • SIP
  • 寄存器
  • SDP
  • session
  • XMPP
  • UI
  • HTTP
  • 数据库设计
  • DB2
  • Gopher
  • E-R图
  • 数据字典
  • 报文交换
  • jdbc
  • Telnet
  • PPP
  • IGP
  • Oracle数据库
  • OSPF
  • IGRP
  • ICMP
  • X.25
  • jdk
  • IPX
  • IPsec
  • J2SE
  • L2TP
  • lamp
  • 蓝牙
  • OOP
  • EGP
  • RFCOMM
  • WAP
  • JRE
  • SRTP
  • LMP
  • SCTP
  • 路由
  • API函数
  • MD5
  • POJO
  • OO
  • TDD
  • Boo
  • sdk
  • 多态性
  • 单播
  • 多播
  • NNTP
  • MD4
  • 钩子程序
  • 反汇编
  • C/S结构
  • 观察者模式
  • 策略模式
  • 概要设计说明书
  • 模板方法模式
  • Windows API
  • 匈牙利命名法
  • Erlang
  • 访问者模式
  • gcc
  • 工厂模式
  • Hashmap
  • 红黑树
  • ACCESS数据库
  • SDS
  • sybase
  • DDL
  • DSN
  • SQLite
  • OWL
  • Prolog
  • PL/SQL
  • 数据库管理系统
  • Symbian OS
  • iPhone OS
  • OLEDB
  • ACID
  • 数据流
  • 主键
  • 外键
  • DML
  • 指针（数据库）
  • 数据库表
  • 关系型数据库管理系统
  • 候选键
  • PostgreSQL
  • SGA
  • SVG
  • Berkeley DB
  • 实体关系图
  • SMIL
  • 网络数据库
  • Firebird
  • 概念模型
  • BlackBerry
  • BLOB
  • MaxDB
  • FoxBASE
  • 超键
  • 触发程序
  • BDE
  • OpenGL ES
  • Quartz
  • OpenAL
  • 多点触控
  • KDD
  • Mac OS X
  • 数据库语言
  • UIQ
  • S60
  • 数据库完整性
  • FAT
  • OCI
  • dBASE
  • MySQL Administrator
  • NTFS
  • FAT32
  • RDB
  • 多维数据库
  • FAT16
  • 异构数据库
  • OSA
  • 数据项
  • ext3
  • 参照完整性
  • JDO
  • UDF
  • ext2
  • 中间件
  • HFS
  • XFS
  • EFS
  • JFS
  • ReiserFS
  • 系统分析
  • 详细设计说明书
  • MVC设计模式
  • OMG (Object Management Group)
  • 软件项目管理
  • 分布式文件系统
  • STD
  • NFS
  • VFAT
  • 白盒测试详细
  • UAT
  • HPFS
  • 黑盒测试详解
  • 灰盒测试
  • 软件过程模型
  • 功能测试
  • SMB
  • 性能测试
  • 软件项目风险管理
  • 详细设计
  • 回归测试详解
  • 缺陷管理
  • Ext4
  • 压力测试
  • T-SQL
  • 负载测试
  • ZFS
  • 单元测试详解
  • 软件测试计划
  • 确认测试
  • 需求调研
  • 重构
  • ext
  • OOAD
  • 软件测试驱动开发
  • SDL图
  • WinFS
  • 软件集成测试
  • 原型模型
  • LOC
  • 软件系统分析
  • 可行性分析
  • BFS
  • 自动化测试
  • ISO 9660
  • 软件度量
  • 软件本地化
  • 智能模型
  • 动态测试
  • 软件配置
  • 演化模型
  • 软件度量详解详解
  • 软件质量（software quality）
  • 软件配置管理（Software Configuration Management）
  • 面向对象软件工程
  • 验收测试
  • 文档管理
  • 项目管理
  • 数据库管理
  • 软件过程改进
  • OSSP
  • 软件成熟度
  • 复用
  • 软件构架
  • 软构件
  • 随机测试
  • 用例模型
  • EKA2
  • 个体软件过程：PSP
  • EKA1
  • 软件维护性
  • 配置测试
  • J2ME
  • α测试
  • EPOC
  • IS-IS
  • Beta测试
  • 软件质量因素
  • 软件质量技术
  • 持久类
  • 软件项目计划
  • 软件风险管理
  • 统一建模语言（UML）
  • 统一软件开发过程
  • 关键过程域
  • 软件设计准则
  • 软件规格
  • 成本估算方法
  • 软件过程成熟度
  • 模块化准则
  • 内聚
  • 自顶向下
  • 抽象和逐步细化
  • 软件危机详细
  • 变更控制
  • 标识软件配置项
  • 令牌网
  • RTM测试
  • 设计复审
  • 逐步求精
  • 用户体验
  • PSP
  • JNI
  • AWT
  • Swing
  • SWT
  • JFace
  • LightweightSystem
  • POSIX
  • pThread
  • 职责驱动设计
  • 程序计数器
  • Web服务
  • Web服务（Web Service）是基于XML和HTTPS的一种服务，其通信协议主要基于SOAP，服务的描述通过WSDL，通过UDDI来发现和获得服务的元数据。
  • 超线程
  • 流程图
  • 工作流
  • PF
  • P2SP
  • TBF
  • 动态路由
  • 名字解析器
  • ad-hoc network
  • Tapestry
  • 便携式网络图片
  • 网络丢包率
  • 解释型语言
  • 地址解析协议
  • 无连接协议
  • OpenSolaris
  • LEACH
  • jca
  • PICT
  • Javassist
  • NSP
  • HDF
  • 软件版本标志
  • XForms
  • 边界网关协议
  • 通发技术
  • GNU计划
  • 生物特征识别
  • 背包问题
  • COBOL
  • RAID
    • RAID 0
    • RAID 1
    • RAID 3
    • RAID 5
  • 路由表
    • 静态路由表
    • 动态路由表
  • Legacy sytem
  • 捆绑软件
  • 布尔逻辑
  • BNF范式
  • AD-hoc network
  • 汇集时间
  • 二进制兼容
  • Beta 版本
  • 人工智能
  • 粒度计算
  • 程序切片
  • 程序静态分析
  • 形式化方法
  • 文本检索
  • 自然语言理解
  • 耦合性
  • 网络流
  • 自然语言处理
  • 僵尸进程
  • 串流媒体
  • 普林斯顿结构
  • case工具
  • 简单工厂模式
  • 跨平台
  • Hash表
  • 构造子
  • 模块独立
  • 上下文图
  • Warnier方法
  • 上下文对象
  • Gecko引擎
  • 数据耦合
  • 强名称
  • 分布式应用程序
  • Series60
  • 模块化语言
  • 编程计算器
  • 分布式事务
  • 图灵奖（A.M. Turing Award）
    • 英特尔
  • google
  • 预处理
  • 公共语言运行库
  • C#泛型
  • 蒙特卡罗方法
  • 串行化
  • 设备上下文
  • MFC程序映射库
  • 运行库
  • 中间层
  • 深度优先搜索
  • 程序集
  • 调试器
  • 应用程序编程接口
  • LPVOID
  • 内部类
  • http://baike.baidu.com/
  • Property过程
  • 泛化关系
  • 上下文无关文法
  • 交叉测试
  • rup
  • 关联关系
  • 贪婪算法
  • 向后兼容
  • Certification Authority
  • RSA算法
  • 随机化算法
  • 蚁群算法
  • JDOM
  • JNDI
  • JAVA虚拟机
  • 迪米特法则
  • 浅复制
  • 深复制
  • PKI(Public Key Infrastructure)
  • 平均寻道时间
  • 热插拔
  • 无限传感网络
  • 流氓软件
  • 硬盘转速
  • 比特率
  • JAR
  • SATA
  • 实时调试
  • URI
  • 命名空间
  • 所见即所得
  • Stub
  • 容器
  • A*搜寻算法
  • 语音识别
  • 图着色问题
  • 类图
  • 旅行推销员问题
  • 多主体优化系统
  • 顺序图
  • 极小化极大算法
  • 霍夫曼编码(Huffman Coding)
  • 活动图
  • Fibonacci 堆
  • 对象图
  • 协作图
  • 用例图
  • 统一软件开发过程RUP
  • use case
  • OMT
  • SysML
  • MagicDraw
  • Booch
  • 开源
  • 模型驱动开发
  • XTUML
  • 数据流程图
  • 业务流程图
  • 程序框图
  • 系统流程图
  • 用户界面设计
  • 体系结构设计
  • 数据库建模
  • 结构化语言
  • 视图
  • 逆向工程
  • 结构化分析方法
  • 基于构件软件开发
  • osa
  • CASE
  • 语句覆盖
  • 条件覆盖
  • ERP
  • 判定覆盖
  • 覆盖率
  • 测试用例
  • 路径覆盖
  • 等价类划分
  • 边界值分析
  • 测试计划
  • 测试报告
  • 测试环境
  • 测试过程
  • 本地化测试
  • 原地算法
  • 并行计算
  • cmm2标准
  • 并行排序
  • 个人软件过程
  • 软件复杂度
  • Petri网
  • 标签联合
  • 状态图
  • pdl语言
  • PAD图
  • N-S图
  • 耦合
  • hipo图
  • 代码走查　　代码走查(code walkthrough)
  • mvc
  • C Sharp
  • webservice
  • BSTR
  • axis
  • Struts2
  • OS/2
  • 框架
  • struts
  • 规则引擎
  • javaBean
  • 散列表
  • 散列函数
  • 映射
  • GPL
  • 自由软件基金会
  • 逻辑覆盖
  • 条件组合覆盖
  • BSD许可证
  • copyleft
  • LGPL
  • 专有软件
  • 公共软件
  • 鸦片软件
  • JMX
  • JavaOne
  • IETF
  • IEEE
  • PPTP
  • 令牌环
  • FDDI
  • POP3
  • IMAP
  • HSPA
  • HDLC
  • EAP
  • SSL
  • 流量控制
  • MIDP
  • IGMP
  • CLDC
  • 枚举
  • SamllTalk
  • GTK+
  • Qt
  • Visitor 模式
  • 分离逻辑
  • Medusa
  • 作用域
  • 二义性
  • Smalltalk
  • SDH
  • ALOHA
  • TinyOS
  • 基于组件的软件工程
  • 自适应软件开发
  • 动态链接库
  • Network OLE
  • 动态系统开发方法
  • 聚类算法
  • RFC
  • ICANN
  • Logiscope
  • Scrum
  • 水晶方法
  • Apriori算法
  • 域名
  • weka
  • IPv9
  • 特性驱动开发
  • KNN算法
  • 敏捷建模
  • 朴素贝叶斯
  • 知识产权
  • 软件事务内存
  • 过程模式
  • OLAP
  • 共享内存
  • CHAID分析
  • OpenMP
  • 冯-诺依曼
  • 关注点分离
  • 关注点
    • 横切关注点
    • 主关注点（core concern）
    • 支配性分解（dominant decomposition）
    • 关注点分离（Separation of concerns，SOC）
  • 代码覆盖率
  • 程序错误
  • Bezier曲线
  • 2000年问题
  • 10000年问题
  • bresenham算法
  • 2038年问题
  • 时间协议
  • DAYTIME协议
  • 有穷自动机(有限自动机 FA Finite Automata)
  • Dijkstra算法
  • 多孔算法
  • 生命游戏
  • 演绎证明（deductive proving ）
  • 对称加密算法
  • 演绎证明
  • 二叉堆
  • Floyd算法
  • 统一过程（Unified Process）
    • Rational Unified Process
  • 归并排序算法
  • GP算法
  • 回溯算法
  • 哈希算法
  • 归纳证明（inductive prooving）
  • 哈夫曼编码
  • 最优二叉树算法
  • 最小生成树
  • DiffServ
  • IntServ
  • 图灵奖
  • RSVP
  • 北桥芯片
  • 南桥芯片
  • CMM
  • 确定有限自动机（DFA Deterninistic FA）
  • 程序设计
  • 风险控制
  • COBRA
  • 转移图
  • SQA
  • 自动机的语言
  • 线段树
  • TSP
  • 兼容性
  • X Window
  • sql查询语言
  • SparQL
  • XQuery
  • GSDB数据库
  • 基因组序列数据库
  • SQL Server
  • iBATISDataMapper
  • MDX
  • Solr
  • MySQL
  • 工作分解结构
  • 层次分析法
  • DRDA
  • 对象数据库
  • Openbiz
  • IQL
  • ThinkPHP
  • DBMS
  • Transaction Processing
  • 知识发现
  • 批处理文件
  • OMG
  • OW2
  • AS
  • 套接字
  • 同步
  • 分布式
  • 序列化
  • 函数重载
  • 数据库连接池
  • 窗口句柄
  • 内存泄漏
  • 消息队列
  • 异步
  • 　CGI
  • 递归可枚举语言
  • WiFi Hopper
  • 手机定位
  • DT
  • 超信
  • TD标准
  • LTE
  • PACS结构层次
  • VLAN隔离技术
  • web2.0
  • 硬中断
  • 软中断
  • 内中断
  • 外中断
  • web 3.0
  • 中断
  • Grove
  • PWS
  • CSS3
  • WEB挖掘
  • cherokee
  • DOS
  • GDI+
  • Gateway
  • 语义web
  • MVC
  • web1.0
  • MHTML
  • 关键字密度
  • 语义网
  • 虚拟目录
  • XSL
  • Web数据库
  • Smart Hide
  • wsgi
  • MyEclipse
  • 软件工程过程
  • 软件工程目标
  • 软件工程的原则
  • 问题定义
  • 可行性研究
  • 综合测试
  • 软件开发工具
  • 　数据库管理系统
  • 软件设计
  • 软件编码
  • 系统集成
  • C/S架构
  • X86
  • ACM
  • Eclipse
  • NetBeans
  • SDK
  • DFS
  • 八皇后问题
  • 脱壳
  • limbo
  • D语言(D programming language)
  • d语言(d language)
  • 存储过程
  • SQL触发器
  • BMT
  • WebDAV
  • 数据冗余
  • CMT
  • 循环冗余校验码
  • IL(Internet Link)协议
  • ESB
  • 自委托
  • 开源软件
    • 容量规划
  • Mashup
  • Scala
  • App Store
  • 计算机科学技术总论-徐家福
  • 随机条件场
  • 本体学习
  • Bioinformatics
  • 信息物理系统
  • 机器学习和模式识别
    • 神经网络
    • 决策树
    • 爬山算法
    • 统计机器翻译
    • 计算机视觉
    • 遗传算法
    • 遗传编程
    • 人脸识别
    • 光学字符识别
  • Architectural design decision
  • Archium 资料汇总
  • Palm WebOS
  • GWT
  • microprocess
  • Recommendation System
  • Recommendation Systems for Software Engineering
  • Groupware
  • False negative
  • false positive
  • Unsound vs. Incomplete
  • bug finding tool
• 算法
  • 算法学
  • 概率算法
  • 组合算法(combinatorial algorithm)
  • 图与网络优化算法
  • 单纯形法
  • 穷举搜索
  • 分支限界法
  • 排序算法
  • VLSI算法
  • 贪心法
  • 动态规划
  • 算法设计
  • 分治法
  • 深度优先和广度优先搜索
• 精简指令集计算机
  • 复杂指令系统计算机
• 虚拟机（virtual machine）
  • VMotion
  • 虚拟机迁移
• 软件复用
  • 软件复用的优越性
  • 软件复用的维度
  • 基于构件的软件开发
    • 构件
      • 构件的分类
        • 在线构件
        • 离线构件
      • 构件规约
      • 构件实现
      • 构件模型
        • 分类/描述模型
        • 规约/组装模型
        • 实现级模型
          • CCM
          • Enterprise JavaBean
            • 会话构件（Session Bean）
              • 有状态会话Bean
              • 无状态会话Bean
            • 实体Bean
              • BMP
              • CMP
            • 消息驱动Bean
    • 构件分类2
      • 基础构件
      • 领域构件
      • 专用构件
  • 可复用软件资产的常见形态
    • 需求规格说明书的复用
    • 设计的复用
    • 代码的复用
    • 测试案例的复用
    • 文档的复用
  • 实现复用的困难
  • 软件资产的管理技术
    • 面向Internet的软件资产收集方法
      • Agora
      • Extreme Harvest
      • SE4SC
      • Woogle
    • 软件资产的分类方法
    • 资产间关系的管理方法
    • 软件资产的反馈管理方法
    • 软件资产的可信性管理方法
  • 软件资产
    • 定义
    • 相关规范
  • 制品（Artifact）
  • RAS
  • IEEE 1517-1999
  • IEEE BIDM
• 软件安全性
  • Phishing
    • Spyware
  • 广告软件Adware
  • SQL注入
  • DOS攻击
    • SYN Flood
    • LAND attack
    • ICMP floods
      • Application level floods
  • 入侵检测系统(IDS)
  • 木马
• 软件维护(software maintenance)
  • 应用迁移
  • 在线演化
  • 构件迁移
• 面向服务架构
  • 面向服务的体系结构
  • SOA

Singletons:

• 分时处理(time-sharing processing)
• 自动机理论
• 论域理论(domain theory)
• 栈自动机(stackautomaton)
• 模型检验(model checking)
• 相对性
• 细胞自动机(cenularautomaton)
• ABC/ADL
• ABCTool
• AOP
• ASCII
• AspectJ
• BSD
• Base64
• Big-Endian
• C2 SADL
• DCE
• DNS
• DOS操作系统(DOS operating system)
• DRAM
• Darwin
• Dependability
• EJB
• EPIC
• IDL
• IL协议
• JMS
• JVMPI
• JVMTI
• Linux操作系统(Linux operating system)
• MDA
• MapReduce
• NIX操作系统(UNIX operating system)
• OMS(对象管理系统)
• OOA(面向对象的分析)
• OOP(面向对象编程)
• OSGi
• PE格式
• PKUAS
• PaaS
• Ruby
• SMC
• SaaS
• Software Requirements Specification
• Solaris
• SuperScalar(超标量)
• UniCon
• VLIW
• Windows操作系统(Windows operating system)
• little-endian
• mac os
• psos
• xADL
• λ演算(λ calculus)
• π演算(π-calculus)
• 　面向对象设计（Object-Oriented Design，OOD）
• 上界与下界
• 下推自动机
• 事务
• 云计算
• 互操作协议
• 交叉编译程序(cross compiler)
• 代数语义(algebraic semantics)
• 代码优化(code optimization)
• 代码生成(code generation)
• 任务调度程序(task scheduler)
• 作业(job)
• 作业管理程序(job manager)
• 供应过程(supply process)
• 公理语义
• 内存补丁
• 函数调用约定
• 剪裁过程(tailoring process)
• 加壳
• 加密算法
• 原型速成方法(rapid prototyping method)
• 可信软件
• 可计算性理论
• 喷泉模型
• 喷泉模型(fountsin model)
• 基于构件的软件开发方法(component- based software development method， CBSD)
• 堆
• 增量模型
• 处理器管理程序(processor manager)
• 多态(polymorphism)
• 多态类型(polymorphic type)
• 多道程序设计(multiprogramming)
• 存储管理程序(memory manager)
• 学术机构
• 宏处理程序(macroprocessor)
• 嵌入式操作系统(embedded operating systems)
• 工具箱(toolkit)
• 帮助
• 并发模型(models of concurrency)
• 并行编译程序(parallelizing compiler)
• 广义表
• 应用服务器
• 开发过程(development process)
• 形式语义
• 形式语言理论
• 形式语言理论(formal languagetheory)
• 微内核(microkernel)
• 快速原型模型
• 批处理(batch processing)
• 指称语义(denotational semantics)
• 操作语义(operational semantics)
• 支持过程(supporting process)
• 敏捷开发
• 散列算法
• 数据仓库
• 数据挖掘
• 文件(file)
• 文件管理程序(file manager)
• 时序图（Sequence Diagram）
• 时段演算(duration calculus)
• 时间谱系与空间谱系
• 本体
• 机器学习
• 极限编程
• 栈
• 树
• 模块化方法(modular method)
• 死锁(deadlock)
• 汇编程序(assembler)
• 测试工具(testing tool)
• 混合自动机
• 混合计算模型(hybrid computational models)
• 演化模型(evolutionary model)
• 瀑布模型
• 理解工具(understanding tool)
• 界面工具(interface tool)
• 相似性
• 稀疏矩阵
• 程序分析(program analysis)
• 程序逻辑(program logic)
• 程序验证(verification of programs)
• 管理过程(management process)
• 类型论(type theory)
• 系统开发方法(Jackson system de- velopment method)
• 系统开发方法(Jackson system development method)
• 线性表
• 线程(thread)
• 结构化方法(structured method)
• 统计语言模型
• 维护工具(msintenance tool)
• 维护过程(maintenance process)
• 编码工具(coding tool)
• 编译程序(compiler)
• 编译程序的编译程序(compiler-compiler)
• 编辑程序(editor)
• 能力成熟度模型(capability maturity model，CMM)
• 自编译程序(self-compiler)
• 获取过程(acquisition process)
• 螺旋模型
• 螺旋模型(spiral model)
• 装入程序(loader)
• 解释程序(interpreter)
• 计算复杂性理论
• 计算复杂性理论(compute complexity theory)
• 计算数论
• 计算机软件的法律保护(legal protection of computer software)
• 计算机辅助软件工程(computer aided soft- ware engineering，CASE)
• 计算模型
• 计算理论
• 设计工具(designing tool)
• 词法分析(lexical analysis)
• 语法分析(syntax analysis，parsing)
• 语言处理系统(language processing system)
• 语言复杂性类
• 调试工具(debugging tool)
• 资源与复杂度函数
• 软件中间件(software middleware)
• 软件互操作
• 软件体系结构(software architecture)
• 软件再工程(software reengineering)
• 软件加密
• 软件包(software package)
• 软件可靠性(software reliability)
• 软件复用(software reuse)
• 软件工具(software tool)
• 软件工程(software engineering)
• 软件工程环境(software engineering environment)
• 软件工程经济学(software engineering eco- nomics)
• 软件库(software library)
• 软件开发方法(softwaredeVelopmentmethod)
• 软件开发模型(software development model)
• 软件开发环境(software development envi- ronment)
• 软件构件库(software component library)
• 软件测试(software testing)
• 软件狗
• 软件理解(software understanding；software comprehension)
• 软件生存周期
• 软件系统(software systems)
• 软件缺陷
• 软件解密
• 软件设计模式(software design pattern)
• 软件调试(software debugging)
• 软件质量(software quality)
• 软件过程(software process)
• 软件过程模型(software process model)
• 软件逆向工程(software reverse engineering)
• 软件配置管理(software configuration man agement)
• 输入输出管理程序(input/output manager )
• 运作过程(operation process)
• 运行时验证
• 进程(process)
• 进程代数(process algebra)
• 远程过程调用
• 连接编辑程序(linkage editor)
• 逆向分析技术
• 通信系统演算(calculus Of communicatiOn systems，CCS)
• 通信顺序进程(communicating sequential processes， CSP)
• 配置管理工具(configuration management tool)
• 队列
• 院士
• 需求分析工具(requirements analysis tool)
• 需求工程(requirements engineering)
• 非功能属性(NFP)
• 面向对象数据库管理系统(OODBMS)
• 面向对象方法(object-oriented method)
• 项目管理工具(project management tool)
• 领域工程(domain engineering)
• 马丁洛夫类型理论(Martin-Lof's type theory)