邵维忠
- 作品数：54 被引量：823H指数：17
- 供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术自然科学总论文化科学更多>>
- 软件配置管理系统XML数据模型及原型研究被引量：9
- 2001年
- 配置管理是软件开发管理中的重要支持活动。配置库管理是软件配置管理的核心任务之一。由于分布式配置库模型和internet的出现,对配置库间数据交换和访问提出了新的需求。该文首先了介绍配置库模型的一般概念及其核心数据组成,并基于XML定义了青鸟配置库数据模型,为同构/异构配置库模型间的数据交换提供支持。随后介绍了青鸟网上配置管理系统(JBCM_WEB)原型,研究了基于XML配置数据互操作和B/S方式的应用。
- 钟林辉陈宇刘洋谢冰邵维忠
- 关键词：软件配置管理系统XML数据模型软件工程
- UML现存的问题和发展道路被引量：53
- 2003年
- 自从 1997年OMG采纳UML作为其标准建模语言以来 ,UML受到计算机各界人士的普遍关注 ,得到了广泛的应用 ,并在世界范围内形成了其事实上的建模规范的地位 但也无时无刻不受到来自用户、工具开发商、学者和教学者从不同角度的批评 UML先后进行了 3次修订 (1 3,1 4和 2 0 ) ,目前计算机各界人士对UML提出了各种意见 ,并将重点放在目前公认的几个问题上 :精简、定义核心。
- 邵维忠蒋严冰麻志毅
- 关键词：面向对象语法语义UML统一建模语言计算机
- 代码坏味的处理顺序被引量：11
- 2012年
- 选取了10种具有代表性的代码坏味进行研究.从每种代码坏味的产生原因、症状、对软件的影响以及相应的处理这4个方面进行分析,提出了一个代码坏味处理顺序的优先级.通过问卷调查和两个实验,对代码坏味处理顺序优先级进行了初步验证.
- 高原刘辉樊孝忠牛振东邵维忠
- 关键词：软件维护调度
- 软件过程技术研究被引量：9
- 1997年
- 一、引言提高软件生产率,保证软件质量一直是软件界追求的目标,在过去的几十年里,人们不断地探索新技术、新方法和新工具,为实现此目标作出了巨大努力,我们只要对这些探索的历程做一简单的回顾,就不难发现当前人们开始对软件过程进行研究是软件发展的必然.
- 宗志东朱冰邵维忠杨芙清
- 关键词：软件开发
- 可视化编程环境下人机界面的面向对象设计被引量：34
- 2002年
- 可视化编程环境的出现给人机界面的开发带来了巨大的变化,使人机界面的实现可以通过可视化操作,以所见即所得的方式进行定制,并在环境的支持下生成程序代码.这种变化给人机界面的面向对象设计提出了新的问题:既然界面的实现主要不是靠手工编程,那么在实现之前还要不要进行设计?面向对象的设计阶段建立的类图还有什么用?旨在对此问题作出回答.首先论述这种条件下的人机界面开发仍然需要设计,但设计策略应当改进.然后给出针对可视化编程环境的人机界面OOD(objected-oriented design)策略.该策略使设计工作大为简化,且更为有效、更适合基于可视化编程环境的人机界面开发.
- 邵维忠刘昕
- 关键词：可视化编程人机界面面向对象软件工程
- 240机分时操作系统的设计和实现
- 邵维忠
- 关键词：分时操作系统
- 一种从UML模型到可靠性分析模型的转换方法被引量：22
- 2010年
- 以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效.
- 柳毅麻志毅何啸邵维忠
- 关键词：UMLMARKOV链
- UML 2.0述评被引量：9
- 2004年
- 在经过4年之久的修订过程之后,OMG采纳了UML2.0。本文首先介绍了UML2.0的修订背景和提案需求;然后分别介绍了UML2.0规范的主体部分:基础结构和上层结构的修订特点,进而总结了UML2.0基础结构的设计目标和体系结构,归纳了上层结构的设计目标、体系结构组织,着重于比较UML1.X和2.0在模型构造能力上显著增强的部分;最后针对UML2.0规范及对其存在的问题给出了一些评述,这些可以作为今后相关研究工作的框架。
- 马浩海邵维忠麻志毅
- 关键词：UML
- 齐心协力——1997年国际软件工程会议概况被引量：1
- 1998年
- 第19届国际软件工程会议于1997年5月17至22日在美国波士顿召开。来自世界各地30个国家和地区的代表,近900人参加了会议。会议的主题是“齐心协力”(pulling together),是针对去年在柏林召开的第18届会议上,出现软件工程领域的“学院派”和“工程派”之争而提出的。这次会议的“齐心协力”意味着为了达到共同目标需要各方力量共同奋斗;也表明不同观点、不同基础和能力聚集一起,来寻找达到合作的途径和共同点。会议涉及面很广,发表论文50篇。
- 郑国梁邵维忠
- 关键词：软件工程计算机超媒体
- 模型转换中特性保持的描述与验证被引量：23
- 2007年
- 模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法.
- 刘辉麻志毅邵维忠
- 关键词：MDA
