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

计算机研究与发展 1999年第8期36卷 897-906页

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

软件理解是进行软件维护的一个重要步骤，是一个逐层推进的递增模式匹配过程．软件理解由任务、策略、概念、模型、方法和工具（环境）等环节组成．文中分析了软件理解的任务和策略，对软件理解的各种模型进行了比较，详细论述了目前活... 详细信息

软件理解是进行软件维护的一个重要步骤，是一个逐层推进的递增模式匹配过程．软件理解由任务、策略、概念、模型、方法和工具（环境）等环节组成．文中分析了软件理解的任务和策略，对软件理解的各种模型进行了比较，详细论述了目前活跃在学术界的各种软件理解方法，并对目前存在的各种软件理解工具或环境进行了归类和比较．文中还简单介绍了我们在面向对象软件理解方面所取得的一些进展．

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

来源：评论

学校读者我要写书评

暂无评论

不同数据库间数据交换的实现

引用

计算机工程与应用 1999年第3期35卷 91-93页

作者：张晓云焦进沈平张德富南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

文章针对当前管理信息系统集成时存在多种不同数据库的现状，提出了利用ＯＤＢＣ技术来进行不同数据库间的数据交换的方案，并通过具体的实例阐述了在ＰｏｗｅｒＢｕｉｌｄｅｒ中利用ＯＤＢＣ技术实现数据交换的方法。

关键词：数据交换数据库管理信息系统企业

来源：评论

学校读者我要写书评

暂无评论

基于Connectionist机制的合一算法实现及其模拟系统

引用

计算机应用研究 1999年第11期16卷 17-21页

作者：孙维祥俞立军许满武南京大学计算机科学与技术系计算机软件新技术国家重点实验室 210093 南京大学计算机科学与技术计算机软件新技术国家重点实验室 210093

本文我们首先介绍了基于ｃｏｎｎｅｃｔｉｏｎｉst机制的合一算法并在此基础上建立了其模拟系统。

关键词：数据结构合一算法模拟系统

来源：评论

学校读者我要写书评

暂无评论

形式描述语言COOZ的集成支撑环境COOZ-Tools

引用

计算机工程与设计 1999年第1期20卷 38-43页

作者：袁晓东胡德强许皓李勇郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系

介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌ... 详细信息

介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的软件开发，它主要由如下工具组成：规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。

关键词：形式描述语言面向对象 COOZ COOZ-Tools

来源：评论

学校读者我要写书评

暂无评论

基于C++的一种主动对象事件服务机制的实现