Info

站点地图

网站内容的概览。将鼠标停放到条目上数秒，可查看其描述信息。

• 软件百科
  • 百科首页
  • 百科简介
  • 软件语言
  • 软件方法学
  • 软件工程
  • 软件系统
  • 需求定义语言
  • 功能语言
  • 设计性语言
  • 程序设计语言
  • 文档语言
  • 程序
  • 自顶向下方法
  • 结构化分析与设计技术
  • 自底向上方法
  • 面向对象方法
  • 模块化方法
  • 原型速成方法
  • 基于构件的软件开发方法
  • 形式方法
  • 软件自动化方法
  • 程序设计方法学
  • 软件生命周期
  • 软件开发模型
  • 软件过程
  • 需求工程
  • 软件体系结构
  • 软件设计模式
  • 软件开发方法
  • 软件复用
  • 领域工程
  • 软件调试
  • 软件测试
  • 软件维护
  • 软件逆向工程
  • 软件再工程
  • 软件工程环境
  • 软件开发环境
  • 计算机辅助软件工程
  • 软件质量
  • 软件安全性
  • 软件工程经济学
  • 计算机软件的法律保护
  • 操作系统
  • 软件中间件
  • 语言处理系统
  • 数据库系统
  • 分布式软件系统
  • 人机交互系统
  • 进程
  • 线程
  • 多道程序设计
  • 任务调度程序
  • 批处理
  • 分时处理
  • 死锁
  • 文件
  • 作业
  • 处理器管理程序
  • 存储管理程序
  • 文件管理程序
  • 输入输出管理程序
  • 作业管理程序
  • 微内核
  • 嵌入式操作系统
  • UNIX操作系统
  • DOS操作系统
  • Windows操作系统
  • Linux操作系统
  • 软件需求定义
  • PSL语言
  • PSA语言
  • 数据流图
  • 统一建模语言
  • 广谱语言
  • 功能规约
  • 形式功能规约
  • 功能规约语言
  • CIP-L语言
  • Z语言
  • FGSPEC语言
  • 前后断言方法
  • 最弱前置条件方法
  • 设计规约
  • 形式设计规约
  • PDL语言
  • 状态转移图
  • 模块结构图
  • 实体联系图
  • 接口定义语言
  • SETL语言
  • Larch语言
  • GSPEC语言
  • OBJ语言
  • 低级语言
  • 高级语言
  • 语法
  • 语义
  • 语用
  • 元语言
  • 巴克斯-诺尔形式体系
  • 语法图
  • 乔姆斯基层次
  • 产生式
  • 波兰记法
  • Occam语言
  • 例程
  • 子例程
  • 协同例程
  • 子程序
  • 数据
  • 值
  • 常量
  • 变量
  • 表达式
  • 语句
  • 说明
  • 函数与过程
  • 数据类型
  • 类型定义
  • 数据结构
  • 绑定
  • 对象
  • 类
  • 软件构件
  • 软件主体
  • 继承
  • 信息
  • 信息隐蔽
  • 封装
  • 会合
  • 异常处理
  • MS-DOS
  • Windows
  • 静态测试
  • 桌面检查
  • 审查
  • 走查
  • 白盒测试
  • 黑盒测试
  • 等价类技术
  • 边界值分析技术
  • 预期结果覆盖技术
  • 语句覆盖技术
  • 分支覆盖技术
  • 复合条件覆盖技术
  • 路径覆盖技术
  • 循环覆盖技术
  • 院士
  • 软件监测
  • 学术机构
  • 软件复用的优越性
  • 软件复用的维度
  • 软件需求
  • Characteristics of Excellent Requirements
  • Requirement Statement Characteristics
  • Requirements Specification Characteristics
  • 需求分析
  • Requirements Specification
  • Requirements Validation
  • Requirements Management
  • Customer
  • 需求分析方法
  • 需求的层次
  • 领域分析
  • 领域模型
  • FODA方法
  • 特征
  • DSSA方法
  • EDLC模型
  • FAST方法
  • FORM方法
  • FeatuRSEB方法
  • 帮助
  • CORBA
  • JEE
  • DNA
  • 普适计算
  • 基于构件的软件开发
  • 构件
  • 构件的分类
  • 在线构件
  • 离线构件
  • 可复用软件资产的常见形态
  • 需求规格说明书的复用
  • 设计的复用
  • 代码的复用
  • 测试案例的复用
  • 文档的复用
  • 实现复用的困难
  • 软件资产的管理技术
  • 面向Internet的软件资产收集方法
  • Agora
  • Extreme Harvest
  • SE4SC
  • Woogle
  • 软件资产的分类方法
  • 资产间关系的管理方法
  • 软件资产的反馈管理方法
  • 软件资产的可信性管理方法
  • 基于截取器的软件在线校验方法
  • 操作系统历史
  • 操作系统列表
  • 知件
  • 普适计算的特点
  • 移动计算
  • 环境智能
  • Aura
  • Gaia
  • Disappearing Computer
  • Oxygen
  • Things That Think
  • Cool Town
  • DreamSpace
  • EasyLiving
  • Smart Classroom
  • 智能空间
  • 可穿戴计算
  • 可穿戴设备
  • 上下文感知
  • 嵌入式系统
  • 嵌入式设备
  • 3C融合
  • Reflective Middleware
  • 软件资产
  • Dependability
  • 高可信软件工程
  • High Confidence
  • Phishing
  • Spyware
  • 广告软件Adware
  • 可信计算
  • Trustworthy Computing
  • Trusted Computing
  • Replication Middleware
  • 模型驱动工程
  • 模型变换
  • 领域特定语言
  • 模型变换语言
  • QVT
  • ATL
  • Common Replication Middleware
  • 功能性语言
  • CSP
  • CCS
  • Chrome
  • 软件Agent
  • 分别编译
  • 云计算
  • 并行编译程序
  • 词法分析
  • 语法分析
  • 代码生成
  • 代码优化
  • 简单类型
  • 地址转换
  • 构造类型
  • 抽象数据类型
  • 数组类型
  • 存储分配
  • 存储保护
  • 记录类型
  • 主存扩充
  • 指针类型
  • 分布式操作系统
  • 实时处理
  • 并发控制
  • 虚拟机
  • 机器语言
  • 汇编语言
  • 命令式语言
  • 申述式语言
  • 过程语言
  • Maxthon
  • 用户排名
  • 定义
  • 相关规范
  • ReactOS
  • 应用服务器
  • DCE
  • IDL
  • 远程过程调用
  • 互操作协议
  • 软件互操作
  • 事务
  • 可信软件
  • 软件缺陷
  • 面向服务架构
  • 面向服务的体系结构
  • SOA
  • Drupal
  • 非功能属性
  • Software Requirements Specification
  • 计算理论
  • 算法
  • 算法学
  • 计算复杂性理论
  • 可计算性理论
  • 自动机理论
  • 形式语言理论
  • 计算数论
  • 概率算法
  • 组合算法
  • 单纯形法
  • 图与网络优化算法
  • 穷举搜索
  • 分支限界法
  • 排序算法
  • VLSI算法
  • 算法设计
  • 分治法
  • 贪心法
  • 动态规划
  • 深度优先和广度优先搜索
  • 计算复杂性理论
  • 资源与复杂度函数
  • 计算模型
  • 上界与下界
  • 语言复杂性类
  • 时间谱系与空间谱系
  • 相对性
  • 相似性
  • 下推自动机
  • 指称语义
  • 操作语义
  • 公理语义
  • 代数语义
  • 论域理论
  • λ演算
  • 类型论
  • 马丁洛夫类型理论
  • 多态类型
  • 并发模型
  • 进程代数
  • 通信顺序进程
  • 通信系统演算
  • π演算
  • 程序逻辑
  • 混合计算模型
  • 混合自动机
  • 时段演算
  • 程序验证
  • 模型检验
  • 栈自动机
  • 细胞自动机
  • 形式语言理论
  • 形式语义
  • 基于构件的软件开发方法
  • 系统开发方法
  • 软件库
  • 工具箱
  • 软件包
  • 软件构件库
  • 计算机辅助软件工程
  • 软件质量
  • 软件工程经济学
  • 计算机软件的法律保护
  • 软件系统
  • 进程
  • 线程
  • 多道程序设计
  • 任务调度程序
  • 批处理
  • 分时处理
  • 死锁
  • 文件
  • 处理器管理程序
  • 作业
  • 存储管理程序
  • 文件管理程序
  • 输入输出管理程序
  • 作业管理程序
  • 微内核
  • 嵌入式操作系统
  • 软件开发环境
  • 软件工程环境
  • 维护工具
  • 界面工具
  • 理解工具
  • 测试工具
  • 调试工具
  • 编码工具
  • 设计工具
  • 需求分析工具
  • 配置管理工具
  • 项目管理工具
  • 软件工具
  • 软件配置管理
  • 软件逆向工程
  • 软件再工程
  • 软件理解
  • 程序分析
  • 软件维护
  • 软件调试
  • 软件测试
  • 领域工程
  • 软件复用
  • 原型速成方法
  • 面向对象方法
  • 系统开发方法
  • 模块化方法
  • 结构化方法
  • 软件开发方法
  • 软件体系结构
  • 软件生存周期
  • 软件设计模式
  • 需求工程
  • 能力成熟度模型
  • 软件过程模型
  • 剪裁过程
  • 维护过程
  • 运作过程
  • 支持过程
  • 开发过程
  • 软件工程
  • 软件开发模型
  • 瀑布模型
  • 演化模型
  • 螺旋模型
  • 喷泉模型
  • 软件过程
  • 管理过程
  • 获取过程
  • 供应过程
  • NIX操作系统
  • DOS操作系统
  • Windows操作系统
  • Linux操作系统
  • 软件中间件
  • 语言处理系统
  • 虚拟机
  • 解释程序
  • 汇编程序
  • 编译程序
  • 编辑程序
  • 宏处理程序
  • 装入程序
  • 连接编辑程序
  • 自编译程序
  • 交叉编译程序
  • 编译程序的编译程序
  • 运行时验证
  • 并行编译程序
  • 词法分析
  • 语法分析
  • 代码生成
  • 代码优化
  • VLIW
  • EPIC
  • SuperScalar
  • DRAM
  • 软件加密
  • 软件解密
  • PE格式
  • ASCII
  • MapReduce
  • 逆向分析技术
  • 函数调用约定
  • 散列算法
  • 加密算法
  • little-endian
  • Big-Endian
  • Base64
  • 加壳
  • 内存补丁
  • SMC
  • 软件狗
  • 树
  • 栈
  • 线性表
  • 队列
  • 广义表
  • 稀疏矩阵
  • 堆
  • 本体
  • 统计语言模型
  • AOP
  • EJB
  • BSD
  • Solaris
  • OSGi
  • OOA
  • 时序图
  • OOP
  • 　面向对象设计
  • 机器学习
  • JVMTI
  • JVMPI
  • AspectJ
  • 分布式数据库
  • 关系数据库
  • 创建型模式
  • 抽象工厂模式
  • 工厂方法模式
  • 生成器模式
  • 懒惰初始化模式
  • 对象池模式
  • 原型模式
  • 单例模式
  • 结构型模式
  • 适配器模式
  • 桥接模式
  • 组合模式
  • 修饰模式
  • 外观模式
  • 享元模式
  • 代理模式
  • 行为模式
  • 责任链模式
  • 命令模式
  • 解释器模式
  • 迭代器模式
  • SaaS
  • PaaS
  • DNS
  • PKUAS
  • 数据仓库
  • 数据挖掘
  • 网络服务描述语言
  • JMS
  • VMotion
  • 虚拟机迁移
  • SQL注入
  • DOS攻击
  • SYN Flood
  • LAND attack
  • ICMP floods
  • Application level floods
  • 入侵检测系统
  • MOP
  • 应用迁移
  • 木马
  • 在线演化
  • PyThon
  • Perl
  • C#
  • Ruby
  • Javascript
  • OCL
  • WSCDL
  • 构件迁移
  • 截取器
  • 插装
  • 多态
  • 仲裁者模式
  • 快速原型模型
  • 螺旋模型
  • 喷泉模型
  • 增量模型
  • 极限编程
  • 敏捷开发
  • 备忘录模式
  • 观察者模式
  • 状态模式
  • mac os
  • psos
  • Windows CE
  • PalmOS
  • Symbian
  • VxWorks
  • uClinux
  • Nucleus RTOS
  • ecos
  • MicroC/OS-II
  • ThreadX
  • QNX
  • android
  • 精简指令集计算机
  • 复杂指令系统计算机
  • MDA
  • xADL
  • UniCon
  • Darwin
  • C2 SADL
  • ABC/ADL
  • ABCTool
  • 面向对象数据库管理系统
  • OMS
  • 主动对象
  • SAAM
  • SBAR
  • ALPSM
  • SAEM
  • SAAMCS
  • ESAAMI
  • SAAMER
  • ATAM
  • 构件方法序列-构件测试
  • 内置测试法-构件测试
  • 测试工作台-构件测试
  • 元数据法-构件测试
  • PIM
  • PSM
  • UML
  • xUML
  • RUP
  • CWM
  • MOF
  • JMI
  • EMF
  • GMF
  • SOAP
  • GEF
  • SVM
  • 模式识别
  • 专家系统
  • 强化学习
  • 模糊逻辑
  • 人工神经网络
  • 计算机仿真
  • 随机存取存储器
  • FPGA
  • CMS
  • MSDN
  • AWS
  • WebLogic
  • Tomcat
  • GAE
  • Lotus Notes/Domino
  • NAS
  • SPI
  • ANSI
  • RIA
  • VPN
  • Resin
  • IIS 6.0
  • GlassFish
  • Exchange Server
  • Aws
  • 服务器集群
  • 应用程序池
  • 网络负载均衡
  • PAM
  • 虚拟化
  • 哈佛结构
  • 移动Agent
  • 软件危机
  • PSL/PSA
  • CVS
  • 编程语言
  • CMMI
  • 时序图
  • REST
  • 智能程序
  • 图灵估计
  • 图灵试验
  • 可废止推理
  • 神经网络
  • 爬山算法
  • 生物测定学
  • 设计模式
  • 知识表示
  • 统计机器翻译
  • 计算机视觉
  • 遗传算法
  • 遗传编程
  • 人脸识别
  • 仿生人
  • 信息抽取
  • 倒谱
  • 光学字符识别
  • 决策树
  • 动态语言生成
  • Pellet
  • 博弈论
  • CAPTCHA
  • 模块化本体
  • OSI模型
  • 传输层
  • 应用层
  • 数据链路层
  • 无线应用协议
  • 物理层
  • 网络层
  • 软件设计师
  • 表示层
  • 无线局域网
  • 软件工程师
  • 虚拟局域网
  • 系统分析师
  • CSMA/CD
  • 编译器
  • 以太网
  • 链接器
  • CSMA/CA
  • WAPI