-
题名基于构件的软件配置管理技术研究
被引量：24
- 1
-
-
作者
张路
谢冰
梅宏
邵维忠
杨芙清
-
机构
北京大学计算机科学技术系
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2001年第2期266-268,共3页
-
文摘
本文分析了基于构件的软件开发对配置管理技术的需求 ,提出了基于构件的软件配置管理系统模型 ,并介绍了一个基于该模型的系统 。
-
关键词
软件工程
软件配置管理
软件复用
软件构件
版本控制
-
Keywords
Components
Computer software reusability
Management
Mathematical models
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名过程驱动的软件工程环境研究
被引量：5
- 2
-
-
作者
杨芙清
邵维忠
宗志东
朱冰
-
机构
北京大学计算机科学技术系
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
1998年第8期7-10,36,共5页
-
基金
"九五"国家重点科技攻关项目
-
文摘
本文探讨了过程驱动的软件工程环境设计以及在这种环境下的软件生产方式，并在作者实际工作的基础上，提出了一个集成的过程驱动的软件工程环境──青鸟过程驱动环境JB-PSEE的设计方案．本文阐述了JB-PSEE体系结构设计思想、主要构成成分及功能，简要介绍了实现的原型系统.
-
关键词
过程驱动环境
集成
软件过程
软件工程
-
Keywords
Process-driven environment(PSEE), Integration, Software process
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名UML中衍型的精确定义与分析
被引量：3
- 3
-
-
作者
蒋严冰
邵维忠
张路
麻志毅
-
机构
北京大学信息科学与技术学院软件研究所
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2003年第z1期2101-2105,共5页
-
基金
国家自然科学基金 (No .60 0 730 1 5)
国家高技术研究发展计划 (863计划 )课题 (No .2 0 0 1AA1 1 30 70 )
国家重点基础研究发展规划 (973计划 )项目 (No .2 0 0 2CB31 2 0 0 0 )
-
文摘
UML规范对于衍型这种扩展机制描述的不够清晰和严格 ,常被用户和研究者误用 ,并且也无法很好地支持可扩展的建模工具的开发 .本文精确地定义UML中的衍型以及衍型之间的关系 ,在此基础上定义衍型与元模型之间的转化并提出运用衍型的指导规则 ,使得UML衍型的使用者能够更深入地理解这种扩展机制 。
-
关键词
UML
扩展机制
衍型
形式化
语法
语义
-
Keywords
UML
extension mechanism
stereotype
formalization
syntax
semantics
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名永久对象存储技术研究
被引量：13
- 4
-
-
作者
杨芙清
邵维忠
柳军飞
-
机构
北京大学计算机系
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
1994年第8期1-8,16,共9页
-
文摘
永久对象存储技术为程序员提供了在高级语言一级操纵内、外存的能力，永久对象存储技术的研究体现在永久性面向对象程序设计语言（ＰＯＯＰＬ）、面向对象数据库（ＯＯＤＢ）和对象管理系统（ＯＭＳ）的实践中。本文讨论了永久对象存储的相关概念及基本要求，概述了ＰＯＯＰＬ、ＯＯＤＢ和ＯＭＳ的有关内容，之后介绍了ＪＢ２／ＯＭＳ的设计，并简要讨论了一个分布式对象存储的原型设计。
-
关键词
面向对象
永久性
存储技术
POOPL
-
Keywords
Object-oriented
Persistence
Object management system
Object-oriented database.
-
分类号
TP333
[自动化与计算机技术—计算机系统结构]
-
-
题名一种用况模型中的相似事件流检测算法
- 5
-
-
作者
刘辉
麻志毅
和云峰
邵维忠
-
机构
北京大学信息科学技术学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2006年第B12期2366-2370,共5页
-
基金
国家973重点基础研究发展规划(No.2005CB321805)
国家自然科学基金(No.60473064)
+1 种基金
国家科技攻关计划(No.2003BA904B02)
国家863高技术研究发展计划(No.2005AA112030)
-
文摘
用况是捕获需求的主要工具之一.随着系统复杂性的增长,系统涉众数目急剧增加,需求捕获变得更为困难.解决系统复杂性问题的常用方法是采用分而治之的策略,从不同涉众中得到系统需求的不同方面,然后将不同方面的需求合并为完整需求模型.随之而来的问题是不同用况之间的重叠,就是相同或相似的事件流片断出现在多个用况中.重复事件流片断会降低模型的可维护性、可理解性,增加系统开发成本.虽然人们已经意识到了这个问题,但缺乏相应的检测算法.本文给出基于信息检索技术的启发式检索算法以检测相似事件流片断.实验结果表明算法是有效的.
-
关键词
需求模型
UML
用况
场景
事件流
信息检索
-
Keywords
requirements specification
unified modeling language （UML）
use case
scenario
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名显微全切除巨大侵袭型垂体腺瘤(附30例报告)
- 6
-
-
作者
张振兴
王道奎
邵维忠
张贺
张强
-
机构
潍坊市人民医院
-
出处
《山东医药》
CAS
北大核心
1999年第4期18-19,共2页
-
文摘
显微全切除３０例巨大侵袭型垂体腺瘤。肿瘤全切除率达７３％。２７例随访２～３年，２３例恢复正常工作，肿瘤无复发。就手术入路、手术方法、肿瘤对周围结构的浸润方式。
-
关键词
垂体腺瘤
侵袭型
显微全切除
-
Keywords
Pituitary adenoma Invasive growth Microsurgery
-
分类号
R736.405
[医药卫生—肿瘤]
R730.56
[医药卫生—肿瘤]
-
