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

2007全国软件及其应用学术会议

作者：刘奕明彭鑫赵文耘唐姗复旦大学计算机科学与工程系软件工程实验室上海 200433

构件组合系统的行为通过构件之间的交互来体现。而构件交互遵循的协作策略往往决定组合系统所具有的性质,如安全性,活性和公平性等。因此,如何从构件交互中提取遵循特定构件交互策略的构件组合行为,从而使系统具有某种良好性质就成为了... 详细信息

构件组合系统的行为通过构件之间的交互来体现。而构件交互遵循的协作策略往往决定组合系统所具有的性质,如安全性,活性和公平性等。因此,如何从构件交互中提取遵循特定构件交互策略的构件组合行为,从而使系统具有某种良好性质就成为了一个亟待解决的问题。在使用接口自动机网络建模构件组合系统和线性时序逻辑描述构件协作策略的基础上,本文提出了一种策略满足的构件组合行为提取方法。该方法首先将用户指定构件协作策略强加于组合系统的行为模型之上,然后从结果模型中提取可接受执行路径;最后,基于提取行为构造协作环境,驱动构件以一种无死锁、协作策略满足的方式一同工作,从而使组合系统具有良好的属性。为了说明方法的正确性和有效性,我们给出了一个实例证明。

关键词：软件开发构件组合系统行为提取接口自动机

来源：评论

学校读者我要写书评

暂无评论

面向特征的Web服务角色访问控制

面向特征的Web服务角色访问控制

引用

中国计算机学会软件工程专委会2006年年会

作者：蔡耀华彭鑫赵文耘复旦大学软件学院上海200433 复旦大学计算机科学与工程系软件工程实验室上海200433

本文在基于角色的Web服务访问控制模型基础上,提出了一个面向特征的Web服务角色访问控制模型.该模型引入特征作为基本的访问控制单元,它可以同时从任务角度和从系统角度来保护资源,解决了以前无法同时兼顾信息的机密性和数据的完整性的... 详细信息

本文在基于角色的Web服务访问控制模型基础上,提出了一个面向特征的Web服务角色访问控制模型.该模型引入特征作为基本的访问控制单元,它可以同时从任务角度和从系统角度来保护资源,解决了以前无法同时兼顾信息的机密性和数据的完整性的问题,从而加强访问控制的控制力度和安全性.

关键词： Web服务访问控制特征角色安全

来源：评论

学校读者我要写书评

暂无评论

扩展方面机制的软件产品线体系结构建模及构件组装实现

扩展方面机制的软件产品线体系结构建模及构件组装实现

引用

