检索结果-内蒙古大学图书馆

计算机研究与发展 1998年第1期35卷 6-13页

作者：金凌紫南京大学计算机软件研究所南京大学软件新技术国家重点实验室

面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方... 详细信息

面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方法和基于程序的测试方法以及测试方法与软件开发过程的集成途径等方面，综述有代表性的研究工作，探讨研究方向．

关键词：面向对象软件测试程序语言软件开发

来源：评论

学校读者我要写书评

暂无评论

一个基于NC++的可视化分布式程序设计模型

引用

计算机工程 1998年第9期24卷 3-6页

作者：柳颖谢立南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

并行、分布式系统应用日益广泛，但它的开发却很困难，可视化是其解决方法之一。给出了一个以面向对象的分布式程序设计语言NC＋＋为基础的可视化分布式程序设计的基本模型VGOM，将一个分布式程序的特征用图加以描述；同时在原有NC＋＋... 详细信息

并行、分布式系统应用日益广泛，但它的开发却很困难，可视化是其解决方法之一。给出了一个以面向对象的分布式程序设计语言NC＋＋为基础的可视化分布式程序设计的基本模型VGOM，将一个分布式程序的特征用图加以描述；同时在原有NC＋＋语言基础上增加了高层的基于图结构的图操作原语，包括通信原语等，从而提供结构化的通信方式。在SUN工作站上，使用Motif与PVM实现了该模型。

关键词：可视化程序设计程序设计视图程序面向对象

来源：评论

学校读者我要写书评

暂无评论

从汉语句子中提取逻辑函子的一种方法

引用

软件学报 1998年第6期9卷 444-447页

作者：靳光瑾陆汝占上海交通大学计算机科学与工程系南京大学计算机软件新技术国家重点实验室

文章介绍一种从汉语语句中提取逻辑函子的方法．该方法基于汉语配价理论，用组合逻辑方法将动词结构表示成逻辑函子，解决了多个ＮＰ竞争一个论元位置的问题．该方法体现了如何计算汉语语句语义的思想．

关键词：汉语句子逻辑函子自然语言处理计算机

来源：评论

学校读者我要写书评

暂无评论

一个业务处理专用中间件SuperNUMM的设计与实现

引用

计算机研究与发展 1998年第12期35卷 1107-1111页

作者：周文辉张灵玲潘金贵南京大学多媒体计算机研究所南京210093 南京大学计算机软件新技术国家重点实验室南京210093

文中从应用程序间通信、运用操作设计、服务程序运行环境、安全管理等方面介绍了一个业务处理专用中间件—— Super NUMM的设计和实现 .Super NUMM为设计和实现基于 Client/Server计算结构的业务处理系统提供了一种机制 ,在这种机制下 ... 详细信息

文中从应用程序间通信、运用操作设计、服务程序运行环境、安全管理等方面介绍了一个业务处理专用中间件—— Super NUMM的设计和实现 .Super NUMM为设计和实现基于 Client/Server计算结构的业务处理系统提供了一种机制 ,在这种机制下 ,用户只要设计与具体业务处理相关的部分 ,并能对业务处理系统进行运用设计 ,使业务处理系统效率高、安全性好和稳定可靠 .目前 ,Super NU MM已在 Windows NT和

关键词：客户/服务器中间件 SuperNUMM 计算机应用模式

来源：评论

学校读者我要写书评

暂无评论

基于OSI参考模型的一致性测试理论和方法

引用

计算机工程 1998年第6期24卷 15-17页

作者：毛迪林丛锁高传善复旦大学计算机科学系上海200433 南京大学计算机软件新技术国家重点实验室南京210093

以TP4运输层协议为例，阐述了OSI一致性测试的理论和方法。在对OSI一致性测试和TP4协议进行简介的基础上，给出了在TCP／IP环境中实现OSITP4协议一致性协同测试的关键技术和方法。

关键词：一致性测试 OSI 参考模型 TCP/IP协议

