邵维忠(数学)的个人简介
北京大学教授、博士生导师。主要研究领域:软件工程、面向对象方法、软件复用与构件技术等。作为课题负责人或主要参加人承担过多项科技攻关项目,如:“DJ-240系列机XCY语言编译系统”、“DJS-200/XT2操作系统”、“软件结构、软件工具的研究及DJS200/XT2的研制”、“大型软件开发环境青鸟系统”等。并多次获得电子工业部、国家教委、国家科委等奖项,并获得国家科学技术进步二等奖。主要著作:《面向对象的分析与设计》、《面向对象技术》。主要译著:《面向对象的分析》、《UML用户指南》。
生平经历
北京大学信息科学技术学院教授、博士生导师,中国计算机学会理事。
1970年毕业于北京大学数学力学系,1979―1983年在计算机科学技术系任教并攻读硕士学位。
早期主要从事操作系统和软件工程领域的教学、科研与开发。
1987―1989年在新加坡国立大学参加科技合作。回国后在导师杨芙清院士主持的国家“八五”、“九五”重点科技攻关课题“大型软件开发环境青鸟系统”和“软件工程环境工业化生产技术及系统”中担任主要技术负责人。
自1991年起注重于面向对象建模方法的研究,并开设了研究生课程和本科生课程。组织研制了“青鸟面向对象建模工具集”,并指导其新版本开发。写作和翻译了多部学术著作。
最近几年在面向对象技术、软件复用与构件技术、中间件技术等领域承担了多项国家高技术研究发展计划(863)项目、国家重大基础研究(973)项目和国家自然科学基金项目。曾获国家科技进步二等奖及国家部委级奖励多项
现任北京大学软件研究所副所长。中国计算机学会理事。主要研究方向:软件工程、面向对象技术、软件工业化生产技术。发表学术专著数篇。曾获国家科技进步二等奖、获国家部委级奖励多项。
合著的书以及论文等
何啸 麻志毅 邵维忠 . 一种面向图形化建模语言表示法的元模型. 软件学报, 2008, 19 (08): 1867-1880
马浩海 谢冰 麻志毅 张能斌 邵维忠 . PKUMoDEL:模型驱动的开发和语言家族支持环境. 计算机研究与发展, 2007, 44 (04): 686-692
刘辉 麻志毅 邵维忠 . 模型转换中特性保持的描述与验证. 软件学报, 2007, 18 (10): 2369-2379
2004
马浩海 邵维忠 麻志毅 . UML 2.0述评. 计算机科学, 2004, 31 (07): 1-5
2003
邵维忠 蒋严冰 麻志毅 . UML现存的问题和发展道路. 计算机研究与发展, 2003, 40 (04): 509-516
2002
张文娟 邵维忠 赵俊峰 麻志毅 . 面向对象软件开发工具集中类库和模型库的研究与实现. 计算机工程, 2002, 28 (03): 10-12
钟林辉 谢冰 邵维忠 . 扩充CDL支持基于构件的系统组装与演化. 计算机研究与发展, 2002, 39 (10): 1361-1365
邵维忠 刘昕 . 可视化编程环境下人机界面的面向对象设计. 软件学报, 2002, 13 (08): 1494-1499
孟祥文 邵维忠 . 设计模式特化和模式库组织. 计算机工程, 2002, 28 (05): 35-38
2000
钟林辉 谢冰 邵维忠 . 青鸟软件配置管理系统JBCM及相关工具. 计算机工程, 2000, 26 (11): 82-84
1999
陈小群 邵维忠梅宏杨芙清 . 以项目为中心的面向对象复用支持. 软件学报, 1999, 10 (03): 283-287
杨燕燕 梅宏 陈海文 邵维忠 . 数据仓库技术和可复用构件库系统. 计算机科学, 1999, 26 (05): 56-61
邵维忠 梅宏 . 统一建模语言UML述评. 计算机研究与发展, 1999, 36 (04): 385-394
1998
郑国梁 邵维忠 . 齐心协力1997年国际软件工程会议概况. 计算机科学, 1998, 25 (02): 1-5
1997
宗志东 朱冰 邵维忠 杨芙清 . 软件过程技术研究. 计算机科学, 1997, 24 (03): 6-11
刘述忠 郭立峰 邵维忠 梅宏 . 青鸟Ⅱ型软件开发环境中的软件过程管理系统. 小型微型计算机系统, 1997, 18 (02): 26-31
1996
邵维忠 袁曙涛 杨芙清 . 青鸟Ⅱ型系统面向对象语言CASEC++的设计和实现. 软件学报, 1996, (01):
1993
章远阳 杨芙清 邵维忠 . 面向对象系统软件的分层构造模型. 软件学报, 1993, 4 (05): 1-6
邵维忠 H.S.Soon . 提问的技巧、算法及其应用. 软件学报, 1993, 4 (06): 7-15
张世琨 邵维忠 . 可重用软件对象定位和理解的认识工具. 计算机科学, 1993, 20 (06): 34-41
1991
徐家福 杨芙清 钱家骅 朱三元 徐仁佐 邵维忠 郑红兰 . 系统设计:研究与实践之新进展――第十三届国际软件工程会议参加记. 计算机科学, 1991, (05): 1981
Paul Bourret Patrice Cros 邵维忠 . 一个确定型的操作系统模型. 计算机科学, 1981, (05):