2008全国软件与应用学术会议(NASAC'08)

作者：沈立炜彭鑫赵文耘复旦大学计算机科学技术学院软件工程实验室上海 200433

软件产品线是提高软件开发效率与质量的有效途径,它以体系结构(SA)为蓝图。定义组成产品线的构件与构件之间相互作用的关系,指导基于构件的应用产品组装实现。现有的基于接口连接式的体系结构仅能描述构件间的直接交互,却无法支持产品... 详细信息

软件产品线是提高软件开发效率与质量的有效途径,它以体系结构(SA)为蓝图。定义组成产品线的构件与构件之间相互作用的关系,指导基于构件的应用产品组装实现。现有的基于接口连接式的体系结构仅能描述构件间的直接交互,却无法支持产品线可变性所带来的更为复杂的构件交互情况。因此,本文提出一种扩展方面机制的软件产品线体系结构建模及构件组装实现方法,其核心是一套扩展xADL2.0、结合面向方面机制的软件产品线体系结构描述语言，它能支持基于可变性的产品线体系结构设计与定制,并指导应用产品的构件组装过程。在此方法的基础上，开发了原型工具FdSPLC,提供对体系结构的可视化建模以及应用产品的自动化生成。

关键词：软件产品线软件体系结构构件组装交互模式软件开发

来源：评论

学校读者我要写书评

暂无评论

面向对象分析建模策略及相关讨论

引用

浙江师范大学学报（自然科学版） 2005年第2期28卷 164-167页

作者：贾泂钱乐秋浙江师范大学计算机科学研究所浙江金华321004 复旦大学软件工程实验室上海200433

首先介绍了面向对象的软件分析建模的重要性;并在分析比较目前流行的几种面向对象分析建模策略的基础上,着重介绍了在开发青鸟系统系列工具中采用的一种基于面向对象技术的分析建模策略;对分析建模过程中涉及的一些关键问题进行了探讨.

关键词：面向对象分析建模策略相关面向对象技术软件分析分析比较青鸟系统关键问题建模过程对分

来源：评论

学校读者我要写书评

暂无评论

基于领域的电子政务系统开发方法

基于领域的电子政务系统开发方法

引用

全国第五次程序设计语言发展与教学学术会议、第三届全国Web信息系统及其应用学术会议暨全国首届语义Web与本体论学术研讨会

作者：沈立炜赵文耘彭鑫陈皓复旦大学计算机科学与工程系软件工程实验室上海200433 上海新致软件有限公司上海

电子政务是我国信息化建设的重要环节.针对中国电子政务系统的特点,如何快速、高效地开发应用产品成为软件提供商的努力方向.本文提出一种基于领域的电子政务系统开发模式,将领域工程的方法学与电子政务系统的特点紧密结合,从平台工程... 详细信息

电子政务是我国信息化建设的重要环节.针对中国电子政务系统的特点,如何快速、高效地开发应用产品成为软件提供商的努力方向.本文提出一种基于领域的电子政务系统开发模式,将领域工程的方法学与电子政务系统的特点紧密结合,从平台工程、领域工程与应用工程三个层面上实现了高效率、可重用的系统开发,为开发电子政务的软件企业提供了一条崭新的途径.

关键词：电子政务领域工程软件体系结构构件技术

来源：评论

学校读者我要写书评

暂无评论

基于本体的构件描述和检索

基于本体的构件描述和检索

引用

2005’全国软件与应用学术会议(NASAC)

作者：彭鑫赵文耘肖君复旦大学计算机科学与工程系软件工程实验室上海200433 上海远程教育集团上海200086

构件的描述和检索是软件复用和构件库研究的重点.本文在基于刻面的描述方法基础上引入本体作为用户复用需求和构件描述的公共基础,从而使二者能够在语义层面上进行匹配.为了支持构件领域特性的描述,还引入了上层本体和领域本体分别作为... 详细信息

构件的描述和检索是软件复用和构件库研究的重点.本文在基于刻面的描述方法基础上引入本体作为用户复用需求和构件描述的公共基础,从而使二者能够在语义层面上进行匹配.为了支持构件领域特性的描述,还引入了上层本体和领域本体分别作为构件公共特性和领域特性描述和匹配的知识基础.语义基础的引入使得构件的复用机会大大提高.

关键词：软件复用构件描述构件检索上层本体领域本体

来源：评论

学校读者我要写书评

暂无评论

P2P网络中基于蚁群算法的智能搜索研究

P2P网络中基于蚁群算法的智能搜索研究

引用

2006全国复杂网络学术会议

作者：王雪萍杨青黄祖锋华中师范大学软件工程实验室华中师范大学计算机科学系华中师范大学软件工程实验室

资源搜索是P2P网络应用领域中最为广泛的问题,蚁群算法是受到自然界中真实的蚂蚁集体行为的启发而提出的一种算法。本文将蚁群算法用于P2P网络资源搜索中,实现了利用历史经验的资源智能搜索。

关键词： P2P网络蚁群算法信息素智能搜索

来源：评论

学校读者我要写书评

暂无评论

ITED:一种基于链接的主题提取和主题发现系统

ITED:一种基于链接的主题提取和主题发现系统

引用

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

作者：熊方王晓宇郑骏周傲英复旦大学计算机科学与工程系武汉大学软件工程国家重点实验室

1.背景与动机随着万维网的日益普及与强大,在网络上搜寻所需的信息变得越来越重要了。诸如AltaVista,Hotbot之类的搜索引擎应运而生。典型的搜索引擎是基于文本匹配的,针对用户的查询会返回多个结果,但要从这许多结果中提取出高质量的页... 详细信息

1.背景与动机随着万维网的日益普及与强大,在网络上搜寻所需的信息变得越来越重要了。诸如AltaVista,Hotbot之类的搜索引擎应运而生。典型的搜索引擎是基于文本匹配的,针对用户的查询会返回多个结果,但要从这许多结果中提取出高质量的页面,还需大量的工作。这种发现高质量页面的过程称为主题提取(topic distillation)。

关键词： World Wide Web Linkage-based topic visualization Linkage-analyzing

来源：评论

学校读者我要写书评

暂无评论

对象依赖集合的性质的研究

对象依赖集合的性质的研究

引用

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

作者：吴永辉周傲英复旦大学计算机科学与工程系华东师范大学计算机科学系中国科学院软件研究所计算机科学开放实验室

1引言目前,电子图书馆、电子商务等面向对象的信息系统的研究和开发已经成为计算机领域的热点,而存在的主要问题之一是复杂对象模式不同于关系模式,还没有规范化设计的理论,因此也导致了一系列的问题。

关键词： Complex Object Schemes Normalization Design Object Dependency(OD) Minimal Cover Normal Cover Normal Object Scheme Forest Path

来源：评论

学校读者我要写书评

暂无评论

软件可信评估模型及其工具实现

引用

计算机科学与探索 2011年第6期5卷 553-561页

作者：沈国华黄志球钱巨徐拥军郝进赵文耘彭鑫南京航空航天大学计算机科学与技术学院南京210016 神州数码信息系统有限公司北京100085 复旦大学计算机科学技术学院软件工程实验室上海200433

软件可信评估是软件质量保障的一项重要内容。现有软件可信评估研究存在适用的软件形态单一、评估的可信属性固定、缺乏具体的评估工具等不足。因此,提出了一种通用的软件可信评估模型,系统地讨论了模型的实现过程,开发了一个可信评估... 详细信息

软件可信评估是软件质量保障的一项重要内容。现有软件可信评估研究存在适用的软件形态单一、评估的可信属性固定、缺乏具体的评估工具等不足。因此,提出了一种通用的软件可信评估模型,系统地讨论了模型的实现过程,开发了一个可信评估管理系统,通过对一个税务领域案例的详细分析,验证了模型实施的可行性。该研究及评估工具能有效辅助软件可信评估活动的实施,指导软件质量的改进。

关键词：软件质量保证软件可信评估可信属性模型评估指标体系

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：