搜索筛选:
搜索耗时0.0933秒,为你在为你在102,285,761篇论文里面共找到 63 篇相符的论文内容
类      型:
[期刊论文] 作者:陈涵生,, 来源:计算机工程 年份:1997
介绍了Java语言对业界的影响,Java平台及当前正在发展着的Java技术。...
[期刊论文] 作者:陈涵生, 来源:计算机工程 年份:1998
信息系统互操作归肖信息技术领域中一个研究热点。简要地介绍了互操作性的主要特征。主要应用领域及主要的研究方向。...
[期刊论文] 作者:陈涵生, 来源:计算机工程 年份:2000
文章主要介绍ISO/IEC12207标准的架构与剪裁方法和一体化软件过程RUP,及其相关的软件工程活动。...
[期刊论文] 作者:陈涵生, 来源:计算机工程 年份:1991
本文论述了八十年代涌现的CASE工具在军用软件开发中的重要意义。介绍了美国 DoD-STD-2167A军标,阐述了 CASE工具对开发者按此军标开发软件的重要作用,最后介绍了一个基于全...
[期刊论文] 作者:陈涵生, 来源:抗恶劣环境计算机 年份:1996
[期刊论文] 作者:陈涵生, 来源:抗恶劣环境计算机 年份:1997
[期刊论文] 作者:陈涵生, 来源:计算机应用与软件 年份:1996
本文重点介绍了对象技术的新动向、新进展。它包括:分布式对象计算、面向对象数据库与数据库的集成技术、面向对象软件的测试技术及相应的标准化工作。...
[期刊论文] 作者:陈涵生,, 来源:经济研究导刊 年份:2014
在经济学领域,:亚当斯密"自由派"与凯恩斯的"政府干预论"争论二百多年,中国目前经济发展到要面对路线的抉择。新一届领导人作出正确决定"两手运用论"。论述的是以往"政府之手"不足之处......
[期刊论文] 作者:陈涵生, 来源:自然杂志 年份:1997
本文概述了Java语言出现的背景,Java技术的基本概念,Java开发工具及当前Java技术的发展动向....
[期刊论文] 作者:陈涵生, 来源:上海微型计算机 年份:1997
网络技术,尤其是Internet技术的巨大飞跃,使信息技术产业从以计算机为中心过渡到以网络为中心的方向发展。全球性网络使当今成千上万台个人电脑与工作站变成可为全球共享的庞...
[期刊论文] 作者:陈涵生, 来源:计算机工程 年份:1977
[期刊论文] 作者:陈建华,陈涵生, 来源:计算机工程 年份:1991
代码移动方法是编译程序全局优化的一个关键技术。本文将介绍一种新的代码移动算法。用此算法就可实现公共子表达式的删除和循环不变运算的移动,而且此算法无需检测循环控制...
[期刊论文] 作者:陈建华,陈涵生, 来源:软件学报 年份:1993
代码移动方法是编译程序全局优化的一个关键技术,本文将介绍一种新的代码移动算法,用此算法就可实现公共子表达式的删除和循环不变运算的移动,而且此算法无需检测循环控制结...
[期刊论文] 作者:PETER WEGNER, 陈涵生,, 来源:计算机工程 年份:2004
程序设计语言领域无疑是计算机科学的最为重要的子领域之一。它的概念、理论和实际发展丰富多彩。本文试图通过一系列大致按其出现次序列出的30件大事(语言和概念)来追溯25年...
[期刊论文] 作者:张泉, 陈涵生,, 来源:计算机工程 年份:1998
随着并发程序的应用越来越广泛,对于并发程序的调试问题也越来越显得突出.并发程序设计要比顺序程序设计困难得多,而且极易产生错误,所以需要强有力的调试工具的支持.但由于并发程......
[期刊论文] 作者:张泉, 陈涵生,, 来源:计算机工程 年份:1998
统一的建模语言是一种用于软件系统开发的建模语言。...
[期刊论文] 作者:陈爱国, 陈涵生,, 来源:计算机工程 年份:2004
VDM是一种系统地开发大型软件的方法,本文讨论这种方法的四要素:形式化的规范说明,基于变换的分阶段系统实现,正确性证明和抽象原理。...
[期刊论文] 作者:张勇,陈涵生,等, 来源:计算机工程 年份:2000
设计安全、有效的认证协议是密码学和通信领域中一个十分重要的研究课题,与认证协议的形式化分析方法研究同步发展。文章在分析认证协议应用技术和协议类型基础上,采用协议结构......
[期刊论文] 作者:李德启,陈涵生, 来源:计算机工程 年份:2000
在用VB开发信息管理系统中,对MS SQLServer7.0的数据库进行跨表查询(又称为组合查询)是开发中的一个难点。该文就此提供一个通用的解决方案。...
[期刊论文] 作者:陶剑,陈涵生, 来源:抗恶劣环境计算机 年份:1992
相关搜索: