会员中心 免费注册 设为首页 加入收藏
首页
求职招聘 翻译资料 翻译超市 精品下载 推荐网站 同城联译 翻译理论 翻译词汇 新闻翻译 访客留言 翻译论坛
词汇发布时间:2006年6月13日14:51 您现在位于:首页翻译词汇
词汇搜索



倾情推荐
敬请关注翻译中国广告!~
有限广告 无限商机
敬请关注翻译中国广告!~
词汇列表
倾情推荐
北京诚译翻译有限公司 FanE广告服务
诚聘各语种兼职翻译,承接各语种翻译业务! http://www.cyi.cn FanE广告虚位以待! 敬请关注翻译中国广告! http://www.FanE.cn
翻译词汇
分析模型 analytical model
2006年6月13日14:51 出处:FanE『翻译中国』 词汇由:tradoser 提供

分析模型  analytical model

应用软件  application software

汇编  assemble

自动设计工具  automated design tool

软件工具  software tool

工具箱  toolbox, toolkit

软件开发环境  software development environment

软件工程环境  software engineering environment

功能需求  functional requirements

功能规约  functional specification

功能部件  functional unit

功能性  functionality

硬件配置项  hardware configuration item, HCI

目标系统  target system

目标计算机  target computer

性能需求  performance requirements

性能规约  performance specification

物理需求  physical requirements

精度  precision

问题报告  problem report

需求  requirement

用户需求  user requirements

需求分析  requirements analysis

问题陈述语言  problem statement language, PSL

问题陈述分析程序  problem statement analyzer, PSA

需求审查  requirements inspection

需求阶段  requirements phase

需求规约  requirements specification

需求验证  requirements verification

标准实施器  standard enforcer

结构化分析  structured analysis

变换分析  transform analysis

变换中心  transform center

静态分析  static analysis

静态分析程序  static analyzer

调试模型  debugging model

定义阶段  definition phase

结构化设计  structured design

概要设计  preliminary design

功能设计  functional design

功能分解  functional decomposition

模块分解  modular decomposition

层次分解  hierarchical decomposition

详细设计  detailed design

设计分析  design analysis

设计分析器  design analyzer
  又称“设计分析程序”。

设计审查  design inspection

设计方法学  design methodology

设计阶段  design phase

设计需求  design requirement

设计评审  design review

设计规约  design specification

设计验证  design verification

设计走查  design walk-through

桌面检查  desk checking

有限状态机  finite state machine

控制流  control flow

数据流  data flow

形式方法  formal method

维也纳开发方法  Vienna development method, VDM

规约  specification
  又称“规格说明”。

结构化规约  structured specification

代数规约  algebraic specification

基于类型理论的方法  type theory-based method

软件自动化方法  software automation method

程序转换方法  program transformation method

演绎综合方法  deductive synthesis method

归纳综合方法  inductive synthesis method

过程实现方法  procedural implementation method

形式规约  formal specification

正式测试  formal testing

结构  structure

结构化方法  structured method

控制结构  control structure

结构图  structure chart

面向数据结构的方法  data structure-oriented method

结构化分析与设计技术  structured analysis and design technique, SADT

自底向上方法  bottom-up method

面向对象方法  object-oriented method
  又称“对象式方法”。

面向对象分析  object-oriented analysis, OOA
  又称“对象式分析”。

面向对象设计  object-oriented design, OOD
  又称“对象式设计”。

面向对象程序设计  object-oriented programming, OOP
  又称“对象式程序设计”。

软件方法学  software methodology

软件工程方法学  software engineering methodology

自顶向下  top-down

自底向上  bottom-up

自顶向下方法  top-down method

自顶向下测试  top-down testing

软件开发模型  software development model

瀑布模型  waterfall model

演化模型  evolutionary model

螺旋模型  spiral model

喷泉模型  fountain model

软件结构  software structure

软件开发方法  software development method

链[接]表  chained list

净室  cleanroom

代码审计  code audit

代码生成器  code generator
  又称“代码生成程序”。

代码审查  code inspection

代码走查  code walk-through

计算机数据  computer data

计算机程序  computer program

软件包  software package

良构程序  well-structured program

程序生成器  program generator
  又称“程序生成程序”。

应用生成器  application generator
  又称“应用生成程序”。

计算机程序摘要  computer program abstract

计算机程序注释  computer program annotation

双份编码  dual coding

虚参数  dummy parameter

动态分配  dynamic allocation

动态分析  dynamic analysis

动态分析器  dynamic analyzer
  又称“动态生成程序”。

动态重构  dynamic restructuring

无我程序设计  egoless programming

嵌入式软件  embedded software

仿真器  emulator
  又称“仿真程序”。

错误分析  error analysis

错误类别  error category

错误数据  error data

错误模型  error model

错误预测  error prediction

错误预测模型  error prediction model

错误撒播  error seeding

评价  evaluation
  又称“评估”。

执行  execution

执行时间  execution time

执行时间理论  execution time theory

执行程序  executive program

出口  exit
  又称“退出”。

接口需求  interface requirements

接口规约  interface specification

解释  interpret

迭代  iteration

文档等级  level of documentation

资料员  librarian

生存周期模型  life-cycle model

连接编辑程序  linkage editor

表处理  list processing

列表  listing

装入映射[表]  load map

装入程序  loader

逻辑文件  logical file

逻辑记录  logical record

模块化方法  modular method

模块化程序设计  modular programming

模块强度  module strength

N-元  N-ary

嵌套  nest

程序体系结构  program architecture

程序正确性  program correctness

程序扩展  program extension

抽象窗口工具箱  abstract window toolkit, AWT

