敏捷软件过程的研究

敏捷软件过程可能成为最适应软件开发全球化、个性化、快速化、高质量新格局的先进开发模式 ,它能够帮助软件企业快速响应市场赢得竞争 .针对这一趋势 ,系统分析软件开发的敏捷性需求 ,总结出敏捷软件过程的 5种典型特征 ,如并行、轻载、基于时间、正好策略、基于组件等 .然后设计了 FL EX语言 ,从 3个不同抽象层次上形式化定义了敏捷软件过程的功能模型、合作模型、资源模型和产品模型 .基于过程模型 ,同时提出了 9种静态分析和动态模拟技术 ,支持软件过程面向敏捷性的优化 .

软件工程教学模式的研究和实践

软件工程学士和硕士是针对软件从业人员、面向企事业单位需求培养的高层次实用型、复合型软件工程技术和管理人才。如何结合工业界的要求进行工程化教学，培养大批量优秀的软件工程师或项目经理呢?或许，华东理工大学构建的软件工程“传授——案例——扩展——演练——考评”五段教学模式，能给予我们一些启发。

探索软件工程硕士的课程教学

面对国家软件产业发展的重点战略和国内外激烈的人才竞爷，改革软件人才培养模式，加人软件人才培养力度，已经成为当前高等教育改革与发展的一项重要和紧迫的任务。为此，国家教育部在2001年择优扶持35家高等学校，支持其试办示范性软件学院。紧接着。

基于规则的软件过程事务模型(英文)

事务管理是过程工程环境(PSEE)的一个关键技术.近年来,提出了不少高级事务模型支持长事务.然而,由于软件过程事务处理的特殊性,这些模型只能反映其中一部分需求,而且大多数多层的合作事务模型还不够稳定,无法应用于商业,这对PSEE的事务机制提出了挑战.基于此,提出了一个基于规则的软件过程事务模型E-Process/TM,能够较好地刻画软件过程的特征,即用户交互性、长周期、迭代式过程和数据共享的多用户协作.基于用户可自定义的正确性规则,E-Process/TM提供了良好的灵活性和开放性.目前,该模型已在商业PSEE产品中得以实现,并成功地应用于实践中.

软件企业的知识管理

本文从知识经济时代知识管理的高度和观点,重新系统地思考和审视了软件企业的若干重要管理问题,提出了软件企业实施知识管理的七个基本内容和方面,可作为软件企业管理上台阶的一个参考框架,它也补充了CMM模型中尚未涉及的技术管理方面。

软件工程教学的思考与改革

软件工程人才的培养是软件产业发展的基础,它和计算机科学人才的培养在内容和方式上都有很多不同。本文介绍了华东理工大学在软件工程教学改革方面的一系列探索,即一套体系、三个面向、五段教学方法和立体化教学手段,最后对这一教改的实践进行了总结。

反思和抽象在“软件工程中人的因素”课程学习中的应用

将反思和抽象这两种思维模式融入软件工程的教学中，特别是融入“软件工程中人的因素”课程中，将提高学生对本学科的丰富性和复杂性的认识，同时提升他们的专业能力。软件开发环境的复杂性包含软件职业的认知因素和社会因素。我们专门设计了一门课程以提升学生对这些复杂性的认识，该课程介绍一些反思性的心理过程，并让学生应用抽象思维完成任务。在过去的三年中，我们在Technion—Israel理工学院和卡内基梅隆大学计算机科学学院开设了“软件工程中人的因素”课程。这门课旨在提升软件工程学生对该领域的丰富性和复杂性的认识。这些丰富性和复杂性体现在软件工程中各种人的因素上，也体现在软件开发过程中专业人员可能遇到的疑难、困境、问题和冲突上。

解读软件工程知识体系SWEBOK V3

2014年2月20日，IEEE计算机协会发布了软件工程知识体系SWEBOK（SoftwareEngineeringBodyofKnowledge）指南第3版。第3版标志着SWEBOK项目到达了一个新的里程碑。作为本指南的联合主编之一，笔者将介绍SWEBOKV3的目标、项目组成员、制订过程以及内容上的重大变化。

探讨传统客户/服务器应用和Web的结合方法

提出了传统客户 /服务器应用和 Web结合的五种模型 ,对每种模型的优缺点和适用性进行了讨论 ;且介绍了一个基于 Web技术的新一代客户 /服务器应用快速开发工具。

面向对象的CASE工具评价模型

ＣＡＳＥ工具的评价是一直迫切需要解决而尚未很好解决的课题．本文分析了以往的研究成果，在此基础上引入了面向对象的概念，提出了一种以软件质量评价的三级模型为基本构架，以工具类格为核心，面向对象的工具评价模型．该模型既能遵循通用的软件质量评价标准，又能根据评价目标、应用要求、工具特色进行调整，还允许以后的发展和扩充，为ＣＡＳＥ工具提供了一个较系统的评价方法．

