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

计算机工程与应用 2000年第3期36卷 50-54页

作者：白赣洪张朝良火清宁朱鸿郑国梁南京大学计算机软件研究所软件新技术国家重点实验室南京210093

需求定义模型测试的任务分析方法，把需求情形实例当作需求模型的测试用例，用任务活动序列描述情形，并提供给任务分析专家和用户进行对照分析。情形实例的活动序列描述以文字的形式描述系统行为的细节，表达清晰，较需求模型更容易被... 详细信息

需求定义模型测试的任务分析方法，把需求情形实例当作需求模型的测试用例，用任务活动序列描述情形，并提供给任务分析专家和用户进行对照分析。情形实例的活动序列描述以文字的形式描述系统行为的细节，表达清晰，较需求模型更容易被用户所理解。文章介绍支持该方法的一个需求模型测试自动化工具ＳＲＤＭＴｅｓｔ．

关键词：软件需求测试 SRDMTest工具人机交互软件开发

来源：评论

学校读者我要写书评

暂无评论

扩充KQML以实现合同网

引用

计算机工程与应用 2000年第4期36卷 110-113页

作者：陈武华王立春李红兵陈世福南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室南京210093

ＫＱＭＬ目前已成了ａｇｅｎｔ通讯语言的事实标准，并得到广泛应用。该文在对ＫＱＭＬ的语义分析的基础上指出它不利于ＡＧＥＮＴ间任务级的高级复杂交互，不能实现合同网，为此扩充了ＫＱＭＬ。文章给出了８条扩充原语的定义、语... 详细信息

ＫＱＭＬ目前已成了ａｇｅｎｔ通讯语言的事实标准，并得到广泛应用。该文在对ＫＱＭＬ的语义分析的基础上指出它不利于ＡＧＥＮＴ间任务级的高级复杂交互，不能实现合同网，为此扩充了ＫＱＭＬ。文章给出了８条扩充原语的定义、语义及在合同网上的应用。

关键词：合同网 KQML 原语 DSS 决策支持系统

来源：评论

学校读者我要写书评

暂无评论

一种层次式面向对象需求模型的设计

引用

南京大学学报（自然科学版） 2000年第2期36卷 148-154页

作者：陶先平张建莹南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所江苏南京210093

在总结了面向对象需求分析代表性工作的基础上,提出一种新的层次式面向对象需求分析模型,在该模型中较严格地定义了层次间的精化/抽象关系,使得系统需求模型具有较好的层次结构,呈现为多版本并存的多根树,从而提高了需求模型的易理解性... 详细信息

在总结了面向对象需求分析代表性工作的基础上,提出一种新的层次式面向对象需求分析模型,在该模型中较严格地定义了层次间的精化/抽象关系,使得系统需求模型具有较好的层次结构,呈现为多版本并存的多根树,从而提高了需求模型的易理解性,易维护性和可靠性.并有利于系统的自动开发.

关键词：面向对象方法需求模型精化抽象

来源：评论

学校读者我要写书评

暂无评论

JAPS中的并行任务支撑平台PTSP

引用

计算机科学 2000年第7期27卷 5-7,81页

作者：李晓明陈道蓄谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 概述在现代计算技术中,分布并行处理越来越成为一种关键性的技术.这种由许多小任务合作解决大问题的方法,在过去几年发挥着越来越重要的作用,从高性能科学计算到日常事务的应用程序,都广泛接受和采纳分布并行处理,这是由于对高性能、... 详细信息

1 概述在现代计算技术中,分布并行处理越来越成为一种关键性的技术.这种由许多小任务合作解决大问题的方法,在过去几年发挥着越来越重要的作用,从高性能科学计算到日常事务的应用程序,都广泛接受和采纳分布并行处理,这是由于对高性能、低代价及强计算能力的需求所导致的,而大规模并行处理机(MPP)

关键词： JAPS PTSP 并行任务支撑平台并行编译

来源：评论

学校读者我要写书评

暂无评论

精化演算支撑工具PRT的研究

引用

计算机科学 2000年第3期27卷 47-50,46页

作者：杨朝晖王云峰郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精... 详细信息

1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精化演算中的转换规则可以演算出精化的程序。利用精化演算从规约导出程序的过程由大量步骤构成,非常适合利用机器工具进行辅助。本文对精化工具进行了需求分析和功能分析,研究了一个新的精化工具PRT(Program Refinement Tool)并与现有的一些工具进行了比较。

关键词：程序正确性精化演算支撑工具 PRT 程序结构

来源：评论

学校读者我要写书评