Java开发工具箱  Java development kit

程序探测  program instrumentation

程序变异  program mutation

程序保护  program protection

程序规约  program specification

程序支持库  program support library

程序综合  program synthesis

程序确认  program validation

程序设计支持环境  programming support environment

结构化程序  structured program

结构化程序设计  structured programming

结构化程序设计语言  structured programming language

存根  stub

分包商  sub-contractor

子系统  subsystem

分布式对象计算  distributed object computing, DOC

逐面分类法  faceted classification

开放体系结构框架  open architecture framework, OAF

复用库互操作组织  reuse library interoperability group, RLIG

远程方法调用  remote method invocation, RMI

面向特征的领域分析方法  feature-oriented domain analysis method, FODA

净室软件工程  cleanroom software engineering

成熟度  maturity

可理解性  understandability

松散时间约束  loose time constraint

因果图  cause effect graph

过程程序设计  procedural programming

逻辑程序设计  logic programming

函数程序设计  functional programming

顺序程序设计  sequential programming

分布式程序设计  distributed programming

可视程序设计  visual programming

文化程序设计  literate programming

静态绑定  static binding

统计测试模型  statistical test model

测试有效性  test validity

走查  walk-through

绝对机器代码  absolute machine code

抽象  abstraction

偶然事故  accident

需方  acquirer

获取  acquisition

活动文件  active file

活动  activity

地址空间  address space

自动测试用例生成器  automated test case generator

自动测试数据生成器  automated test data generator

自动测试生成器  automated test generator

自动验证系统  automated verification system

自动验证工具  automated verification tool

可用性模型  availability model

引导装入程序  bootstrap loader

隐错  bug

隐错撒播  bug seeding

构件块  building block

能力成熟[度]模型  capability maturity model, CMM

计算机程序认证  computer program certification

计算机程序配置标识  computer program configuration identification

计算机程序开发计划  computer program development plan

计算机程序确认  computer program validation

计算机程序验证  computer program verification

条件控制结构  conditional control structure

配置控制委员会  configuration control board

配置标识  configuration identification

配置项  configuration item

配置状态报告  configuration status accounting

禁闭  confinement

合同  contract

控制数据  control data

改正性活动  corrective action

正确性证明  correctness proof

关键部分优先  critical piece first

关键程度  criticality

交叉汇编程序  cross assembler

客户服务  customer service

开发者  developer

开发者合同管理员  developer contract administrator

开发方法学  development methodology

开发进展  development progress

开发过程  development process

开发规约  development specification

文档编制  documentation

文档级别  documentation level

失效类别  failure category

失效数据  failure data

失效比  failure ratio

失效恢复  failure recovery

故障类别  fault category

故障插入  fault insertion

故障撒播  fault seeding

功能性配置审计  functional configuration audit, FCA

不完全排错  imperfect debugging

实现  implementation

实现阶段  implementation phase

实现需求  implementation requirements

独立验证和确认  independent verification and validation

内在故障  indigenous fault

归纳断言法  inductive assertion method

基础设施  infrastructure

安装和检验阶段  installation and check-out phase

通用安装程序  universal installer

指令跟踪  instruction trace

探测  instrumentation

探测工具  instrumentation tool

集成  integration

交互[式]系统  interactive system

维护者  maintainer

维护阶段  maintenance phase

维护计划  maintenance plan

映射程序  map program

主库  master library

里程碑  milestone

助忆符号  mnemonic symbol

不交付项  non-deliverable item

记法  notation

现货产品  off-the-shelf product

运行和维护阶段  operation and maintenance phase

改善性维护  perfective maintenance

操作过程  operation process

运行可靠性  operational reliability

操作员手册  operator manual

组织过程  organizational process

路径条件  path condition

路径表达式  path expression

物理配置审计  physical configuration audit, PCA

过程  procedure

产品认证  product certification

产品库  product library

产品规格说明  product specification
  又称“产品规约”。

项目文件  project file

项目管理  project management

项目簿  project notebook

项目计划  project plan

项目进度[表]  project schedule

下推式存储器  push-down storage

上推  push-up

鉴定  qualification

鉴定需求  qualification requirement

质量工程  quality engineering

实时  real-time

递归例程  recursive routine

注册过程  registration process

可靠性数据  reliability data

可靠性模型  reliability model

可重定位机器代码  relocatable machine code

招标  request for proposal

退役阶段  retirement phase

运行方式  run mode

安全认证授权  safety certification authority

撒播  seeding

顺序进程  sequential processes

严重性  severity

副作用  side effect

模拟器  simulator
  又称“模拟程序”。

规模估计  sizing

软件构件  software component

软件验收  software acceptance

软件获取  software acquisition

软件资产管理程序  software asset manager

软件配置  software configuration

软件配置管理  software configuration management

软件数据库  software database

软件开发周期  software development cycle

软件开发库  software development library

软件开发手册  software development notebook

软件开发计划  software development plan

软件开发过程  software development process

软件文档  software documentation

软件评测  software evaluation
词汇出处:FanE『翻译中国』
词汇提供者:tradoser
发表评论 好友推荐

关于我们友情链接在线翻译在线电台天气预报与我在线交费方式广告服务翻译搜索精彩帖图版主评定TOP
FanE『翻译中国』--- 中国人的翻译!   FanE.cn FanE 联译会 FanE『翻译中国』邮箱
Copyright ? 2004-2008 FanE『翻译中国』 本站法律顾问: 胡述峰
京ICP 05013550 E-mail: FanE@FanE.cn haha@FanE.cn
Processed in 0.484 s, 14 queries, 78 Cache, 116 Online