题名 净室软件工程在CMM中的应用技术研究
被引量：3
1
作者
勉玉静 赵文耘 陈颂梅
机构
复旦大学计算机系软件工程实验室
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第5期78-81,共4页
基金
国家"863"项目:基于Internet的以构件库为核心的软件开发平台(2001AA110241)
文摘
净室是一种追求开发的零缺陷，以经济的方式生产高质量软件产品的新型软件技术。该文通过介绍CMM和净室软件工程技术，对净室技术在CMM的应用实践中遇到的问题作了分析，提出了基于CMM的净室裁剪的原则，从而给出了一种裁剪后的净室技术对各级CMM关键域的支持方案。
关键词
净室软件工程 CMM 软件过程改进 能力成熟度模型 净室裁剪 软件开发 软件质量
Keywords
Software process improvement CMM Cleanroom software engineering(CSE) Tailoring of CSE
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 软件配置管理中版本管理技术研究
被引量：22
2
作者
刘燕秋 勉玉静 赵文耘
机构
复旦大学计算机系软件工程实验室
出处
《计算机工程与应用》
CSCD
北大核心
2003年第21期68-71,共4页
基金
国家863高技术研究发展计划"基于Internet以构件库为核心的软件平台"项目(编号:2001AA1100241)资助
文摘
通过对软件配置管理系统现状的分析,提出了可变粒度的版本管理系统及其相应的实现技术,并对版本管理的并发控制进行了讨论。
关键词
构件 版本管理 配置 并发控制 软件配置管理系统
Keywords
Component ,Version Management ,Configuration,Parallel Control
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
题名 软件风险管理及优化控制
被引量：8
3
作者
徐如志 钱乐秋 龚洪泉 李维宏
机构
复旦大学计算机系软件工程实验室
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第9期73-76,共4页
基金
上海市科学技术委员会资助研究项目(035115026)
文摘
描述并分析了基于CMM的软件风险管理特点,给出一个软件风险优化控制模型及优化控制策略,并设计一个动态规划的软件风险优化控制算法。最后给出使用上述方法解决问题的一个例子。该文的研究为有效地管理和定量地控制软件风险,提高软件项目的成功率提供了有力支持,因而可广泛应用于基于CMM的软件项目风险管理。
关键词
软件过程 CMM 风险 风险管理
Keywords
Software process Capability maturity model(CMM) Risk Risk management
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 C/S向B/S系统迁移的技术
被引量：13
4
作者
王心路 赵文耘 余春
机构
复旦大学计算机系软件工程实验室
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第3期71-73,共3页
基金
"863"计划课题"基于Internet以构件库为核心的软件平台"资助项目(2001AA1100241)
文摘
随着Internet技术的兴起,浏览器/服务器(B/S)系统相对于传统的客户/服务器(C/S)系统的优势越来越明显,更多的企业正着手将C/S系统向B/S迁移。该文在Jakarta Struts框架和Web Service技术的基础上,提出了一种将传统的C/S系统向B/S迁移的方法,并对其中的关键技术如用户接口的自动迁移、处理逻辑的包装以及Web应用的集成进行了深入的探讨。
关键词
STRUTS WEB SERVICE 迁移技术
Keywords
Struts Web service Migration technology
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 构件软件配置管理以及其版本控制技术研究
被引量：12
5
作者
倪晓峰 赵文耘 张捷
机构
复旦大学计算机系软件工程实验室
出处
《计算机工程与应用》
CSCD
北大核心
2005年第2期94-96,145,共4页
基金
国家863高技术研究发展计划项目:上海构件库及其应用(编号:2002AA114010) 上海市科技攻关计划项目:可变粒度的软件配置管理工具研究(编号:035115026)
文摘
该文通过对软件配置管理领域与基于构件的软件开发方法(CBSD)的理论与技术分析,结合CBSD的特点、可变粒度构件复用等技术,针对现有软件配置管理工具对CBSD支持不足,提出了一个支持CBSD的软件配置管理工具FDSCM,并对其版本控制关键技术进行具体论述,包括构件与构架的版本演化,逆向跟踪和分支合并策略等。
关键词
版本控制 构件 软件配置管理 基于构件的软件开发方法
Keywords
version control,component ,Software Configuration Management (SCM),CBSD
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 面向体系结构的构件接口模型及其形式化规约
被引量：7
6
作者
任洪敏 张敬周 钱乐秋
机构
上海海事大学 计算机 系 复旦大学 计算机 科学系 软件 工程 实验室
出处
《计算机工程》
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
[自动化与计算机技术—计算机软件与理论]
题名 小型软件企业的项目管理方法研究
被引量：4
7
作者
朱崇湘 陈斌 龚洪泉 钱乐秋
机构
复旦大学计算机系软件工程实验室 上海市教育考试院
出处
《计算机应用与软件》
CSCD
北大核心
2005年第4期50-52,69,共4页
文摘
本文根据小型软件企业的发展现状,针对实施传统的重载项目管理方法所存在的困难,遵循“够用就行”的原则,对适合于小型软件企业的项目管理方法和手段进行了研究,为小型软件企业项目管理提出了符合自身发展的可供参考的建议。
关键词
管理方法 软件企业 企业项目管理
Keywords
Small software company Project management Light-weight methods
分类号
F270
[经济管理—企业管理]
F426.67
[经济管理—产业经济]
题名 基于时序逻辑软件构架形式化方法研究
被引量：2
8
作者
任洪敏 朱承 钱乐秋
机构
复旦大学 计算机 科学系 软件 工程 实验室
出处
《计算机科学》
CSCD
北大核心
2003年第5期1-3,11,共4页
基金
上海市教委重点学科建设项目资助
文摘
Development based on software architecture is one of the most effective solutions to improve software qual-ity and productivity, and minimize the difficulties of developing large and complex systems. Formal models and speci-fications of software architecture are one of the key research areas of software architecture. In this paper, the exten-sion of XYZ/E Language based on set theory, called XYZ/E+ Language, is proposed, and a method of formalizingsoftware architecture whit it is formulated. The formal method is distinguished by its ability to represent not onlystatic properties but also dynamic behaviors, and its high-level abstraction and powerful expressiveness. Finally,through an example of formalizing software architecture of a specific system with XYZ/E+ Language, its powerfulmodeling ability and good practicality are demonstrated.
关键词
软件工程 软件系统 时序逻辑 软件构架形式方法 XYZ/E语言 软件设计模式
Keywords
Software architecture,Software architecture modeling,Formalization,Temporal logic,XYZ/E
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于π演算的动态软件架构研究
被引量：3
9
作者
任洪敏 张敬周 杨志应
机构
上海海事大学 计算机 系 复旦大学 计算机 科学系 软件 工程 实验室
出处
《计算机科学》
CSCD
北大核心
2009年第9期127-130,共4页
基金
上海市教委创新基金项目(09YZ224) 上海市教委科学基金项目(2008096)联合资助
文摘
动态软件架构(Dynamic Software Architecture)是架构领域的研究热点。分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并能对动态架构的诸多要素进行建模,包括动态演化的起因、时间、操作、非瞬时特性、断点继续执行等。
关键词
软件架构 动态软件架构 架构描述语言 Π演算
Keywords
Software architecture, Dynamic software architecture, Architecture description language, π-calculus
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 软件复合连接件的形式化研究
被引量：2
10
作者
任洪敏 张敬周 钱乐秋
机构
上海海事大学 计算机 系 复旦大学 计算机 科学系 软件 工程 实验室
出处
《计算机科学》
CSCD
北大核心
2005年第3期132-135,共4页
基金
国家863高科技发展计划资助项目(2001AA1100241) 上海市教育委员会青年基金(2004166)
文摘
基于构件的软件开发是软件开发的主流范型。构件通过连接件进行连接和交互。连接件是软件系统设计的一阶实体(First-class Entities),是决定软件系统功能和质量的重要因素。伴随软件系统和构件的规模及复杂程度日益增加,连接件变得愈加复杂和多样。因此,需要运用增量、合成的方法开发和支持复杂的连接件。本文提出一种根据已有连接件合成新连接件的形式化方法。该方法的特点是定义连接件合成的基本方式,即连接件运算符,组合运用连接件运算符合成复杂的连接件。并基于Wright连接件的形式化规约,给出了该复合连接件形式化规约的生成算法。
关键词
构件 软件开发 形式化 连接件 系统功能
Keywords
Connector composition Connectors Connector operators Higher-order connectors
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 EDI-XML通用数据转换构件系统的设计与实现
被引量：2
11
作者
任洪敏 钱乐秋 蔡国钧
机构
上海海事大学 计算机 系 复旦大学 计算机 科学系 软件 工程 实验室
出处
《计算机科学》
CSCD
北大核心
2007年第12期129-131,160,共4页
基金
上海市科委人才基金资助项目(05R214206) 上海市教委青年基金支助项目(2004116) 上海海事大学重点学科基金(XL0101-1)
文摘
本文分析了基于EDI和XML技术的电子商务系统应用集成问题,描述了一个EDI-XML通用数据转换构件系统的设计原则和软件架构,论述了该架构方案中EDI-XML数据模式的定义机制,提出了一个EDI-XML通用数据转换的实现算法。
关键词
EDI XML 企业应用集成 构件系统
Keywords
EDI, XML, Enterprise application integration, Component system
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
题名 基于服务连接和消息连接软件构架的研究
被引量：1
12
作者
任洪敏 朱承 钱乐秋
机构
复旦大学 计算机 科学系 软件 工程 实验室
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第4期744-748,共5页
基金
上海市教委重点学科建设项目资助
文摘
软件构架是解决复杂大型软件开发面临的困难、提高软件质量和软件生产效率的有效方法,是软件复用和基于构件软件工程研究的重要领域.通过对软件构架风格特点的讨论和对构件之间交互方式的分析,论文提出了基于服务连接和消息连接的软件构架风格,开发了一个支持该构架风格的构件生产和组装平台.该构架风格具有以下特点:(1)支持多种可变性机制;(2)构件之间灵活和显式的服务连接和消息连接机制;(3)支持构件合成;(4)构件接口分组,成为端口.
关键词
服务连接 消息连接 软件构架 软件工程 CASE 软件系统
Keywords
software architecture architecture style i component composition CASE tool
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于风险控制的软件项目过程优化
13
作者
徐如志 钱乐秋 薛云皎 赵文耘
机构
复旦大学计算机系软件工程实验室
出处
《计算机科学》
CSCD
北大核心
2004年第11期150-153,共4页
基金
国家高技术研究发展计划(863计划)项目(No.2002AA114010) 上海市科学技术委员会研究项目(No.035115026)
文摘
本文提出一种基于风险控制的软件项目过程评估和优化方法,提出以软件项目风险大小作为评估当前软件项目过程优劣的依据,并从优化软件项目风险控制的视角对软件过程进行优化。给出一个基于风险传递的软件风险优化控制模型和一个动态规划的软件风险控制离散优化算法,以及使用上述方法解决问题的一个示例。本文给出的基于风险控制对软件过程进行事先评估和优化的方法,变以往对软件项目的事后被动控制为事先的积极有效预防,从而可显著提高软件项目的成功率。
关键词
软件项目 软件过程 软件风险 优化软件 离散优化 过程优化 算法 风险控制 项目风险 评估
Keywords
Software process,Project management,Software risk,Risk control
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 利用UML建模设计EJB应用系统
被引量：4
14
作者
陶隽 赵文耘 杨俊
机构
复旦大学计算机系软件工程实验室
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第3期253-255,共3页
文摘
从构件模型出发,分析了应用系统建模的特殊性。以开发一个网上书店的系统为例,结合构件模型特点,使用统一EJBEJBEJBEJB建模语言()来建模和设计,展示了在开发应用系统中的运用。
关键词
统一建模语言 构件模型 企业级JavaBean UML EJB 应用系统 软件工程
Keywords
Unified modeling languageComponent modelEnterprise JavaBeansEJB
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 可变粒度的软件配置管理工具的研究
被引量：3
15
作者
柯莉萍 赵文耘 张志
机构
复旦大学计算机系软件工程实验室
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第5期86-88,123,共4页
基金
国家"863"课题(基于Internet以构件库为核心的软件平台)资助项目(2001AA1100241)
文摘
通过对当前软件配置管理领域理论及技术分析，从软件开发过程的实际需求出发，结合基于构件的软件开发方法和软件复用、过程和建模技术，提出一个可变粒度的软件配置管理工具WINGCM，并对其实现模型、方法等关键技术进行了具体论述。
关键词
软件配置管理工具 可变粒度 构件 软件复用 软件开发 软件工程
Keywords
Software configuration management Diverse granularity Component Software reuse
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 图象档案管理系统的C2风格构架的研究
16
作者
李丽燕 钱乐秋 汪洋
机构
复旦大学 计算机 科学系 软件 工程 实验室
出处
《计算机工程》
EI
CAS
CSCD
北大核心
1999年第10期8-9,25,共3页
基金
上海市科委"九五"攻关项目的部分资助
文摘
设计和开发图象档案管理系统重点要考虑以下问题：档案的快速、完整收集，归档自动化．大容量存储和实时动态调档。C２是一种基于构件和连接器的构架风格,对具有图形用户界面的应用有良好的支持。设计了一个Ｃ２风格的图像档案管理系统构架，说明了如何运用构件构架理论去指导、监控系统开发,并通过应用实例来讨论有关具体问题。
关键词
软件构架 图象档案 管理系统 C2风格
Keywords
Software architecture Architecture style Component Connector
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
题名 基于Vortex工作流的软件应用研究
17
作者
杨俊 赵晓琴 夏宽理
机构
复旦大学 计算机 科学系 软件 工程 实验室
出处
《计算机应用与软件》
CSCD
北大核心
2002年第6期24-27,64,共5页
文摘
Vortex工作流以属性为中心的特性,为适应系统设计对任务与数据的不同侧重提供了很大的灵活性。通过引入说明式规范与应用层描述语言,Vortex工作流具有良好的可理解性与可修改性,这对工作流管理系统的推广应用具有重大意义。本文主要介绍Vortex工作流的各类基本要素及概念,并就某些相关问题作定性讨论,最后结合一个应用实例按Vortex规范进行建模分析。
关键词
VORTEX 工作流 软件应用
Keywords
Schema Snapshot Enabling condition Side - effect Combining function Combining semantics language
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
题名 基于工作流的变更管理工具
被引量：7
18
作者
张捷 赵文耘 倪晓峰
机构
复旦大学计算机系软件工程实验室
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第11期50-51,145,共3页
基金
国家"863"计划基金资助项目"上海构件库及其应用"(2002AA114010) 上海市科技攻关计划资助项目"可变粒度的软件配置管理工具研究"(035115026)
文摘
在对当前变更管理的理论及实践研究成果的分析基础上,从软件开发过程、尤其是基于构件的软件开发过程的实际需求出发,结合工作流建模技术、敏捷开发和过程管理,提出了一个基于工作流技术的变更过程可自定义的变更管理工具,给出了过程描述的语言模型,讨论了图形化建模工具和解释执行引擎等关键部件,并对其设计思想、实现模型、方法等技术进行了论述。
关键词
变更过程管理 工作流模型 过程建模
Keywords
Change process management Workflow mode Process modeling
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 网上招生数据传输模型的研究与实现
被引量：3
19
作者
龚洪泉 姚丹 钱乐秋
机构
复旦大学计算机系软件工程实验室
出处
《计算机应用与软件》
CSCD
北大核心
2003年第11期43-45,共3页
文摘
本文对网上招生模式中的数据传输问题进行了深入的研究和具体实现。针对数据传输的安全性、数据传输效率、及时的信息反馈等问题,提出了以四个控制文件为中心的FTP数据传输模型。然后围绕该模型,讨论了FTP的数据传输效率、数据安全性控制,以及控制文件的读写策略等问题,证明该模型在安全性、数据传输效率和信息反馈的时效性方面都满足了网上招生在数据传输方面提出的要求。
关键词
网上招生 数据传输模型 计算机网络 管理信息系统
Keywords
Net-based recruiting system Recruiting administration College FTP Control file
分类号
G473.2
[文化科学—教育技术学]
题名 基于Internet的分布式文档管理技术
被引量：2
20
作者
赵文耘 勉玉静
机构
复旦大学计算机系软件工程实验室
出处
《计算机应用与软件》
CSCD
北大核心
2004年第6期21-22,114,共3页
文摘
网上合作研究中心的出现 ,对文档动态管理及发布提出新的要求。本文提出了一种基于Internet的分布式文档管理的体系结构 ,通过对多种分布式数据复制技术的分析 ,给出了基于邮件系统的数据复制技术 。
关键词
Internet 分布式 文档管理 数据复制技术 邮件系统 信息资源共享 DBMS
Keywords
Internet Distributed documents Replication
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
