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

软件学报 2001年第12期12卷 1810-1817页

作者：李必信刘小东郑滔李宣东郑国梁南京大学计算机软件新技术国家重点实验室江苏南京210093 中国科学技术大学计算机科学技术系安徽合肥230056

程序切片是一种程序分析技术 ,广泛应用于程序的调试、测试、理解和维护等软件开发的各个阶段 .在研究静态类型面向对象的程序切片时发现 ,利用系统依赖图计算程序切片虽然是一种有效的方法 ,但构造 OO程序的系统依赖图是一件非常复杂... 详细信息

程序切片是一种程序分析技术 ,广泛应用于程序的调试、测试、理解和维护等软件开发的各个阶段 .在研究静态类型面向对象的程序切片时发现 ,利用系统依赖图计算程序切片虽然是一种有效的方法 ,但构造 OO程序的系统依赖图是一件非常复杂的工作 ,而且构造过程中容易出错 ,这会导致切片的结果不正确 ,造成前功尽弃 .为此 ,从程序逻辑分层的角度提出一种 OO程序的层次模型 ,然后在 OO程序的层次模型基础上采用逐步求精算法来分层计算 OO程序的切片 .

关键词：层次模型分层切片面向对象程序分析软件开发

来源：评论

学校读者我要写书评

暂无评论

嵌入式系统设计的一种协同仿真方法

引用

华东理工大学学报（自然科学版） 2001年第5期27卷 475-479,502页

作者：姜伟华虞慧群应华吴元捷华东理工大学计算机科学与工程系上海200237 南京大学计算机软件新技术国家重点实验室南京210093

提出了一种基于 C+ +平台的嵌入式系统设计的协同仿真方法。嵌入式系统的软件成分由 C+ +实现 ,硬件成分由 Verilog刻划。该方法的基本思路是将 Verilog模块转化为 C+ +程序 ,然后将软件成分与转化后的硬件成分连接。

关键词：嵌入式系统协同仿真协同设计 Verilog C++ 计算机控制系统系统设计

来源：评论

学校读者我要写书评

暂无评论

SoftBase查询优化器的设计与实现

引用

南京航空航天大学学报 2001年第4期33卷 390-394页

作者：周冬平毛宇光徐洁磐王建东南京航空航天大学信息科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

查询优化是数据库系统中的一个必不可少的模块。本文在当前查询优化技术发展的基础上讨论了 Soft-Base数据库的查询优化器的设计和实现 ,给出了 Soft Base数据库查询优化处理的一般过程 ,并着重探讨了查询优化的两个主要模块 :查询重写... 详细信息

查询优化是数据库系统中的一个必不可少的模块。本文在当前查询优化技术发展的基础上讨论了 Soft-Base数据库的查询优化器的设计和实现 ,给出了 Soft Base数据库查询优化处理的一般过程 ,并着重探讨了查询优化的两个主要模块 :查询重写和基于代价评估的计划优化。在计划优化模块中 ,详细讨论了存取路径的选择和代价评估的计算方法。最后对测试结果进行了分析 ,结果表明优化后的 Soft Base查询效率比原系统有了明显的提高。

关键词：数据库管理系统查询优化优化器设计

来源：评论

学校读者我要写书评

暂无评论

基于JSP技术的Web应用程序的开发

引用

计算机应用研究 2001年第5期18卷 99-101页

作者：张波张福炎南京大学计算机科学与技术系江苏南京210093 南京大学软件新技术国家重点实验室江苏南京210093

对JSP技术进行了探讨，不仅对它的概念进行了较为详细的介绍，也阐述了它的架构及运行模型，研究了如何利用JSP技术开发Web应用程序，同时给出了设计开发基于JSP技术的PRISM报表管理系统的实例。

关键词： Web 应用程序开发 JSP技术 Internet

来源：评论

学校读者我要写书评

暂无评论

面向对象软件度量自动化参考模型MOOP

引用

计算机工程与科学 2001年第5期23卷 39-42页

作者：梅琳杜晓晨李茜徐永森南京大学计算机科学与技术系软件新技术国家重点实验室江苏南京210093

评估软件质量涉及到定性和定量两个方面。在定量的度量方面 ,要考虑两个问题 ,一是度量什么 ,二是如何度量。面向对象技术的新特点给软件度量提出了新的要求。本文提出了一种针对面向对象程序分析的度量自动化参考模型 MOOP,该模型采用... 详细信息

评估软件质量涉及到定性和定量两个方面。在定量的度量方面 ,要考虑两个问题 ,一是度量什么 ,二是如何度量。面向对象技术的新特点给软件度量提出了新的要求。本文提出了一种针对面向对象程序分析的度量自动化参考模型 MOOP,该模型采用三层结构 :翻译层、表示层、分析层 ,具有可重定编译前端、中间表示与语言无关、度量集可定制等优点。基于 MOOP参考模型 ,我们设计了一种面向对象度量自动化系统 MOOP-

关键词：面向对象参考模型 MOOP 软件度量自动化软件质量软件工程

来源：评论

学校读者我要写书评

暂无评论

基于数据仓库的司法决策支持系统的设计与实现

基于数据仓库的司法决策支持系统的设计与实现

引用

第十八届全国数据库学术会议

作者：张延成骆斌陈世福计算机软件新技术国家重点实验室南京大学计算机科学与技术系

1引言传统的决策支持系统建立在数据库系统上,但随着数据量的迅速增长和用户查询需求的复杂化,传统的数据库技术越来越难以胜任。这主要是因为数据库技术主要用于联机事务处理(OLTP),数据库中存放的是大量的面向操作的细节数据,这些数... 详细信息

1引言传统的决策支持系统建立在数据库系统上,但随着数据量的迅速增长和用户查询需求的复杂化,传统的数据库技术越来越难以胜任。这主要是因为数据库技术主要用于联机事务处理(OLTP),数据库中存放的是大量的面向操作的细节数据,这些数据对事务型处理是方便的,但对分析型处理的支持很弱。要提高分析和决策的

关键词： Data Warehouse On-Line Analytical Processing DSS Materialized View Object-Oriented