来源：评论

学校读者我要写书评

暂无评论

非一致线性递推计算到多处理机上的分解

引用

计算机学报 1998年第S1期21卷 46-51页

作者：张德富陈崚南京大学计算机软件新技术国家重点实验室南京210093 扬州大学师范学院计算机科学系扬州225002

对于一致线性递推计算（ULR）进行独立分解、使它分解为若干可独立计算的独立集，从而分配到具有分布式存储器的多处理机上去并行执行，已有许多很好的方法．本文则提出了几种对非一致线性递推计算（NLR）独立分解的方法，可将NLR分解... 详细信息

对于一致线性递推计算（ULR）进行独立分解、使它分解为若干可独立计算的独立集，从而分配到具有分布式存储器的多处理机上去并行执行，已有许多很好的方法．本文则提出了几种对非一致线性递推计算（NLR）独立分解的方法，可将NLR分解成由一个或多个子平面、或由网状格点构成的独立集．本文还给出应用各种方法的充要条件．

关键词：并行处理多处理机递推计算

来源：评论

学校读者我要写书评

暂无评论

并发对象技术初探

引用

东南大学学报（自然科学版） 1998年第6期28卷 84-89页

作者：瞿裕忠沈军唐立中朱海林朱一清东南大学计算机科学与工程系南京大学计算机软件新技术国家重点实验室

在分析和比较典型的并发面向对象程序设计语言的基础上，提出了一个并发对象模型的架构．其特色在于对象的并发特征函数和对消息传递方式的处理．从语言设计的角度对并发对象模型与继承之间的有机集成进行了初步探讨．

关键词：并发对象技术并发面向对象程序设计语言并发对象模型继承并发特征函数

来源：评论

学校读者我要写书评

暂无评论

并行软件辅助开发工具NUCAPPT的设计与实现

引用

计算机工程与应用 1998年第11期34卷 56-59页

作者：姜殿启徐鸿张德富周维四高余良南京大学计算机软件新技术国家重点实验室胜利油田地科院

该文首先简要介绍并行软件开发环境分类及其环境特性。然后讨论了一个并行软件辅助开发工具—ＮＵＣＡＰＰＴ。ＮＵＣＡＰＰＴ将组成并行计算任务的各子任务分配到对应的处理器，并对分配到各处理器的任务间的数据通信进行优化。它不仅... 详细信息

该文首先简要介绍并行软件开发环境分类及其环境特性。然后讨论了一个并行软件辅助开发工具—ＮＵＣＡＰＰＴ。ＮＵＣＡＰＰＴ将组成并行计算任务的各子任务分配到对应的处理器，并对分配到各处理器的任务间的数据通信进行优化。它不仅能保证任务分配后各处理器负载比较平衡，通信等待时间较小，而且能简化并行程序的编制过程，提高所编并行程序的质量。

关键词：软件开发环境 NUCAPPT 并行程序软件工具

来源：评论

学校读者我要写书评

暂无评论

在头部动画中头发弯曲的控制

引用

计算机工程 1998年第8期24卷 7-10页

作者：张建明宋顺林江苏理工大学计算机科学系镇江212013 南京大学计算机软件新技术国家重点实验室南京210093

根据头发的基本特性，将头发弯曲通过力的形式统一予以描述，根据头发的不同受力，得到不同的弯曲形状，并且给出了碰撞检测方法和头发生长点判别方法。

关键词：计算机动画头发模型控制计算机图形学

来源：评论

学校读者我要写书评

暂无评论

机器辅助下的形式化规格说明求精技术

引用

计算机科学 1998年第6期25卷 19-23页

作者：袁晓东郑国梁电力部电力自动化研究院仿真室南京210003 南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精... 详细信息

形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精逐步精化的过程,逐步降低抽象级,最终得到规格说明的程序实现代码。但现有的精化理论较少考虑机器辅助技术的应用。

关键词：形式化规格说明机器辅助求精技术形式语言

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：