搜索筛选:
搜索耗时1.4681秒,为你在为你在102,285,761篇论文里面共找到 17 篇相符的论文内容
发布年度:
[期刊论文] 作者：金凌紫,
来源：计算机研究与发展 年份：
面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方法和基于程序的测试方法以及测试......
[期刊论文] 作者：金凌紫,
来源：计算机学报 年份：1990
本文介绍了面向转换式程序设计的元语言TrapML。元语言TrapML是根据对面向转换式程序设计的元语言的设计原则、结构与功能等方面进行分析后提出的。该语言具有对象语言语法描...
[期刊论文] 作者：金凌紫,
来源：国际学术动态 年份：1998
...
[期刊论文] 作者：金凌紫,,
来源：Journal of Computer Science and Technology 年份：1990
This paper proposes a metalanguage TrapML for transformational programming, which is designedbased on the analysis of its design principles, structures and fun...
[期刊论文] 作者：朱莹,金凌紫,
来源：计算机系统应用 年份：1998
安全性需求分析旨在需求分析阶段识别应用系统对安全性的特殊要求，为系统设计、实现和测试提供科学依据。本文以医院信息系统为例，探讨计算机应用系统安全性需求分析的方法以及......
[期刊论文] 作者：金凌紫,朱鸿,
来源：计算机学报 年份：1998
通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序。由于每一个情形实例都只从特定的使用者的角度，根据所需达到的特定使用目的，针对特定......
[期刊论文] 作者：金凌紫,朱鸿,
来源：计算机研究与发展 年份：1990
元程序设计是转换式程序设计的主要途径之一,本文根据作者对国际有关工作的分析,结合进行转换式程序设计与构造转换系统的实践,在设计与实现元语言的基础上,进一步探讨面向转...
[期刊论文] 作者：朱鸿,金凌紫,
来源：计算机学报 年份：1991
本文提出了一种由输入/输出实例综合J.Backus提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化为求解一组程序方程,这组方程可以根据关于程...
[期刊论文] 作者：金凌紫,朱鸿,
来源：软件学报 年份：1997
在开发超文本应用软件时，测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求；节点级验证节点中所今信息的正......
[期刊论文] 作者：徐家福,金凌紫,
来源：国际学术动态 年份：1996
...
[会议论文] 作者：金凌紫,朱鸿,
来源：第二届全国机器学习讨论会 年份：1989
...
[期刊论文] 作者：朱鸿,金凌紫,,
来源：Journal of Computer Science and Technology 年份：1991
This paper proposes an approach to synthesize functional programs of Backus’ FP system frominput/output instances.Based on a theory of orthogonal expansion of...
[期刊论文] 作者：金凌紫,朱鸿,,
来源：Journal of Computer Science and Technology 年份：1988
The development of systems software in functional programming language is still an open problem.This paper describes a preliminary experiment with systems prog...
[期刊论文] 作者：朱莹,金凌紫,朱鸿,
来源：计算机系统应用 年份：1998
安全性需求分析旨在需求分析阶段识别应用系统对安全性的特殊要求，为系统设计、实现和测试提供科学依据。本文以医院信息系统为例，探讨计算机应用系统安全性需求分析的方法以及......
[期刊论文] 作者：火清宁, 张朝良, 白赣洪, 朱鸿, 金凌紫,,
来源：计算机科学 年份：2004
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食Back to yield...
[期刊论文] 作者：金凌紫,朱鸿,张朝良,火清宁,白赣洪,徐家福,
来源：计算机学报 年份：2004
通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序.由于每一个情形实例都只从特定的使用者的角度,根据所需达到的特定使用目的,针对特...
[期刊论文] 作者：徐家福,周根林,许满武,伊波,朱鸿,金凌紫,戴敏,
来源：中国科学(A辑 数学 物理学 天文学 技术科学) 年份：1987
本文描述了数据驱动式并行多栈归约机FPM2的体系结构,函数式程序设计语言FP在其上的实现和模型机FPMND的实际构作;给出了并行性和系统运行行为分析.FPM2是用新型计算机体系结构实现新型程序设计语言的一次尝试,它合理解决了时空冲突和性能与开销的矛盾,吸取了数......
相关搜索：
