|
|
|
| 词汇列表 |
| 翻译词汇 |
|
分析模型 analytical model
|
|
|
|
分析模型 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
|
|
|
|
|
|
|
| 发表评论 好友推荐 |
|
|
|
|
|
|
|