暂无评论

程序切片技术的研究与应用

引用

计算机科学 2000年第1期27卷 31-35页

作者：张勇翔李必信郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

软件逆向工程和维护通常是一种繁复的任务,它需要对程序的大量阅读,透切理解,耗费大量的人力物力。正是基于这种情况,产生了大量有关程序理解的技术,而程序切片技术是其中比较突出的一种。程序切片技术(Program slicing)最早由MarkWeise... 详细信息

软件逆向工程和维护通常是一种繁复的任务,它需要对程序的大量阅读,透切理解,耗费大量的人力物力。正是基于这种情况,产生了大量有关程序理解的技术,而程序切片技术是其中比较突出的一种。程序切片技术(Program slicing)最早由MarkWeiser提出,他论述了通过遍历程序依赖图(ProgramDependence Graph,PDG)得到过程内切片(intrapro cedural slice)的技术。此后,Horwitz通过将PDG扩展为系统依赖图(System Dependence Graph,SDG)

关键词：程序切片面向对象软件逆向工程软件维护

来源：评论

学校读者我要写书评

暂无评论

JAPS中任务调度协议的设计与实现

引用

计算机科学 2000年第12期27卷 16-19,6页

作者：李晓明陈道蓄谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 背景和系统概述在并行编译系统中,主要的目标是分析程序中的依赖关系。通过依赖分析得到的结果将源程序划分成可以并行执行的部分,然后在一定的运行时支撑平台上并行执行。并行执行的基本要求是程序的并行语义和串行语义必须一致。在... 详细信息

1 背景和系统概述在并行编译系统中,主要的目标是分析程序中的依赖关系。通过依赖分析得到的结果将源程序划分成可以并行执行的部分,然后在一定的运行时支撑平台上并行执行。并行执行的基本要求是程序的并行语义和串行语义必须一致。在以NOW基础的并行计算系统中,由于通信开销较大,一般需要发掘在任务层次上的并行性。

关键词： JAPS 任务调度协议并行编译系统

来源：评论

学校读者我要写书评

暂无评论

虚拟驾驶环境中混合交通控制的设计与实现

引用

计算机科学 2000年第2期27卷 76-78,87页

作者：张旦钱蔚王莞徐福培南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 引言汽车驾驶模拟器(简称模拟器)是将计算机仿真技术应用于教学的一个教学仿真系统。它使用实车驾驶室的环境,并实时地生成虚拟环境来模拟驾驶训练中的声音和视景效果,从而给学员以在真车实景中训练的感受。虚拟驾驶环境就是在汽车驾... 详细信息

1 引言汽车驾驶模拟器(简称模拟器)是将计算机仿真技术应用于教学的一个教学仿真系统。它使用实车驾驶室的环境,并实时地生成虚拟环境来模拟驾驶训练中的声音和视景效果,从而给学员以在真车实景中训练的感受。虚拟驾驶环境就是在汽车驾驶模拟器中构造的虚拟环境。

关键词：虚拟驾驶环境汽车驾驶模拟器混合交换控制

来源：评论

学校读者我要写书评

暂无评论

一个协同开发框架中的用户协同层模型

引用

计算机科学 2000年第3期27卷 22-25页

作者：黄丽雯李成锴周笑波谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 引言计算机支持协同工作CSCW(Computer-Support-ed Cooperative Work)以辅助人与人在日常工作中的交互为目的,支持一组用户参与一个共同的任务,并提供给他们访问共享环境的接口,由此为这个用户群提供协同支持。它反映了人们对计算机... 详细信息

1 引言计算机支持协同工作CSCW(Computer-Support-ed Cooperative Work)以辅助人与人在日常工作中的交互为目的,支持一组用户参与一个共同的任务,并提供给他们访问共享环境的接口,由此为这个用户群提供协同支持。它反映了人们对计算机功能需求的改变,即希望计算机从传统的解决计算问题发展为辅助用户的交互活动。对于计算机支持协同工作要求尽可能体现用户之间的协同以方便用户的协同工作。

关键词： CSCW 用户协同层模型 Java语言计算机网络

来源：评论

学校读者我要写书评

暂无评论

关系型数据库通用表单开发工具的设计和实现

引用

计算机工程与科学 2000年第1期22卷 35-38页

作者：朱炜何凌毅王玮谢宾樊莉萍南京大学计算机软件新技术国家重点实验室

数据库的高效开发一直是计算机科学研究的一个重要课题。本文结合关系型数据库通用表单开发工具的设计和实现。

关键词：数据库面向对象关系型数据库表单开发工具

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：