助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   研究程序 在 计算机软件及计算机应用 分类中 的翻译结果: 查询用时:0.008秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
体育
更多类别查询

图标索引 历史查询
 

研究程序
相关语句
  “研究程序”译为未确定词的双语例句
    This paper is mainly concentrate on the description of component and strategies of component retrieval and propose a current description method UCDL.
    本文主要研究程序挖掘中构件描述方法和检索策略问题,提出了一种通用构件描述方法UCDL~1;
短句来源
    A constructive type theory may be used as a theoretical foundation to study automatic programming. This paper, using a type theory which supports object oriented computation, discusses an approach of object oriented automatic programming. The program unit of an object oriented program is class, encapsulating data and a group of related operations.
    构造性类型理论可作为研究程序自动化的理论基础.本文根据一种支持面向对象计算的类型理论,探讨了面向对象程序自动化的途径.面向对象程序的程序单位是类,它是数据和一组相关操作的统一体,程序开发的关键在于开发这些操作,本文重点讨论了开发这些操作的方法
短句来源
    The aim of this paper is to dig out properties in program structures via natural numbers.
    用自然数研究程序结构的特点是文章的写作目的。
短句来源
    Program security is gradually becoming an active field in information security technology. It mainly includes program vulnerabilities analysis and program security protection technologies.
    程序安全是信息安全研究的一个重要方向,主要研究程序缺陷分析和安全保护技术等。
短句来源
查询“研究程序”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


This artical mainly presents the elementary thought and method that David. Gries, professor of the Cornell University applied in his research on programming with WP (weakest precondition) in small program aspect.

本文主要简介美国康奈尔(Coroell)大学大卫·格里斯(David.Gries)教授在小程序方面,运用wp(weakest precondition)研究程序设计的基本思想和方法。

Software reliability has been becoming a more and more important problem in the field of software engineering.the improvement of the methods of program testing is one of the efforts made in the world to ensure software reliabilily.At present,no satisfactory solution to program testing has been found yet in theory and practice.This paper first gives a general survey of some important concepts and methods as well as the state of the art of the development of testing tools.Secondly,the structured testing is discussed...

Software reliability has been becoming a more and more important problem in the field of software engineering.the improvement of the methods of program testing is one of the efforts made in the world to ensure software reliabilily.At present,no satisfactory solution to program testing has been found yet in theory and practice.This paper first gives a general survey of some important concepts and methods as well as the state of the art of the development of testing tools.Secondly,the structured testing is discussed in more detail,and a heuristic method to generate structured teste data is prese- nted.Finally,a program testing tool is introduced.It can be used to test programs written in BASIC,in particular the students'programs.The principle and method embodied in this testing tool are applicable to the program testing tools for testing programs in other programming languages as well.

在研制计算机软件时,如何提高软件可靠性愈来愈成为一个重要的问题。研究程序测试是当前国际上为解决此问题所作的努力之一。目前程序测试问题无论在理论上或实践上都未获得满意的解决。本文介绍了程序测试的一般概念和方法。提出一种直接产生结构测试数据的方法。本文还介绍了一个程序测试工具。该测试工具可测试用扩充 BASIC 语言书写的程序,尤其适用于批改学生的程序作业。其原理和实现方法也可推广到用其他高级语言书写的程序。该测试工具已在11/B 微计算机上实现,具有较好的测试效果。

The possibility of parallel execution is often stated as an advantage of functional languages. The exciting possibility in FP using static analysis techniques such as program transformation, strictness analysis is explored.

具有并行执行的可能性常被作为函数式程序语言的优点。本文研究了程序变换、严格性分析等静态分析技术以开发FP语言的并行性。

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关研究程序的内容
在知识搜索中查有关研究程序的内容
在数字搜索中查有关研究程序的内容
在概念知识元中查有关研究程序的内容
在学术趋势中查有关研究程序的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社