基于SLA与用户评价的云计算信任模型

针对用户对云服务提供商缺乏信任的问题,提出一个基于服务等级协议(SLA)与用户评价的云计算信任模型。通过分析云服务提供商的SLA确认其承诺的服务质量,根据用户的评价确定云服务提供商对SLA的履行情况,综合两方面内容计算云服务的可信度。分析结果表明,借助该模型,用户可以准确地选择可信的云服务提供商。

面向SaaS应用的业务逻辑定制框架的研究与实现

SaaS(software as a service,软件即服务)是一种全球兴起的创新的软件服务模式,它的出现对中小企业的信息化产生了深远影响。目前面向SaaS应用的业务逻辑在线定制方法存在着定制复杂性高、可定制内容有限等缺点。为了解决这些问题,采用了基于领域工程的业务规则模板的方法,提出了适合SaaS应用的业务逻辑定制框架,兼顾了应用的易用性及性能。案例表明了此框架的有效性。

面向对象软件度量工具的软件结构

利用软件度量工具度量程序源代码的各类质量属性是提高程序质量的一个重要方法 .目前 ,面向对象语言已逐渐成为主流编程语言 ,度量基于对象技术的软件成为必然的需求 .然而 ,由于面向对象语言数目众多 ,许多面向对象语言又都在发展中 ,用户所需要的度量也不尽相同 ,各种分散的需求对度量工具的灵活性与通用性提出了挑战 .首先给出了一个适用于 OO语言软件度量工具的一个灵活的软件结构 ,然后在分析了各类软件度量的基础上 ,解析了该结构的核心 ,度量中间表示库的结构 .

第3届IEEE国际安全软件系统集成和可靠性改进大会

2009年7月8～10日,由上海交通大学软件学院承办的第3届IEEE国际安全软件系统集成和可靠性改进大会（SSIRI）在上海举行。来自15个国家和地区的70多名学者围绕＂提高软件系统的可靠性＂主题展开了深入研讨。

基于静态数据流分析的Android应用权限检测方法

拥有Android关键资源使用权限的应用经常成为攻击者攻击的目标。而使用权限的申请完全是由应用完成的,用户往往是盲目的接受。针对这种情况,提出了一种基于数据流分析的Android应用权限检测方法,设计和实现了静态检测工具Brox,并对多个Android应用是否申请了过多的权限进行了检测。Brox在检测的准确性和性能方面都达到了令人满意的效果。

敏捷方法的研究与实践

敏捷软件开发方法正逐渐成为软件开发的新模式。针对这一趋势,文章分析了敏捷方法的核心理念和特点,并结合RUP、XP、FDD等敏捷方法,提出了适应中小型软件企业的敏捷软件开发方法――AUP,并成功地进行了实践。

医疗物资管理系统的开发

目的利用信息技术对医疗物资进行管理,提升医疗物资精细化管理水平,降低物资消耗成本。方法运用B/S与C/S的混合结构,采用物资管理流程优化、大型设备绩效评估建模、与HIS系统对接以及高值材料消耗信息的实时发布等技术手段,开发了一个医疗物资管理系统。结论使医疗物资受控于基于全生命周期的流程管理,实时监控临床科室的物资消耗,通过事前预算、事中控制、事后分析的闭环管理模式,达到了管理出效益的最终目的。

一个柔性的形式化过程建模语言(英文)

提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,FLEX语言可以支持不同层次和需求的过程建模.

Web遗留系统的服务包装器环境设计

Web遗留系统的白盒服务迁移需要侵入原有系统修改代码,因此会产生运行风险。针对该问题,设计并实现一种黑盒包装器环境。通过为遗留系统配置包装器,忽略原系统内部的复杂性,并在不改变系统部署和运行状态的情况下,将遗留的Web应用转化为Web服务。应用结果表明,基于外部包装和规则配置的黑盒方法更具可控性。

源代码变量名的自动语义标注

大规模开源代码社区为开发者提供了丰富的软件资产,但要理解和利用这些代码却十分耗时耗力。为寻求代码理解、分析和挖掘的语义支撑,针对源代码变量名进行了研究,提出了一种基于字段相似度与语义关联度的自动语义标注方法,并实现了相应的工具。该方法首先建立英文、中文、拼音语料库,并构建字段相似度模型生成多种候选标注方案;然后利用马尔可夫转移矩阵和语义网Word Net构建概率模型评选出最优的标注方案,从而实现源代码变量名的自动语义识别。使用Git Hub开源项目代码进行标注准确度实验,结果表明,初次标注准确度达到68.1%,随着用户反馈增加逐步提升到73.3%。