孙艳春
- 作品数：31 被引量：219H指数：9
- 供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 一种支持软件体系结构模型检查的可视化构件交互建模工具的设计与实现
- 随着软件技术的不断发展,软件系统的复杂性、多变性不断提高,为了满足软件体系结构的正确性要求,仅有系统静态结构信息的描述方法不足以满足这种需求,因此需要在软件体系结构层次对系统行为进行建模。另一方面,为了使用户能够方便地进...
- 张磊周立孙艳春梅宏
- 关键词：软件体系结构构件交互可视化构件
- 文献传递
- 基于操作记录与回放技术的远程同步教学工具被引量：2
- 2013年
- 随着国家教育信息化的发展,远程教育成为一种越来越重要的教学模式。目前以"中国教育在线"为代表的大多数远程教学平台只提供了文本课件、视频/音频等静态教学资源。这些资源缺乏交互性,难以向学生精细化再现其制作过程与教学场景,无法满足互动教学的要求。此外,这些教学资源数据量通常较大,不适于在网络上及时传输,难以保障远程教学的及时性和实效性。在分析远程教学需求以及所面临的挑战基础上,提出了一种基于记录/回放技术的操作远程同步方法,通过记录教师在Eclipse等教学平台上制作教学资源的操作序列,将其远程同步到学生端并进行回放,由此在学生端重现教学资源,以交互式地帮助学生掌握学习知识、提高学习效率。相比于传统的以文本、视频/音频等静态教学资源为主的远程教学方式,该方法可实现及时的知识展现,且由于传输的操作序列数据量相比视频/音频要少,因而更能适应复杂网络环境下远程教学的需要。在此基础上,实现了一个基于Eclipse教学平台的操作远程同步工具并进行了详尽的实例研究,证明了所提出方法的可行性和高效性。
- 陈德健孙艳春黄罡张颖
- 关键词：远程同步
- 基于组件技术的CSCW系统结构的研究
- 可裁剪性是分布式环境下CSCW系统设计和实现的一个关键因素。该文从两个方面提出了基于组件技术建立可裁剪的CSCW系统结构的思路，一方面基于组件技术建立可裁剪的CSCW系统结构模型，另一方面基于Agent协同技术建立支持组...
- 孙艳春
- 关键词：组件技术群件AGENT
- 文献传递
- 特征模型中非功能需求建模初探
- 在需求模型中准确、完整地规约与非功能需求(NFR)相关的语义是实现NFR的前提,也是需求建模的难点.本文探讨了特征模型中NFR的建模方法,该方法显式区分功能和非功能特征,根据精化关系将处于不同抽象层次上的非功能特征组织成...
- 孙连山黄罡孙艳春陈泓婕梅宏
- 关键词：中间件非功能需求
- 文献传递
- 一种面向Chrome浏览器的视频云笔记插件被引量：5
- 2017年
- 随着互联网的发展以及edx,Coursea和Udacity等开放式网络教学平台的推广,互联网教学逐渐兴起并广泛普及。互联网教学中学生获取知识的一个主要媒介是互联网课程中的教学视频资源。然而,当前的互联网教学辅助平台中存在一个明显的不足:学生无法及时针对教学视频细节在云端记录并分享笔记或寻求帮助。这将会影响学生对视频形式的教学内容的理解,也不利于形成优质的学习生态系统。由此,设计了一种面向Chrome浏览器的视频云笔记工具,并采用了HTML5,Node.js,MongoDB等关键技术对其进行了实现。该工具能够针对互联网教学视频资源的细节内容记录、发布笔记并在云端共享,有利于学生对视频教学资源中细节的整理、理解、讨论和最终掌握;同时该工具可以根据学生人群在使用工具的过程中产生的数据对视频内容进行一定程度的解析,挖掘视频教学资源中的关键点,从而降低学生获取关键知识的难度,辅助学生的学习过程。最后,进行了相关的实例研究,结果证明了所提出的分析设计方案的可行性和有效性。
- 辛超乔子健孙艳春
- 关键词：互联网教学
- 基于操作记录与回放技术的Eclipse操作远程同步教学工具
- 随着国家教育信息化的发展，远程教育成为一种越来越重要的教学模式。目前以“中国教育在线”为代表的大多数远程教学平台只提供了文本课件、视频/音频等静态教学资源。这些资源缺乏交互性，难以向学生精细化再现其制作过程与教学场景，无...
- 陈德健孙艳春黄罡张颖
- 关键词：远程同步
- 文献传递
- 从需求规约到软件体系结构——一个实例研究
- 2005年
- 软件需求工程和软件体系结构设计是软件开发中的两个早期关键活动．如何自动或半自动地实现从需求规约到软件体系结构的变换一直是学术界和产业界关注的难题．目前，实践中仍然没有系统化的、有效的方法、技术、工具和过程指导从需求规约到软件体系结构的变换．本文基于一个实际项目一奥运会注册制证子系统的软件体系结构建模，探讨了从需求规约到软件体系结构变换的经验性过程，并分析了变换过程中涉及的关键问题。以期为获得一个一般性变换过程奠定基础．
- 孙连山孙艳春陈泓婕梅宏
- 关键词：需求规约软件体系结构
- 软件工程本科教学的探索与实践被引量：12
- 2009年
- 本文简要回顾了北京大学软件工程教育的发展历史,详细阐述了北京大学如何从充分利用科研实践经验、加强课程体系与教材的研究、注重因材施教三个方面构建软件工程本科教学知识体系;全面总结北京大学软件工程本科教学实践的探索经验。
- 孙艳春王立福梅宏
- 关键词：软件工程本科教学
- 运行时软件体系结构的建模与维护被引量：8
- 2013年
- 运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系.运行时体系结构与目标系统间具有动态的因果关联,即系统的变化及时体现在体系结构上,而对体系结构的修改及时影响当前系统.运行时体系结构允许开发者以读写体系结构的方式实现系统的监测和调整,是体系结构层次系统动态适应与在线演化的基础.构造运行时体系结构的关键是针对不同的目标系统和体系结构风格实现合适的基础设施,以维护二者之间的因果关联.由于目标系统和体系结构的多样性以及因果关联维护逻辑的复杂性,这一构造过程往往过于繁琐、易错、难以复用和维护.提出一种模型驱动的运行时体系结构构造方法.开发者只需针对目标系统、体系结构以及两者之间的关系分别进行建模,根据这些模型,支撑框架自动构造合法而高效的运行时体系结构基础设施.基于MOF和QVT标准建模语言定义了一组运行时体系结构建模语言,并基于通用的模型与系统间同步技术实现了相应的支撑框架.一系列实例研究表明,该方法具有广泛的适用性,并显著提高了运行时体系结构构造过程的效率与可复用性.
- 宋晖黄罡武义涵Franck CHAUVEL孙艳春邵维忠梅宏
- 一种基于社交网络服务的mashup连接子的设计与实现
- 2014年
- 在Web 2.0时代,富客户端应用越来越流行。混搭(mashup)可以将两种或两种以上的互联网资源整合成具有良好用户体验的新型应用。利用mashup现有技术,可以实现同一个富客户端上不同富客户端应用之间的信息传递。不过,mashup对于不同富客户端间的富客户端应用的信息传递仍然无能为力,因此一般情况下,用户无法获得他人经验或集体智慧的帮助而更好地使用富客户端应用。而另一方面,社交网络服务SNS(Social Network Service)拥有及时性、交互性、广泛性和富含集体智慧的特点。文中基于SNS的这一系列特性,提出了一种基于社交网络服务的mashup连接子(connector)的设计方案,使得用户可以利用社交网络好友的经验和集体智慧,更为充分地使用富客户端应用,同时也解决了不同富客户端上的应用之间的信息传递问题。然后,实现了基于社交网络服务的mashup连接子,并进行了实例研究,验证了该连接子设计的可行性和有效性。
- 庄希威孙艳春黄罡
- 关键词：MASHUP富客户端
