-

检索结果分析

结果分析中...
检索条件:"机构=南京大学计算机软件研究所计算机软件新技术国家重点实验室 "
条 记 录,以下是1-6
视图:
排序:
显示条数:
软件体系结构的属性图文法描述及其约束验证被引量:7
计算机应用研究2007年第3期163-168,共6页石兵 冉平 马晓星 陶先平 吕建 
国家"973""863"计划资助项目(2002CB312002;2005AA113160;2004AA112090);国家自然科学基金资助项目(60273034;60233010;60403014)
在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并...
关键词:软件体系结构 动态演化 属性图文法 验证 
构件化软件服务及其在Artemis-ARC系统中的应用被引量:3
计算机应用研究2007年第3期169-172,共4页陆闻天 余萍 马晓星 陶先平 吕建 
国家"973""863"计划资助项目(2002CB312002;2005AA113160;2005AA113030;2004AA112090);国家自然科学基金资助项目(60273034;60233010;60403014)
在Web服务的基础上提出一种构件化服务方法。它显式化地描述了服务间的依赖关系,并保证了统一的功能抽象和良好的复用性。对构件化服务的描述、搜索、集成等关键技术进行了讨论;在基于Axis和JBoss基础平台以及Eclipse公用环境的Atremis-...
关键词:面向服务的计算 WEB服务 构件 WEB服务描述语言 统一描述、发现和集成 
一种的E-mail应用模式的研究被引量:1
计算机科学》2001年第7期29-32,共4页马勤 陶先平 吕建 
江苏省应用基础研究科技项目(BJ99016);836高科技项目(836-306-ZT02-01-4);国家杰出青年基金(61525204)
E-mail has been the most mature and widely used way of mail exchanging on Internet. But its ability is far more than this. Virtually,it can be used as a basic facility for data exchanging and automatic processing in v...
关键词:电子邮件 应用模式 通信协议 计算机网络 INTERNET 
软件需求分析自动化支撑系统中的字典管理方法研究
计算机应用与软件2001年第4期37-42,共6页杨大军 丁俊华 吕建 
国家杰出青年科学基金(编号:61525204)的资助
软件需求分析及其自动化技术软件自动化和需求工程的关键问题之一。而字典管理和技术研究是其重要组成部分。本文以自行研制的软件需求分析自动化支撑系统NDRASS为背景,讨论了字典管理系统的设计方法和实现技术
关键词:功能规约 软件需求分析 软件自动化支撑系统 软件工程 字典管理 
面向对象语言的动态特性研究被引量:2
计算机科学》1997年第5期19-23,共5页陆陪 于大川 吕建 
1.引言 随着面向对象软件开发技术的发展,越来越多的软件开发者正在使用面向对象程设计语言[l. 10].面向对象语言的重要特征之一是其动态特性。一般而言,静态与编译阶段相联。
关键词:面向对象 程序语言 动态特性 软件开发 
软件需求定义语言NDRDL的设计被引量:1
计算机研究与发展》1996年第12期920-925,共6页董丽君 
本文概述了软件需求定义语言NDRDL的设计目标及设计原则,并讨论了一些语言基本成分,如数据流图、控制流图、实体关系图等的设计。文中采用个人帐目管理系统(PAMS)作为示例。
关键词:NDRDL语言 设计 数据流图 软件开发 
检索报告 对象比较 聚类工具 使用帮助 返回顶部