期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
11
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于可生存性规范的软件构件系统恢复的建模与推理
被引量:
4
1
作者
卢暾
《软件学报》
EI
CSCD
北大核心
2007年第12期3031-3047,共17页
从基于构件的系统在面临各种不同的恶意攻击、系统故障和意外事故时,根据预先定义好的生存性规范为用户提供不同等级的系统服务出发,研究了构件系统恢复中的一些关键问题.其主要贡献是:(1)提出了基于构件家族和构件安装顺序的服务核表...
从基于构件的系统在面临各种不同的恶意攻击、系统故障和意外事故时,根据预先定义好的生存性规范为用户提供不同等级的系统服务出发,研究了构件系统恢复中的一些关键问题.其主要贡献是:(1)提出了基于构件家族和构件安装顺序的服务核表示方法,该方法能够准确表达系统在不同条件下为用户提供能够感知的服务;(2)建立了基于构件兼容性和构件安装执行的构件系统恢复性质的推理规则,用于判断系统恢复的成功性(新启动的服务能够正常工作)和安全性(原有的服务不会受到损害);(3)提出了基于投影的构件安装执行的简化算法,为大规模构件系统恢复的性质推理分析提供了支持.利用基于可生存性规范的构件系统恢复的分析流程,可以在实际中系统地应用相应的推理规则.最后通过一个基于构件的移动视频点播MVoD系统来展示所提出的模型与方法的实用性和有效性.
展开更多
关键词
基于构件的软件工程
基于构件
的系统
构件
重用
可生存性规范
服务核
系统恢复
在线阅读
下载PDF
职称材料
基于行为自动机的构件可替换性分析与验证
被引量:
7
2
作者
张敬周
任洪敏
+2 位作者
宗宇伟
钱乐秋
朱三元
《软件学报》
EI
CSCD
北大核心
2010年第11期2768-2781,共14页
在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出...
在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法.另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率.
展开更多
关键词
基于构件的软件工程
构件
可替换性
交互兼容性
构件
行为自动机
软件
演化
在线阅读
下载PDF
职称材料
面向体系结构的构件接口模型及其形式化规约
被引量:
7
3
作者
任洪敏
张敬周
钱乐秋
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第23期67-69,共3页
借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软...
借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。
展开更多
关键词
基于构件的软件工程
软件
体系结构
构件
接口模型
接口规约
行为协议
在线阅读
下载PDF
职称材料
一种基于线性逻辑的构件组装方法研究
被引量:
3
4
作者
谢兄
张维石
《小型微型计算机系统》
CSCD
北大核心
2008年第5期797-800,共4页
构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组...
构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题.
展开更多
关键词
基于构件的软件工程
软件
构件
构件
组装
构件
适应
形式化描述
在线阅读
下载PDF
职称材料
非成熟领域软件复用过程模型
被引量:
2
5
作者
王建亚
边小凡
《计算机工程与设计》
CSCD
北大核心
2007年第8期1944-1946,共3页
将一个软件企业或开发团队实现有组织的软件复用分为4个阶段,针对可复用资源积累阶段的特点,提出了非成熟领域软件复用过程模型,应用系统分析设计与领域分析适当结合,经数次迭代,逐步积累领域知识,使面向提交的应用系统开发平滑过渡到...
将一个软件企业或开发团队实现有组织的软件复用分为4个阶段,针对可复用资源积累阶段的特点,提出了非成熟领域软件复用过程模型,应用系统分析设计与领域分析适当结合,经数次迭代,逐步积累领域知识,使面向提交的应用系统开发平滑过渡到基于复用地开发,使该领域尽快成熟。该过程模型还考虑了应用系统开发时效和软件开发团队运营成本问题,此阶段软件复用不强调领域工程,应用系统开发是面向提交的,但需要使用基于构件的软件开发。
展开更多
关键词
非成熟领域
软件
复用
过程模型
基于构件的软件工程
基于构件
的软件
开发
在线阅读
下载PDF
职称材料
构件适应和组装的形式化语义描述
被引量:
1
6
作者
谢兄
张维石
《计算机工程与应用》
CSCD
北大核心
2007年第21期36-39,45,共5页
构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适...
构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进一步研究的问题。
展开更多
关键词
基于构件的软件工程
软件
构件
构件
组装
构件
适应
软件
复用
形式化描述
在线阅读
下载PDF
职称材料
软构件行为适应的Petri网方法研究
被引量:
1
7
作者
谢兄
张维石
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期79-83,共5页
构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动...
构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动生成行为适配器的描述,提出了一种解决软构件交互过程中产生的行为不匹配问题的形式化方法,并列出了一些值得进一步研究的问题。
展开更多
关键词
基于构件的软件工程
软
构件
构件
适应
形式化方法
PETRI网
在线阅读
下载PDF
职称材料
基于接口矩阵分析的构件变化检测方法的研究
8
作者
李心科
严鲁明
《计算机应用研究》
CSCD
北大核心
2009年第4期1360-1362,共3页
针对构件的变化性问题一直都是基于构件的软件工程(CBSE)中的一个关键问题,首先对构件模型以及构件匹配原则进行形式化描述,构造了构件的接口关系矩阵;然后根据构件匹配原则,对构件接口关系矩阵进行分析,动态地检测构件的变化,判断构件...
针对构件的变化性问题一直都是基于构件的软件工程(CBSE)中的一个关键问题,首先对构件模型以及构件匹配原则进行形式化描述,构造了构件的接口关系矩阵;然后根据构件匹配原则,对构件接口关系矩阵进行分析,动态地检测构件的变化,判断构件变化可能会对其他相关构件以及整个系统产生影响;最后实现了构件变化分析的辅助工具CIDT(component interface detecting tool),并在软件开发以及维护过程中使用CIDT对系统进行动态的检测和分析。
展开更多
关键词
基于构件的软件工程
构件
适应性
变化检测
接口矩阵
在线阅读
下载PDF
职称材料
基于行为协议的构件替换性分析
9
作者
任洪敏
刘晋
《计算机工程与科学》
CSCD
北大核心
2012年第12期74-80,共7页
构件的插拔与替换是CBSD实现组装开发、支持定制和演化的基本机制,基于行为协议的构件替换性分析与验证是CBSD的核心研究课题。基于有穷自动机理论和面向服务软件构件的特点,提出了构件行为自动机模型以描述构件的行为协议,定义了构件...
构件的插拔与替换是CBSD实现组装开发、支持定制和演化的基本机制,基于行为协议的构件替换性分析与验证是CBSD的核心研究课题。基于有穷自动机理论和面向服务软件构件的特点,提出了构件行为自动机模型以描述构件的行为协议,定义了构件行为替换性的概念体系,以增进软件构件的复用,开发了构件行为替换性的验证方法,以支持构件行为替换性验证的自动执行。
展开更多
关键词
基于构件的软件工程
构件
替换性
构件
自动机
形式化分析
形式化验证
在线阅读
下载PDF
职称材料
基于中间件的分布式系统开发过程的研究
被引量:
17
10
作者
刘海岩
梁建龙
《计算机应用研究》
CSCD
北大核心
2004年第1期85-87,共3页
分布式中间件是实现分布式系统的重要途径。从软件工程角度出发,探讨了基于中间件的分布式系统的开发过程,对其不同于传统软件过程中的设计、测试和维护等部分进行了讨论,分析了分布式系统的三层体系机构。
关键词
中间件
基于构件的软件工程
三层体系结构
接口
在线阅读
下载PDF
职称材料
FreeScaler:一个灵活面向领域的可复用基础设施
11
作者
赵佳
孙涌
陆建德
《小型微型计算机系统》
CSCD
北大核心
2006年第5期906-912,共7页
框架是软件复用研究中的重要课题之一,但是框架在不同的领域中有不同的特性,需要将框架的特性与共性分离,将共性部分单独加以实现并复用,使得研究人员的注意力集中在各个领域的特性部分.本文提出并研发了一个基于构件和双总线的分层微...
框架是软件复用研究中的重要课题之一,但是框架在不同的领域中有不同的特性,需要将框架的特性与共性分离,将共性部分单独加以实现并复用,使得研究人员的注意力集中在各个领域的特性部分.本文提出并研发了一个基于构件和双总线的分层微内核结构的基础设施—FreeScaler.该基础设施属于框架共性的实现,具有高度的开放性和灵活性,为科研试验和应用开发提供了一个快捷易用的平台.文中重点介绍了FreeScaler的设计思路、整个系统的模型和体系结构,阐释其关键特性,并展示了基于FreeScaler的实际应用.
展开更多
关键词
软件
复用
构件
框架
领域
基于构件的软件工程
在线阅读
下载PDF
职称材料
题名
基于可生存性规范的软件构件系统恢复的建模与推理
被引量:
4
1
作者
卢暾
机构
复旦大学计算机与信息技术系
出处
《软件学报》
EI
CSCD
北大核心
2007年第12期3031-3047,共17页
基金
Supposed by the National Natural Science Foundation of China under Grant No.60473124(国家自然科学基金)
the Open subject Fund of Jiangsu Provincial Key Laboratory of Network and Information Security of China under Grant No.BM2003201(江苏省网络与信息安全重点实验室开放课题基金)
文摘
从基于构件的系统在面临各种不同的恶意攻击、系统故障和意外事故时,根据预先定义好的生存性规范为用户提供不同等级的系统服务出发,研究了构件系统恢复中的一些关键问题.其主要贡献是:(1)提出了基于构件家族和构件安装顺序的服务核表示方法,该方法能够准确表达系统在不同条件下为用户提供能够感知的服务;(2)建立了基于构件兼容性和构件安装执行的构件系统恢复性质的推理规则,用于判断系统恢复的成功性(新启动的服务能够正常工作)和安全性(原有的服务不会受到损害);(3)提出了基于投影的构件安装执行的简化算法,为大规模构件系统恢复的性质推理分析提供了支持.利用基于可生存性规范的构件系统恢复的分析流程,可以在实际中系统地应用相应的推理规则.最后通过一个基于构件的移动视频点播MVoD系统来展示所提出的模型与方法的实用性和有效性.
关键词
基于构件的软件工程
基于构件
的系统
构件
重用
可生存性规范
服务核
系统恢复
Keywords
component-based software engineering
component-based system
component reuse
survivability specification
service core
system recovery
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于行为自动机的构件可替换性分析与验证
被引量:
7
2
作者
张敬周
任洪敏
宗宇伟
钱乐秋
朱三元
机构
上海计算机软件技术开发中心
复旦大学计算机与信息技术系
上海软件构件化服务中心
上海海事大学计算机科学与技术系
出处
《软件学报》
EI
CSCD
北大核心
2010年第11期2768-2781,共14页
基金
国家高技术研究发展计划(863)No.2006AA012191
上海市科技计划No.07DZ22924~~
文摘
在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法.另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率.
关键词
基于构件的软件工程
构件
可替换性
交互兼容性
构件
行为自动机
软件
演化
Keywords
component-based software engineering; component substitutability; interaction compatibility; component behavior automata; software evolving;
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
面向体系结构的构件接口模型及其形式化规约
被引量:
7
3
作者
任洪敏
张敬周
钱乐秋
机构
上海海事大学计算机系
复旦大学计算机科学系软件工程实验室
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第23期67-69,共3页
基金
国家"863"计划基金资助项目(2001AA1100241)
文摘
借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。
关键词
基于构件的软件工程
软件
体系结构
构件
接口模型
接口规约
行为协议
Keywords
Component based software engineering
Software architecture
Component interface model
Interface specification
Behavior protocol
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种基于线性逻辑的构件组装方法研究
被引量:
3
4
作者
谢兄
张维石
机构
大连海事大学计算机科学与技术学院
出处
《小型微型计算机系统》
CSCD
北大核心
2008年第5期797-800,共4页
基金
国家自然科学基金项目(60573087)资助
文摘
构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题.
关键词
基于构件的软件工程
软件
构件
构件
组装
构件
适应
形式化描述
Keywords
component-based software engineering
software component
component composition
component adaptatlon
formal specification
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
非成熟领域软件复用过程模型
被引量:
2
5
作者
王建亚
边小凡
机构
河北大学管理学院
河北大学计算中心
出处
《计算机工程与设计》
CSCD
北大核心
2007年第8期1944-1946,共3页
基金
河北省科研计划基金项目(20021124059)
文摘
将一个软件企业或开发团队实现有组织的软件复用分为4个阶段,针对可复用资源积累阶段的特点,提出了非成熟领域软件复用过程模型,应用系统分析设计与领域分析适当结合,经数次迭代,逐步积累领域知识,使面向提交的应用系统开发平滑过渡到基于复用地开发,使该领域尽快成熟。该过程模型还考虑了应用系统开发时效和软件开发团队运营成本问题,此阶段软件复用不强调领域工程,应用系统开发是面向提交的,但需要使用基于构件的软件开发。
关键词
非成熟领域
软件
复用
过程模型
基于构件的软件工程
基于构件
的软件
开发
Keywords
immature domain
software reuse
process model
CBSE
CBSD
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
构件适应和组装的形式化语义描述
被引量:
1
6
作者
谢兄
张维石
机构
大连海事大学计算机科学与技术学院
出处
《计算机工程与应用》
CSCD
北大核心
2007年第21期36-39,45,共5页
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60573087)。
文摘
构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进一步研究的问题。
关键词
基于构件的软件工程
软件
构件
构件
组装
构件
适应
软件
复用
形式化描述
Keywords
component -based software engineering
software component
component composition
component adaptation
software reuse
formal specification
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
软构件行为适应的Petri网方法研究
被引量:
1
7
作者
谢兄
张维石
机构
大连海事大学计算机科学与技术学院
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期79-83,共5页
基金
国家自然科学基金(60573087)
文摘
构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动生成行为适配器的描述,提出了一种解决软构件交互过程中产生的行为不匹配问题的形式化方法,并列出了一些值得进一步研究的问题。
关键词
基于构件的软件工程
软
构件
构件
适应
形式化方法
PETRI网
Keywords
component-based software engineer
component
component adaptation
formal method
Petri Nets
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于接口矩阵分析的构件变化检测方法的研究
8
作者
李心科
严鲁明
机构
合肥工业大学计算机与信息学院
出处
《计算机应用研究》
CSCD
北大核心
2009年第4期1360-1362,共3页
基金
安徽省科技厅科技攻关重点基金资助项目(06012021A)
文摘
针对构件的变化性问题一直都是基于构件的软件工程(CBSE)中的一个关键问题,首先对构件模型以及构件匹配原则进行形式化描述,构造了构件的接口关系矩阵;然后根据构件匹配原则,对构件接口关系矩阵进行分析,动态地检测构件的变化,判断构件变化可能会对其他相关构件以及整个系统产生影响;最后实现了构件变化分析的辅助工具CIDT(component interface detecting tool),并在软件开发以及维护过程中使用CIDT对系统进行动态的检测和分析。
关键词
基于构件的软件工程
构件
适应性
变化检测
接口矩阵
Keywords
CBSE
component
adaptation
detecting of change
interface matrix
分类号
TP311.56 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于行为协议的构件替换性分析
9
作者
任洪敏
刘晋
机构
上海海事大学信息工程学院计算机科学与技术系
出处
《计算机工程与科学》
CSCD
北大核心
2012年第12期74-80,共7页
基金
上海市自然科学基金资助项目(10ZR141370)
上海市教委科研创新项目(12ZZ157)
上海海事大学科技基金资助项目(20110018)
文摘
构件的插拔与替换是CBSD实现组装开发、支持定制和演化的基本机制,基于行为协议的构件替换性分析与验证是CBSD的核心研究课题。基于有穷自动机理论和面向服务软件构件的特点,提出了构件行为自动机模型以描述构件的行为协议,定义了构件行为替换性的概念体系,以增进软件构件的复用,开发了构件行为替换性的验证方法,以支持构件行为替换性验证的自动执行。
关键词
基于构件的软件工程
构件
替换性
构件
自动机
形式化分析
形式化验证
Keywords
component based software engineering
component substitutability
component automata
formal analysis
formal verification
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于中间件的分布式系统开发过程的研究
被引量:
17
10
作者
刘海岩
梁建龙
机构
西安交通大学软件研究所
出处
《计算机应用研究》
CSCD
北大核心
2004年第1期85-87,共3页
文摘
分布式中间件是实现分布式系统的重要途径。从软件工程角度出发,探讨了基于中间件的分布式系统的开发过程,对其不同于传统软件过程中的设计、测试和维护等部分进行了讨论,分析了分布式系统的三层体系机构。
关键词
中间件
基于构件的软件工程
三层体系结构
接口
Keywords
Middleware
CBSE( Coponent Based Software Engineering)
Three-tier Architecture
Interface
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
FreeScaler:一个灵活面向领域的可复用基础设施
11
作者
赵佳
孙涌
陆建德
机构
苏州大学计算机科学与技术学院
出处
《小型微型计算机系统》
CSCD
北大核心
2006年第5期906-912,共7页
基金
国家高技术研究发展计划"八六三"项目(2003AA430190)资助
文摘
框架是软件复用研究中的重要课题之一,但是框架在不同的领域中有不同的特性,需要将框架的特性与共性分离,将共性部分单独加以实现并复用,使得研究人员的注意力集中在各个领域的特性部分.本文提出并研发了一个基于构件和双总线的分层微内核结构的基础设施—FreeScaler.该基础设施属于框架共性的实现,具有高度的开放性和灵活性,为科研试验和应用开发提供了一个快捷易用的平台.文中重点介绍了FreeScaler的设计思路、整个系统的模型和体系结构,阐释其关键特性,并展示了基于FreeScaler的实际应用.
关键词
软件
复用
构件
框架
领域
基于构件的软件工程
Keywords
software reuse
component
framework
domain
component-based software engineering
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于可生存性规范的软件构件系统恢复的建模与推理
卢暾
《软件学报》
EI
CSCD
北大核心
2007
4
在线阅读
下载PDF
职称材料
2
基于行为自动机的构件可替换性分析与验证
张敬周
任洪敏
宗宇伟
钱乐秋
朱三元
《软件学报》
EI
CSCD
北大核心
2010
7
在线阅读
下载PDF
职称材料
3
面向体系结构的构件接口模型及其形式化规约
任洪敏
张敬周
钱乐秋
《计算机工程》
EI
CAS
CSCD
北大核心
2005
7
在线阅读
下载PDF
职称材料
4
一种基于线性逻辑的构件组装方法研究
谢兄
张维石
《小型微型计算机系统》
CSCD
北大核心
2008
3
在线阅读
下载PDF
职称材料
5
非成熟领域软件复用过程模型
王建亚
边小凡
《计算机工程与设计》
CSCD
北大核心
2007
2
在线阅读
下载PDF
职称材料
6
构件适应和组装的形式化语义描述
谢兄
张维石
《计算机工程与应用》
CSCD
北大核心
2007
1
在线阅读
下载PDF
职称材料
7
软构件行为适应的Petri网方法研究
谢兄
张维石
《系统仿真学报》
CAS
CSCD
北大核心
2007
1
在线阅读
下载PDF
职称材料
8
基于接口矩阵分析的构件变化检测方法的研究
李心科
严鲁明
《计算机应用研究》
CSCD
北大核心
2009
0
在线阅读
下载PDF
职称材料
9
基于行为协议的构件替换性分析
任洪敏
刘晋
《计算机工程与科学》
CSCD
北大核心
2012
0
在线阅读
下载PDF
职称材料
10
基于中间件的分布式系统开发过程的研究
刘海岩
梁建龙
《计算机应用研究》
CSCD
北大核心
2004
17
在线阅读
下载PDF
职称材料
11
FreeScaler:一个灵活面向领域的可复用基础设施
赵佳
孙涌
陆建德
《小型微型计算机系统》
CSCD
北大核心
2006
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部