科学网

 找回密码
  注册
科学网 标签 软件工程 相关日志

tag 标签: 软件工程

相关日志

UML面向对象需求分析与建模教程 PDF电子版 第二版 书号9787030569141 邹盛荣 科学出版社
srzouyzu 2020-9-12 21:33
UML面向对象需求分析与建模教程 PDF电子版 第二版 书号9787030569141 邹盛荣 科学出版.pdf UML面向对象需求分析与建模教程-基于UML2.5 PDF电子版 第二版 书号9787030569141 邹盛荣 科学出版社
3142 次阅读|0 个评论
[转载]征集2019年度信息科学领域重大项目立项建议
geneculture 2018-5-24 08:46
Fw: 关于征集2019年度信息科学领域重大项目立项建议的通告 发件人: xqwang xqwang@pku.edu.cn 时间: 2018年3月20日(星期二) 中午12:56 纯文本 | 收件人: ZouXiaohui 949309225@qq.com 邹老师,您好! 这是科研部的邮件,不知为啥发给了我? 我看了看, 2-4 基本上与我们没有关系,是纯理工的方向。 仅第一项,还有点关系, F07交叉学科中的信息科学 1. 关于征集2019年度信息科学领域重大项目立项建议的通告: http://www.nsfc.gov.cn/publish/portal0/tab442/info73466.htm  请于 5月30日 前通过 Email 将“重大项目立项建议书”电子版(见附件)发至相关科学处(相应联系信息如下),并抄送至: 信息科学部综合与战略规划处hejie@nsfc.gov.cn 。同时将“重大项目立项建议书”纸质材料寄至:100085 国家自然科学基金委员会信息科学部综合与战略规划处何杰收。 注:2018年度项目指南中信息科学部已经发布了F06人工智能和 F07交叉学科中的信息科学 两个一级代码,有关这两类2019年重大项目建议请报送信息科学部三处及综合与战略规划处,谢谢! 您看看? 王 -----原始邮件----- 发件人: baojintao@pku.edu.cn baojintao@pku.edu.cn 发送时间: 2018-03-20 11:29:48 (星期二) 收件人: 陈斌-工学院 bc@pku.edu.cn, 程典_国发 dcheng@nsd.pku.edu.cn , 陈敏燕-社调中心 issschenmy@pku.edu.cn , 邓佳佳-信管 djj@pku.edu.cn , 戴永宁-计算机所 daiyongning@pku.edu.cn , 方晶-新媒体研究院 gxmtyjy@pku.edu.cn , 关靖龄-政管 sgkyb@pku.edu.cn , 龚思源-前沿 gongsy@pku.edu.cn , 韩启飞-生命 hqf@pku.edu.cn , 郝瑛-数学中心 haoying@bicmr.pku.edu.cn , 鞠莉-计算机所 juli@pku.edu.cn , 姜怡-分子 jiangyijy@pku.edu.cn , 刘钿-景观 euc@pku.edu.cn , 李玲-化学 ccmeliling@pku.edu.cn , 赖琳娟_教育学院 ljlai@gse.pku.edu.cn , 李梅_经院 limei@pku.edu.cn , 刘树岩-科维理 shuyan@pku.edu.cn , 蓝枝芳-软件中心 lanzf@pku.edu.cn , 马绍娜-新结构 shaonama@nsd.pku.edu.cn , 牛林-化学学院 niulin@pku.edu.cn , 潘青-物理 panq@pku.edu.cn , 潘荣英-国关 panry@pku.edu.cn , 秦权-新媒体研究院 qinquan@pku.edu.cn , 孙冰玉-教育学院 a2144@pku.edu.cn , 舒立-新媒体研究院 shuli@ime.pku.edu.cn , 孙琰-信息 sun.y@pku.edu.cn , 唐琳-城环 tanglin@urban.pku.edu.cn , 武继磊_人口所 wujl@pku.edu.cn , 王荣婧-环科 wangrongjing@pku.edu.cn , 王肖群-教师教学发展中心 xqwang@pku.edu.cn , 王玉广-软微 wyg@ss.pku.edu.cn , 许梅兰-地空 xumeilan@pku.edu.cn , 徐婷-数学 xuting@math.pku.edu.cn , 杨忱_农学院 yang.chen@pku.edu.cn , 由秀军-光华 youxj@gsm.pku.edu.cn , 张璐瑶-城环 zly@urban.pku.edu.cn , 张敏-考古 amyharry@163.com , 张书玮-新媒体 shuweizhpku@163.com , 张昕-心理 zhang.x@pku.edu.cn , 肖瑜-北医 xiaoyu@bjmu.edu.cn , 张楠楠-北医 zhangnannan@bjmu.edu.cn 抄送: 杨凌春 lcyang@pku.edu.cn 主题: 关于征集2019年度信息科学领域重大项目立项建议的通告 各位老师好, 现转来国自然近期公布的几个项目指南通知公告,烦请转给各院系相关老师,科研部主页也有转载,希望大家提醒老师们仔细关注申报截止日期,如有疑问请联系通知中的电话,谢谢! 1. 关于征集2019年度信息科学领域重大项目立项建议的通告: http://www.nsfc.gov.cn/publish/portal0/tab442/info73466.htm 2. 中德科学中心2018年度项目指南: http://www.nsfc.gov.cn/publish/portal0/tab442/info73482.htm 3. 特提斯地球动力系统重大研究计划2018年度项目指南: http://www.nsfc.gov.cn/publish/portal0/tab568/info73486.htm 4. “国家自然科学基金委员会-贵州省人民政府喀斯特科学研究中心项目”2018年度项目指南: http://www.nsfc.gov.cn/publish/portal0/tab568/info73487.htm 顺颂春祺 鲍锦涛 北京大学科学研究部 北京大学勺园办公区5乙326室 Jintao Bao Office of Scientific Research, Peking University HaiDian District, Beijing, 100871, P. R. China Tel:86- 10-62751449 关于征集2019年度信息科学领域重大项目立项建议的通告 日期 2018-03-12  来源:  作者:  【 大 中 小 】  【 打印 】  【 关闭 】   为了进一步完善重大项目立项机制,做好项目的立项和资助工作,信息科学部根据国家自然科学基金管理办法的规定,围绕信息领域“十三.五”优先发展战略,面向科技界征集重大项目立项建议。   一、重大项目定位   1. 科学发展中具有战略意义,我国具有优势,可望取得重大突破的前沿性基础研究;   2. 国家经济发展亟待解决的重大科学问题,对开拓发展高新技术产业具有重要影响或有重大应用前景的基础研究;   3. 围绕国家可持续发展战略目标或为国家宏观决策提供依据的重要基础性研究,以及具有广泛深远影响的科学数据积累等基础性工作;   4. 在基金面上、重点等项目多年资助基础上凝练出来的,通过加大资助力度,可望取得重大突破的重大科学问题。   重大项目资助强度一般不超过2000万元。   二、立项建议书主要内容   1.建议重大项目的立项依据,特别是需要重大项目资助的必要性(经过重大项目的支持,有望在解决核心科学问题方面取得突破);   2. 项目的科学目标、核心科学问题、围绕解决核心科学问题拟开展的主要研究内容及建议研究方案(科学目标明确集中,所凝练的核心科学问题具有基础性和前沿性,学科交叉性强);   3. 预期可能取得的突破性进展及研究水平(与国际研究水平对比);   4. 国内已有的工作基础及在国际上所处的位置和队伍状况(国内具备良好的研究工作积累和研究条件,具有一定规模的研究队伍,有一批在国际上有影响的学术带头人);   5. 与国家自然科学基金其他项目和国家其他计划的关系。     请于 5月30日 前通过 Email 将“重大项目立项建议书”电子版(见附件)发至相关科学处(相应联系信息如下),并抄送至:信息科学部综合与战略规划处hejie@nsfc.gov.cn。同时将“重大项目立项建议书”纸质材料寄至:100085 国家自然科学基金委员会信息科学部综合与战略规划处何杰收。   各科学处联系人:   信息科学一处:宋朝晖,songzh@nsfc.gov.cn,010-62327927;   信息科学二处:宋苏,songsu@nsfc.gov.cn,010-62327807; 信息科学三处:刘克,liuke@nsfc.gov.cn,010-62327141;   信息科学四处:潘庆,panqing@nsfc.gov.cn,010-62327140;   重大项目立项建议书统一为word格式。   科学部将在广泛征求科学家建议和意见的基础上,积极组织和参与重大项目立项研讨与论证工作。经过科学部专家咨询委员会会议咨询意见,科学部工作会议将根据国家基础研究发展战略和自然科学基金委优先资助领域,讨论推荐立项条件相对成熟的重大项目立项建议;由科学处在科学部专家咨询委员会会议上答辩,差额遴选出5个左右立项领域;最后根据计划发布重大项目申请指南。   注:2018年度项目指南中信息科学部已经发布了F06人工智能和F07交叉学科中的信息科学 两个一级代码,有关这两类2019年重大项目建议请报送信息科学部三处及综合与战略规划处,谢谢! 2018年3月9日    附件:重大项目立项建议书
个人分类: 学术研究|90 次阅读|0 个评论
双字棋盘的应用即生成汉语棋谱涉及两大类形式化方略
geneculture 2016-9-22 23:40
双字棋盘的应用即汉语棋谱软件工程是一个具有不断自学习特点的系统工程,其特征在于:它可把人脑在教育、管理、学习和运用等社会化活动的优势,与电脑(包括智能手机和平板电脑等)在语言、知识、软件和硬件等形式化的优势,很好地结合在一起,发挥着凝聚用户以及用户资源尤其是大数据资源的巨大作用。
个人分类: 双语信息处理|612 次阅读|0 个评论
软件工程(八)
qishi821 2016-4-13 17:43
详细设计规格说明书的基本框架 1 引言 1.1 编写目的 1.2 背景 1.3 定义 1.4 参考资料 2 总体设计 2.1 需求概述 2.2 软件结构 3 程序设计说明 3.1 程序描述 3.2 功能 3.3 性能 3.4 输入项 3.5 输出项 3.6 算法 3.7 流程逻辑 3.8 接口
个人分类: 软件工程|1836 次阅读|0 个评论
软件工程(七)
qishi821 2016-4-13 17:01
软件工程的一些相关理论 1、20世纪60年代末挪威奥斯陆大学和挪威计算机中心共同研制出Simula语言,是面象对象语言的标志。接下来的一些如Smalltalk、C++等面向对象编程语言的设计者都借鉴了simula语言。目前,面向对象程序设计语言已达数十种之多。 2、面向对象本身是无意义的,可以这样理解:直接针对你能想到的任何事物。在软件工程中,它是从英语词组Object-Oriented翻译过来的,到目前为止,没有一个标准的定义。从本质上,面向对象就是:程序设计应该从实际看到、听到、触摸到的人、事物或物件出发,将程序在概念上与这些实际事物建立对应的联系。面向对象的分析和设计就是建立它们之间的映射关系模型,并将模型转化成计算机可执行的程序。
个人分类: 软件工程|1617 次阅读|0 个评论
软件工程之六
qishi821 2016-4-13 15:00
软件需求规格说明模板 目录 版本历史 1 导言 1.1 目的 1.2 文档约定 1.3 适用人群和阅读建议 1.4 项目范围 1.5 参考文献 2 总体描述 2.1 产品愿景 2.2 产品特性 2.3 用户类型和特征 2.4 操作环境 2.5 设计和实现约束 2.6 用户文档 2.7 假设和依赖 3 系统特性 3.1 系统特性1 3.2 系统特性2(等等) 4 外部接口需求 4.1 用户接口 4.2 硬件接口 4.3 软件接口 4.4 通信接口 5 其他非功能需求 5.1 性能需求 5.2 安全需求 5.3 保密需求 5.4 软件质量属性 6 其他需求 附录A: 术语表 附录B: 分析模型 附录C:问题列表
个人分类: 软件工程|1800 次阅读|0 个评论
软件工程(五)
qishi821 2016-4-13 14:30
软件工程涉及到的一些理论 1、软件工程的通用框架定义了五种框架活动:沟通、策划、建模、构建、部署。 2、在软件工程中,要创建两类模型:需求模型和设计模型 3、类--具有相同属性和共同行为的事物集合。 4、有些软件开发者仍然相信软件质量是在编码完成之后才应开始担心的事情。这是完全错误的!软件质量保证(通常称为质量管理)是适用于整个软件过程的普适性活动。 5、软件质量保证(SQA)包括:(1)SQA过程(2)具体的质量保证和质量控制任务(包括技术评审和多层次测试策略)(3)有效的软件工程实践(方法和工具)(4)对所有软件工作产品及其变更的控制(5)保证符合软件开发标准的规程(当适用时)(6)测量和报告机制 6、问题分解,有时称为问题划分或问题细化,它是软件需求分析的核心活动。在确定软件范围的活动中,并不试图完全分解问题,只是分解其中的两个主要方面:(1)必须交付的功能和内容(2)所使用的过程。 7、面向数据和面向行为方法的本质缺点是,数据和行为是同一个问题的两个方面,数据项不能改变,除非对它进行操作;而没有相关数据的行为同样毫无意义。所以,需要一种技术来同等对待数据和行为--这种技术就是面向对象技术。 8、封装、继承和多态是面向对象的“三大支柱”,是面向对象的三个核心观点。
个人分类: 软件工程|1909 次阅读|0 个评论
软件工程(四)
qishi821 2016-4-13 13:47
软件工程需要的一些工具 1、word(visio)(用于写文档) 2、ppt(项目宣传、审核) 3、power designer(做数据库) 4、source save(做版本管理) 5、rose 6、Project(项目进度管理)
个人分类: 软件工程|1499 次阅读|0 个评论
软件工程(三)
qishi821 2016-4-13 13:43
软件工程需要的一些文档 1、开发进度月报 2、文档的和分类 3、文档的和维护 4、计算机软件产品开发文件 5、可行性报告 6、用户手册 7、详细设计说明书 8、软件需求说明书 9、测试分析报告 10、测试计划 11、项目开发计划 12、项目开发总结报告 13、数据库设计说明书 14、数据需求说明书 15、概要设计说明书 16、模块开发 17、操作手册
个人分类: 软件工程|1250 次阅读|0 个评论
软件工程(二)
qishi821 2016-4-13 13:35
软件工程文档模板 一、可行性研究报告 二、项目开发计划 三、需求规格说明书 四、概要设计说明书 五、详细设计说明书 六、用户操作手册 七、测试计划 八、测试分析报告 九、开发进度月报 十、项目开发总结报告 十一、程序维护手册 十二、软件问题报告 十三、软件修改报告
个人分类: 软件工程|1413 次阅读|0 个评论
软件工程(一)
qishi821 2016-4-13 13:18
可行性研究报告格式 1 引言 1.1 编写目的 1.2 项目背景 1.3 定义 1.4 参考资料 2 可行性研究的前提 2.1 需求 2.2 目标 2.3 条件、假设和限制 2.4 可行性研究方法 2.5 决定可行性的主要因素 3 对现有条件的分析 3.1 处理流程和数据流程 3.2 工作负荷 3.3 费用支出 3.4 人员 3.5 设备 3.6 局限性 4 所建议技术可行性分析 4.1 对系统的简要描述 4.2 处理流程和数据流程 4.3 与现有系统比较的优越性 4.4 采用建议系统可能带来的影响 4.5 技术可行性评价 5 所建议系统经济可行性分析 5.1 支出 5.2 效益 5.3 收益/投资比 5.4 投资回收周期 5.5 敏感性分析 6 社会因素可行性分析 6.1 法律因素 6.2 用户使用可行性 7 其他可供选择的方案
个人分类: 软件工程|1856 次阅读|0 个评论
信息基本定律:双语处理的基础理论
geneculture 2015-6-1 08:47
1.引言 本文旨在通俗地介绍信息基本定律--广义双语处理的基础理论。 双语有三类:狭义双语,如中英文;另类双语,如术语和俗语;广义双语,如数学语言(算术数字)和自然语言(汉字)。它们均属广义文本。 信息基本定律,包含:A本真信息存在公理,B人机交互定律,和C人际交流定律。 2. 方法 广义双语信息处理的两大类形式化方略,一方面,继承“语言理解、知识表达、模式识别”软件工程方略,另一方面,创造“广义双语、知识本体、双语编程”系统工程方略。 下面重点介绍可操作的三个基本步骤(方法)及其配套的三个模型及其理论依据(结果),涉及宏观微观贯通的两类实例。 步骤1及模型1:笔者提炼的蝴蝶模型。基于统计和基于规则的机译曾设想了中间语,但事实上没有。比较合适的是假设一系列双语对中的一个作为“中介语”。因而关键是双语对的建构。 步骤2及模型2:笔者提炼的“双识”(知识和常识)本体模型。以七个字和一个四面体结合,描绘出整个人类知识体系的顶层设计蓝图——最基本的概念框架和最简练的方法架构。从而在跨学科、跨领域、跨行业的知识细分体系之间架起一道定性分析的“桥梁”。 步骤3及模型3:笔者建构的三类双语信息处理系统即“协同”模型。这是对语言学之父索绪尔的“棋”的比喻和语言哲学之父维特根斯坦“语言游戏”比喻的超越,可称为超级“棋”(超级云)和大跨度的“语言游戏”(具体云)。 在此,棋理即本真信息;棋谱即语文,棋思即用意,棋盘和棋子即物象,对应“语言、知识、软件”三类信息现象。与维特根斯坦的“语言、思想、世界”,胡塞尔及海德格尔的“主体间性、主体性、前主体性”,波普的“三个世界”,以及哲学的“方法论、认识论、本体论”等有异曲同工之妙。 3. 结果 标准化与个性化、多元化、多样化三方面的结合,达到最佳的人机交互效果。 信息基本定律A“序位关系,唯一守恒”; 信息基本定律B“同义并列,对应转换”; 信息基本定律C“同意并列,对应转换”。 模型1的“先解释,再翻译”和模型2的“懂术语,会俗语”,遵循的是定律C,解决语言能力提升和知识深加工问题。 模型3的“超级云,具体云”,遵循的是定律B和A,解决机译质量问题。 广义双语信息处理方法的优点:在三类双语之间,做到“合理分工、优势互补;高度协作、优化互动”。 4. 结论 广义双语信息处理方法可超越强弱两派的人工智能观点,解决自然语言理解问题和高质量的精准机器翻译问题。 三大信息基本定律是“三类双语”协同互译的依据;广义双语信息处理的实现证明了三类双语协同互译机制存在。它们之间是互为因果的关系。 英文版(图1-4) is4is basic law of information .pdf 中文版(全文12页) 86双语信息处理方法及原理.pdf 中文版(作者自己的压缩版) 2829字 信息基本定律:广义双语处理的基础理论.doc
个人分类: 双语信息处理|828 次阅读|2 个评论
从我所遇到的一个软件Bug想到的
liudazhe 2015-4-4 22:10
软件的Bug之存在与否,往往决定产品的性能。怎样发现其呢?有时不遇到具体情况,真的很难发现。 如我遇到的迷你歌词软件之Bug 。具体情况如下, 迷你歌词是一款显示歌曲歌词的软件,它可以成为歌曲播放器的附加程序,支持Winamp、Aimp3、WindowsMediaPlayer等软件,但是问题也源于此。正因为它支持多款歌曲播放器,在只打开一种歌曲播放器时其运行没问题,但若同时打开其支持的多种歌曲播放器,程序就会崩溃。原因是它无法应对不同播放器同时显示歌词的请求。也即, 不同播放器都同时提出 任务请求,但其只能允许执行一个……。 此Bug其实源于设计之逻辑缺陷,但是不去真的体验一把,真的很难发现之。所以,为了减少Bug,应把软件具备的所有功能,列一个清单,挨个考虑或实验一遍(也即真正体验一遍)。否则,很难发现所有Bug……。
个人分类: 电子学研究与随笔|1111 次阅读|0 个评论
地球物理仪器人才培养方案
热度 5 chrujun 2015-2-8 22:51
地球物理仪器人才培养方案 地球物理仪器人才需要跨学科培养,涉及多个学科。 1、地学有关课程 地质学原理 地球物理学 应用地球物理学 环境与工程地球物理学 大地测量学 2、计算机有关课程 计算机原理与结构 操作系统原理 数据结构 软件工程 C语言程序设计 3、电子与电气有关课程 模拟电路 数字电路 信号与系统 数字通信原理 电工学 4、测量有关课程 传感器原理 电子测量原理 测量与仪表 5、地球物理仪器有关课程 地球物理传感器原理 地球物理仪器导论 地球物理仪器设计 6、高级课程 数字信号处理 嵌入式系统设计 可编程逻辑阵列 7、基础课程 大学物理 高等数学 工程数学
个人分类: 教学心得|3755 次阅读|17 个评论
信息基本定律:广义双语处理的基础理论 (作者 邹晓辉)
geneculture 2015-1-20 17:28
【题目】信息基本定律:广义双语处理的基础理论 【作者】邹晓辉Geneculture 【摘要】 本文旨在通俗地介绍信息基本定律。其方法是:通过广义双语信息处理,尤其是通过比较两大类形式化方略,一方面,继承“语言理解、知识表达、模式识别”软件工程方略,另一方面,创造“广义双语、知识本体、双语编程”系统工程方略。其结果是:标准化与个性化、多元化、多样化三方面的结合,达到最佳的人机交互效果。其意义是:基于英文的图灵测试--图灵“可计算性”论题--强人工智能,基于中文的图灵测试--塞尔“中文房间”论题--弱人工智能,这两个极端的论题,均可被视为基于广义双语的图灵测试--晓辉“双字棋盘”论题的两个特例,从而,突显信息基本定律,及其实际应用价值。 【英文题目】 Basic law of information: the fundamental theory of generalized bilingual processing 【英文作者】Xiaohui ZOU,Shunpeng ZOU 【英文摘要】The purpose of this paper is to generally introduce the basic law of information. The method is: the generalized bilingual information processing, especially by comparing the two kinds of formal strategy, on the one hand, inherited language understanding, knowledge representation, pattern recognition software engineering approach, on the other hand, to create generalized bilingual, knowledge ontology, bilingual programming systems engineering strategies. The result: standardization and personalized or diversified combination of three aspects, to achieve the best effect of human-computer interaction. Its significance lies in: the Turing test based on English - Turing computability thesis - strong artificial intelligence, the Turing test based on Chinese - Searle “Chinese room” argument--weak artificial intellignence, the two extremes of thesis, both can be seen as the Turing test based on generalized bilingual - as two exceptions of Xiaohui “double chessboard” thesis, thereby, underline the basic law of information, and its practical application value.
个人分类: 学术研究|833 次阅读|0 个评论
近期关注的软件工程会议
cyber386 2014-9-24 10:22
网站 名称 地点 备注 投稿 日期 通知日期 开 始 结束 IC2E IEEE International Conference on Cloud Engineering USA, Tempe, AZ 2014.09.16 2014.12.05 2015.03.09 2015.03.13 ICSE International Conference on Software Engineering (ICSE) Italy, Firenze CCF A类 2014.09.05 2014.12.10 2015.05.16 2015.05.24 SAC ACM Symposium on Applied Computing (SAC) Spain, Salamanca 2014.09.12 2014.11.17 2015.04.13 2015.04.17 ICSOC International Conference on Service Oriented Computing (ICSOC) Signapore CCF B类 2014.09.30 2014.10.31 2015.01.08 2015.01.09 ETAPS European Joint Conferences on Theory and Practice of Software (ETAPS) London, UK CCF B类 2014.10.10 2014.12.19 2015.04.11 2015.04.18 IPDPS IEEE International Parallel Distributed Processing Symposium (IPDPS) India, Hyderabad CCF B类 2014.10.10 2014.12.22 2015.05.25 2015.05.29 ICST International Conference on Software Testing, Verification, and Validation Austria, Graz 2014.10.24 2014.12.22 2015.04.13 2015.04.17 CCGrid IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid) China, Shenzhen 2014.10.27 2015.01.15 2015.05.04 2015.05.07 WWW International World Wide Web Conferences Italy, Florence 2014.11.03 2015.01.17 2015.05.20 2015.05.22 SOSE Service Oriented Software Engineering San Francisco Bay, USA 2014.11.16 2014.12.21 2015.03.30 2015.04.03 CAiSE Conference on Advanced Information Systems Engineering (CAiSE) Sweden, Stockholm CCF B类 2014.12.01 2015.02.15 2015.06.08 2015.06.12 CLOSER International Conference on Cloud Computing and Services Science Portugal, Lisbon 2014.12.16 2015.03.11 2015.05.20 2015.05.22               ECOOP               European Conference on Object-Oriented Programming Prague, Czech Republic CCF A类 2014.12.21 2015.03.15 2015.07.01 2015.07.05 C OMPSAC International Computer, Software Applications Conference Taiwan, China CCF C类 2015.01.17 2015.03.15 2015.07.01 2015.07.05
3708 次阅读|0 个评论
全生命期软件体系结构建模的新进展 | 《中国科学: 信息科学》
sciencepress 2014-6-20 17:35
随着软件应用范围和程度不断地扩大和深入,软件必须具备更多、更强、更复杂的能力,以应对更加复杂多样的应用需求和环境。软件规模出现了长期性的持续增长,大规模软件的代码行已达到千万甚至亿的数量级。例如, Windows 操作系统的规模从初期( 1995 年)的 1500 万行逐渐增长至 2007 年的 6000 万行; 2011 年宝马 7 系轿车中软件的规模达到 2 亿多行;空客 A380 飞机中软件的规模甚至超过 10 亿行。当软件的规模和复杂性超出开发者和技术所能掌控的范围,就会使得软件在开发效率、成本及质量上无法满足实际需求,这也是当初软件危机产生并一直持续到现在的根本原因。软件工程作为应对软件危机问题而产生的一个研究和实践领域,其核心目标即是实现对软件复杂性的有效建模与控制。 北京大学科研团队将设计阶段高层结构复杂性的控制模型—软件体系结构模型—扩展到整个软件生命周期,提出了一种以体系结构为中心的软件开发方法— ABC 。该方法将软件生命周期各阶段的核心制品与活动,统一到软件体系结构模型及对其连续迭代的细化、映射和转换,实现对软件高层结构复杂性一致、灵活、系统化地建模和管理。关于该研究成果的一篇系统总结性文章发表在 《中国科学:信息科学》 2014 年 44 卷第 5 期,题为“ ABC :一种全生命周期软件体系结构建模方法 ”。主要研究人员包括梅宏、黄罡、张路、张伟。 ABC 方法萌芽于 1999 年, 2003 年形成雏形, 2006 年基本成型,此后又面向互联网软件进行了持续的完善和增强。 ABC 方法的核心思想是将软件体系结构作为系统开发的蓝图引入到软件生命周期的各个阶段,并利用工具支持的自动转换机制缩小从高层设计到实现的距离 , 然后在运行平台的支持下实现自动化的系统生成。为了支持上述过程, ABC 方法实现了特征建模、软件体系结构建模、元建模、构件代码框架生成、服务组装、构件管理、以及构件化软件运行支撑等一系列工具和平台。 ABC 方法和工具已在北京 2008 年奥运会信息系统建模、某军队信息化系统设计与建模、某商业银行信贷风险管理系统开发等项目中得到验证性应用。 作为软件设计阶段的核心制品,软件体系结构一直是软件工程领域的研究重点。与其他研究相比, ABC 方法的特色在于: 1 )将软件体系结构的基本成分设定为“构件”,而不是粒度更小且常常在代码级别进行复杂性控制的“对象”,并且将构件之间的连接子也作为与构件同等地位的一阶实体; 2 )通过约束和连接子对运行支撑平台进行体系结构级别的抽象,以充分利用运行支撑平台的能力来实现性能、可靠、安全等系统级质量需求; 3 )通过同一概念框架将软件体系结构引入需求分析阶段和维护演化阶段,利用不同阶段复杂性之间的内在关联,实现全生命周期的复杂性控制; 4 )揭示了软件体系结构在多个生命周期阶段的若干特性,包括不同类型需求依赖关系间的关系、需求特征模型与软件体系结构之间的基本关系、系统运行时软件体系结构的机理与性质、系统实现与设计间的逆向追踪性质等。 随着云计算、移动互联网、物联网、大数据等以互联网为核心的新一代信息技术的兴起,软件形态发生了显著变化,其复杂性也呈现出新的特点。全生命周期软件体系结构建模以及 ABC 方法在新一代信息技术环境下依然具有其重要的理论和应用价值,但同时也面临着一系列新的挑战和机遇,尤其是在需求建模与知识工程的结合、软件复用与人工智能的结合、以及软件工程云和网络化操作系统的构造等方面,还需要开展进一步的研究工作。 该项研究得到了国家973 计划、863 计划、国家自然科学基金、教育部重大研究计划等各类国家和省部级课题, 以及欧盟第7 框架计划、IBM 大学合作项目、微软大学合作项目等国际合作项目的支持。ABC 方法主体工作“全生命周期软件体系结构建模理论与方法”曾获得2010 年高等学校自然科学一等奖和2012 年国家自然科学二等奖。ABC 方法发表了一系列论文, 曾获ACM SIGSOFT Distinguished Paper, ASE Best Paper Award, CBSE Best Paper Award, ICFI Most Novel DomainAward等多次论文奖, 以及SOCA 和ICSR 等国际会议最佳论文奖提名。 更多详情可见原文 : 梅宏 , 黄罡 , 张路 , 张伟 . ABC :一种全生命周期软件体系结构建模方法 . 中国科学 信息科学 , 2014, 44(5): 564-587. 链接 : http://info.scichina.com:8084/sciF/CN/abstract/abstract514469.shtml
个人分类: 《中国科学》论文|6518 次阅读|0 个评论
书面汉语遵循的棋理(摘要)作者:邹晓辉Geneculture
geneculture 2014-6-10 02:58
书面汉语遵循的棋理 作者 :邹晓辉Geneculture 摘要 本文 旨在 以书面汉语为例论述其遵循的棋理。本研究的 特征 在于:首先,基于对称矩阵建构一个数字和文字之间具有映射关系的双字棋盘,进而,明确地规定计算机系统和自然人用户分别只关注各自熟悉的数字系统和文字系统,最终,我们可从双字棋盘遵循的棋理明白序位关系唯一守恒公理和从人机双语交互界面理解同义并列对应转换法则。其 结果 是:书面汉语直接遵循的棋理被发现。其 意义 是:与之等价的其它书面语言,包括:算术语言、程序语言和书面英语等各种外语,都可通过三类双语的相互转换而间接地遵循该棋理。 三类双语 特指:算术和语文两类狭义双语及其结合构成的广义双语乃至它们以专用术语和通用俗语的方式构成的另类双语。 关键词 :自然语言理解;知识系统工程; 双语信息处理; 机器翻译软件
个人分类: 双语信息处理|1107 次阅读|0 个评论
一个前所未有的问题_邹晓辉Geneculture_新浪博客.htm
geneculture 2014-6-8 09:09
融智实践所述的三类双语信息处理技艺涉及的 自然语言理解 人类知识表达 软件模式识别 是从三个角度 看同一个事情。 因此,仅从自然语言理解看, 就涉及 一个前所未有的问题: 语用学所研究的人理解一个句子、一个词组以及一个单词乃至一个汉字都不是单凭语法和语义以及词汇和字典所能解决的问题, 还要运用大量的相关知识,包括日常生活通用的知识和各个领域专用的知识,这些知识无法全部都贮存在计算机和人的大脑里, 因此,这就提出了一个前所未有的问题,即: 如何才能做到 人机协同一道来 集 人类知识信息处理与计算机数据信息处理之 大成? 相关背景知识请见以下附录! 附录1:自然语言理解 http://baike.sogou.com/v51401303.htm 附录2:知识工程(包含:知识获取、知识表达和知识重用) http://baike.sogou.com/v1717039.htm 附录3:模式识别 http://baike.sogou.com/v107882.htm http://blog.sina.com.cn/s/articlelist_1696169363_0_1.html http://blog.sina.com.cn/s/blog_65197d930101fang.html
个人分类: 双语信息处理|1275 次阅读|0 个评论
2014年高考填报志愿的建议
libing 2014-5-29 15:19
2014高考在即,相应的高考志愿填报、选专业、挑学校成了家长和学生焦灼之事。自己在大学当老师,每年这个时候经常会有朋友问我,孩子如何填报志愿,我都会尽量给予帮助。今年遇到一家报纸做高考指南特刊,邮件对我采访,我也做了一个回答,发在这里仅供有需要的家长和孩子们参考,希望同仁们也发表一些意见,而不至于被我误导哦~ 1。现在流行什么专业,哪些大的科研成果将点燃一些专业(特别是在计算机领域),未来可能会激活哪些专业? 信息科技是人类科技发展的最前沿,是所有新兴科技的基础和先导。目前最新的云(计算)、移(动互联网)、大(数据)、物联网、智(慧城市)都与信息科技相关,信息科技相关的专业如计算机、软件工程、通信工程、电子信息等都一直是理工科的热门专业,也是未来需求持续旺盛的专业。这些专业在美欧等发达国家也是就业最容易的专业。 2、梳理过去一段时间的新闻热点,马航失联事件、嫦娥三号发射、雾霾席卷华北、转基因之争等,催热了一批专业,比如航电、航空发动机等等,可否结合您的专业领域,为我们解读一下,这些热点新闻事件背后的专业,听起来,和真正学起来是否一样,其中会有哪些差异,又有哪些值得报考者注意的地方? 马航失联事件、嫦娥三号发射主要与空间信息、航空航天等专业有关, 雾霾与资源环境、环保工程等领域有关,转基因是生物工程。这些专业虽然热门,但是也要注意到,航空航天、基因工程是很尖端的领域,从业人员的数量需求不会非常大,造飞机的绝对没有造汽车多。航空航天和基因工程非常重要,是国家重大战略需求,如果有志于进行这方面的科学研究,可以报考,但是如果单纯从就业考虑,还是要慎重。 3、根据您所在的专业领域,可否解读一下,基础学科和这些新闻热点事件中科技应用的联系?比如马航事件,涉及黑匣子搜寻仪、潜水机器人、旁侧声呐、磁力仪、海事卫星、高分一号、蛟龙号,而嫦娥发射又涉及遥操作、地面仿真系统、导向相机、数字仿真系统等,这些看上去已经打包了的科技应用,实际上涵盖了哪些基础学科,和计算机这一看似八竿子打不着的专业又有什么关系,可否具体说说。 基础学科一般是数理化生等学科,这些学科是培养从事科学研究为主的人才,所谓科学研究主要指的是科学发现,通过研究现象发现规律、机理,比如量子科学、新物质、新能源、复杂性科学等。而问题列举的热点主要涉及到技术层面,也就是科学研究成果的应用,比如深空、深海的探测,和材料、控制、机械、 电子 、动力等专业有关,这些专业在学科上属于应用基础学科,偏向于技术。 前面讲了,计算机是 基础性和先导性的学科,对于问题中列举的内容,首先,这些设备中一定离不开计算机,目前的这些设备都是数字化了,所谓数字化,就是使用了大量的微处理器,也就是常说的嵌入式计算机,一辆汽车中有超过150个微处理器,那么一颗卫星中有多少?其次,在设计和生产这些设备的过程中,也会大量用到计算机,见过现在还有谁用手绘设计图吗?另外,这些设备产生的数据,必须使用计算机才能加工与处理。 3、根据您的了解,航空、航天或是环境治理、基因研究等领域的科技从业者,他们在高校院校学习期间,是学习基础学科的多,比如计算机、物理、数学,还是像航空、自动化这些听起来偏应用基础的学科多一些?两者各自的优势又分别在哪? 现在高校培养人才,一般都会考虑到学生的就业问题,开设课程的基础性和应用性都有侧重,即所谓 “厚基础、宽口径、强能力、高素质”, 归结起来实质就是知识、能力和素质3个方面的要求。 作为人才的基本能力结构主要包括:获取新知识能力、科学思维能力、综合创新能力、适应应变能力(社交语言表达等)、工作实践能力(操作、动手、写作等)、组织管理能力、自我决策能力等。 人才的基本素质结构主要包括思想道德素质、文化素质、业务素质、身体素质和心理素质等。大学课程的学习,则主要是建立一个科学合理的基本知识结构。 同时,要树立终身学习的概念,上过大学和没上过大学有什么不同?关键在于上述几个结构的构筑,这些结构搭建好了,及时未来的工作与所学专业不相关,也能够通过快速的学习和训练适应工作要求。 因此,从学科内容来讲,这两者无所谓优势或劣势,关键还是在于学生自己的兴趣和爱好。 4、李政道有种说法是,基础学科、高科技和高科技产业就像水、鱼和鱼市场:一个国家没有基础学科,就没有高科技和高科技产业,就如没有水,就没有鱼和鱼市场一样。也有种看法是,本科时学习一些基础学科,能够打下更好的学术底色,至于偏应用的知识可待进一步深造时再做学习,您怎么看? 李政道先生的话当然是正确的,对于国家,基础学科不可或缺。但是,具体到个人,就需要根据自己的兴趣与情况具体分析。如果急于通过大学学习后去就业,那么不建议选择数理化生等基础学科,因为,基础科学主要是研究型的,以科学研究发现为目标,这方面的人才需要较长时间的学习和培养。但是,基础科学的 学习 ,的确可以为将来的发展打下良好基础。数学专业毕业,如果不想当数学家,还可以去学计算机,老一辈计算机科学家中很多人都是原来数学专业转行过来的;物理专业毕业,如果不想当物理学家,还可以去学电子信息等。至于自动化,实际上并没有自动化这个专业,一定是和某个领域结合的,比如电气自动化、机械自动化等,自动化的一级学科是控制科学与工程。 5、从中国科协前段公布的2012~2013年学科进展情况来看,过去一年,许多重大科技新突破均源自学科之间的综合交叉融合。在您看来,这给高学生报考专业和院校带来什么启示? 重大科技新突破,一般都是比较前沿性的问题。学科交叉融合是形成新的研究生长点和突破的重要途径,但是对于本科生而言,还是应该打好基础。对于高校而言,不应该依靠专业名称的新奇去吸引眼球,实际上这些专业学生的就业都会遇到困难。这种所谓交叉专业,一般每样学一点,但是都不如原专业扎实,其实很尴尬。比如信息科学这个专业,学一点数学,也学一点计算机,听起来专业名字很高大上,其实既没有数学的学生学得扎实,也没有计算机的学生学得深入,出去找工作,一般会说自己是学计算机的。 6、接着第5个问题里的说法,有个例子是嫦娥三号实现月面软着陆,空间科学取得的重大成果立足于空间天文学、空间物理学、空间化学、空间生命科学、航天心理学、材料科学、微重力学、气象学、大气科学、遥感技术等基础研究和应用研究方面取得的重大进展,得益于众多学科的综合进步。 您可否介绍一下,在目前的本科阶段,涉及交叉学科的专业多吗? 这个问题应该反过来看,并没有所谓的空间科学,而是因为人类文明正处于从地球走向太空的阶段,所有的科学技术都面临太空这个新环境的挑战。 所以,并不是交叉学科,而是 天文学、物理学、化学、生命科学、心理学、材料科学、微重力学、气象学、大气科学、遥感技术这些科学在人类步入太空的过程中都有新的发展。 7、有种说法是“传统课程设置难培养新兴交叉人才”,就目前情况来看,您认为选择什么样的专业能尽可能地避免这种问题? 培养“新兴交叉人才”的目标是什么?培养模式又是什么?实际上,并不存在专门的“ 新兴交叉人才”培养。目前的大学课程设置和教学模式的确应该改革, 大学本科阶段应该多开设一些课程,让学生有充分的自主选择权,学工科可以去学人文课程,学理科的可以去选修艺术课程,这样可以丰富学生的知识结构,同时也会潜移默化地提高学生的能力和素质。这样,每一个学生都可能成为 “ 新兴交叉人才”。 8.理工科选专业应该注意哪些问题? 这个问题太大,一般还是首先征求孩子的意见,尊重孩子的兴趣和爱好。其次,可以选择这个学科办得比较好的院校报考,比如武汉大学的遥感信息、软件工程,华中科技大学的光电子、机械制造,都是大家耳熟能详的,无论就业还是将来深造都有条件。再比如江南大学和南昌大学一起联合建立了一个 食品科学与技术国家重点实验室,这两个学校的 食品科学专业就比较有优势,民以食为天。国家现在对于食品安全又非常重视,将来的发展应该不错。 9、就您所在领域能不能谈一谈对于高考填报志愿的建议? 我是软件工程专业,“软件工程”原来是“计算机科学与技术”学科下属的一个学科,2012年调整为一级学科,与“计算机科学与技术”并列。 “软件工程”涉及软件产业、信息产业和现代服务业,代表未来社会产业发展方向。软件工程师在规模上已大大超过了硬件工程师,二者的比例几乎达到20:1,目前我国高等院校计算机相关专业约有95%的学生毕业后从事软件开发与服务工作。未来5年内,每年仅国内市场在软件相关行业上的人才需求就高达80万,据估算其中高端软件人才缺口达20万。2003年左右,国家在全国重点大学开设了37所软件学院,10余年来已累计为国家输送了4万多名软件工程专业的毕业生,整体就业率达到98%以上。 武汉大学具有国内唯一的软件工程国家重点实验室,并建有多媒体软件国家工程中心,在软件工程学科的基础研究和应用研究上具有一定的优势。武汉大学的国际软件学院 是教育部、国家计委首批批准成立的国家示范性软件学院, 是武汉大学本科专业国际化试点基地,注重 培养具有国际竞争能力的高层次软件人才。学院按国际通行办学模式组织教学活动,培养方案与国际著名大学接轨,专业课全部引进国外著名大学课程并使用英文原版教材,三分之一的专业课聘请国外教师授课。学生不出国,在学院就能享受到国外著名大学的优质教育资源。 引进国内外著名IT企业对学生进行IT项目实战训练,与微软(中国)、IBM(中国)、东软集团、中软国际、深圳易思博等多家企业建立了合作关系,让学生“真枪实战”,极大地培养了学生的实践与创新能力。同时,学院还引进了IBM公司的DB2、Websphere;Microsoft公司的MCSD、MCDBA、MCSE;SUN公司的SCJP;Oracle公司的OCP、DBA;Cisco公司的CCNA、CCNP等认证课程供学生选修,并计入学分,鼓励学生在获得学位的同时,也能获得世界一流软件公司的认证资格。欢迎同学们报考。
个人分类: 人文关怀|4445 次阅读|0 个评论
2013年SCI收录软件工程学科期刊106种目录
wanyuehua 2013-9-22 09:20
2013 年 SCIE 收录软件工程期刊 106 种,其中 SCI 收录 27 种。 2012 年 JCR 收录软件工程期刊 105 种,其中影响因子 10 以上有 1 种、影响因子 3 以上有 1 种、影响因子 2 以上有 9 种、影响因子 1 以上有 43 种, 2012 年软件工程期刊影响因子前 5 名期刊如下: 1、 ACM TRANSACTIONS ON GRAPHICS 《美国计算机学会图形学汇刊》 Bimonthly ISSN: 0730-0301 , 2012 年影响因 3.361 、 5 年影响因子 4.283 2、 SIAM JOURNAL ON IMAGING SCIENCES 《工业与应用数学会成像科学杂志》 Quarterly ISSN: 1936-4954 , 2012 年影响因 2.966 、 5 年影响因子 5.503 3、 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 《 IEEE 软件工程汇刊》 Bimonthly ISSN: 0098-5589 , 2012 年影响因 2.588 、 5 年影响因子 3.371 4、 COMMUNICATIONS OF THE ACM 《美国计算机学会通讯》 Monthly ISSN: 0001-0782 , 2012 年影响因 2.511 、 5 年影响因子 2.564 5、 IEEE TRANSACTIONS ON SERVICES COMPUTING 《 IEEE 服务计算汇刊》 Quarterly ISSN: 1939-1374 , 2012 年影响因 2.460 、没有 5 年影响因子 2013 年 SCI 收录软件工程学科期刊 106 种目录 SCIENCE CITATION INDEX EXPANDED COMPUTER SCIENCE, SOFTWARE ENGINEERING - JOURNAL LIST Total journals: 106 1. ACM SIGPLAN NOTICES 《美国计算机学会程序设计语言专业组通讯》 Monthly ISSN: 0362-1340 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index Expanded 2. ACM TRANSACTIONS ON APPLIED PERCEPTION 《美国计算机学会应用感知汇刊》 Quarterly ISSN: 1544-3558 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index Expanded 3. ACM TRANSACTIONS ON DATABASE SYSTEMS 《美国计算机学会数据库系统汇刊》 Quarterly ISSN: 0362-5915 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index 2. Science Citation Index Expanded 4. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS 《美国计算机学会电子系统自动化设计汇刊》 Quarterly ISSN: 1084-4309 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index Expanded 5. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 《美国计算机学会嵌入式计算系统汇刊》 Quarterly ISSN: 1539-9087 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index Expanded 6. ACM TRANSACTIONS ON GRAPHICS 《美国计算机学会图形学汇刊》 Bimonthly ISSN: 0730-0301 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index 2. Science Citation Index Expanded 7. ACM TRANSACTIONS ON INTERNET TECHNOLOGY 《美国计算机学会互联网技术汇刊》 Quarterly ISSN: 1533-5399 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index Expanded 8. ACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA 《美国计算机学会数据知识发现汇刊》 Quarterly ISSN: 1556-4681 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index Expanded 9. ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE 《美国计算机学会数学软件汇刊》 Quarterly ISSN: 0098-3500 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index 2. Science Citation Index Expanded 10. ACM TRANSACTIONS ON MULTIMEDIA COMPUTING COMMUNICATIONS AND APPLICATIONS 《美国计算机学会多媒体计算通信应用汇刊》 Quarterly ISSN: 1551-6857 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index Expanded 11. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 《美国计算机学会程序设计语言与系统汇刊》 Bimonthly ISSN: 0164-0925 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index 2. Science Citation Index Expanded 12. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 《美国计算机学会软件工程与方法论汇刊》 Quarterly ISSN: 1049-331X ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index 2. Science Citation Index Expanded 13. ACM TRANSACTIONS ON STORAGE 《美国计算机学会存储汇刊》 Quarterly ISSN: 1553-3077 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index Expanded 14. ACM TRANSACTIONS ON THE WEB 《美国计算机学会网络汇刊》 Quarterly ISSN: 1559-1131 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index Expanded 15. ADVANCES IN COMPUTERS 《计算机进展》 Annual ISSN: 0065-2458 ELSEVIER ACADEMIC PRESS INC, 525 B STREET, SUITE 1900, SAN DIEGO, USA , CA, 92101-4495 1. Science Citation Index Expanded 16. ADVANCES IN ENGINEERING SOFTWARE 《工程软件进展》 Monthly ISSN: 0965-9978 ELSEVIER SCI LTD, THE BOULEVARD, LANGFORD LANE, KIDLINGTON, OXFORD, ENGLAND , OXON, OX5 1GB 1. Science Citation Index Expanded 17. ALGORITHMICA 《算法》 Monthly ISSN: 0178-4617 SPRINGER, 233 SPRING ST, NEW YORK, USA , NY, 10013 1. Science Citation Index 2. Science Citation Index Expanded 18. AUTOMATED SOFTWARE ENGINEERING 《自动软件工程》 Quarterly ISSN: 0928-8910 SPRINGER, 233 SPRING ST, NEW YORK, USA , NY, 10013 1. Science Citation Index Expanded 19. BIT NUMERICAL MATHEMATICS 《 BIT 数值数学》 Quarterly ISSN: 0006-3835 SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS , 3311 GZ 1. Science Citation Index 2. Science Citation Index Expanded 20. COMMUNICATIONS OF THE ACM 《美国计算机学会通讯》 Monthly ISSN: 0001-0782 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index 2. Science Citation Index Expanded 21. COMPUTER 《 IEEE 计算机杂志》 Monthly ISSN: 0018-9162 IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, USA, CA, 90720-1314 1. Science Citation Index 2. Science Citation Index Expanded 22. COMPUTER AIDED GEOMETRIC DESIGN 《 计算机辅助几何设计》 Monthly ISSN: 0167-8396 ELSEVIER SCIENCE BV , PO BOX 211, AMSTERDAM, NETHERLANDS , 1000 AE 1. Science Citation Index 2. Science Citation Index Expanded 23. COMPUTER ANIMATION AND VIRTUAL WORLDS 《计算机动画与虚拟世界》 Bimonthly ISSN: 1546-4261 WILEY-BLACKWELL, 111 RIVER ST, HOBOKEN, USA , NJ, 07030-5774 1. Science Citation Index 2. Science Citation Index Expanded 24. COMPUTER GRAPHICS FORUM 《计算机图形学论坛》 Bimonthly ISSN: 0167-7055 WILEY-BLACKWELL, 111 RIVER ST, HOBOKEN, USA , NJ, 07030-5774 1. Science Citation Index Expanded 25. COMPUTER GRAPHICS WORLD 《计算机图形世界》 Monthly ISSN: 0271-4159 COMPUTER GRAPHICS WORLD, 620 WEST ELK AVENUE, GLENDALE, USA , CA, 91204 1. Science Citation Index Expanded 26. COMPUTER JOURNAL 《计算机杂志》 Bimonthly ISSN: 0010-4620 OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND , OX2 6DP 1. Science Citation Index Expanded 27. COMPUTER LANGUAGES SYSTEMS STRUCTURES 《计算机语言、系统与结构》 Quarterly ISSN: 1477-8424 PERGAMON-ELSEVIER SCIENCE LTD, THE BOULEVARD, LANGFORD LANE, KIDLINGTON, OXFORD, ENGLAND , OX5 1GB 1. Science Citation Index Expanded 28. COMPUTER SCIENCE AND INFORMATION SYSTEMS 《计算机科学与信息系统》 Semiannual ISSN: 1820-0214 COMSIS CONSORTIUM, UNIV NOVI SAD, FAC TECH SCI, TRG DOSITEJA OBRADOVICA 6, NOVI SAD, SERBIA, 21000 1. Science Citation Index Expanded 29. COMPUTER STANDARDS INTERFACES 《计算机标准和接口》 Bimonthly ISSN: 0920-5489 ELSEVIER SCIENCE BV , PO BOX 211, AMSTERDAM, NETHERLANDS , 1000 AE 1. Science Citation Index Expanded 30. COMPUTER-AIDED DESIGN 《计算机辅助设计》 Monthly ISSN: 0010-4485 ELSEVIER SCI LTD, THE BOULEVARD, LANGFORD LANE, KIDLINGTON, OXFORD, ENGLAND , OXON, OX5 1GB 1. Science Citation Index 2. Science Citation Index Expanded 31. COMPUTERS GRAPHICS-UK 《计算机与图形学》 Bimonthly ISSN: 0097-8493 PERGAMON-ELSEVIER SCIENCE LTD, THE BOULEVARD, LANGFORD LANE, KIDLINGTON, OXFORD, ENGLAND , OX5 1GB 1. Science Citation Index Expanded 32. CONCURRENCY AND COMPUTATION-PRACTICE EXPERIENCE 《并行学和计算:实践与经验》 Semimonthly ISSN: 1532-0626 WILEY-BLACKWELL, 111 RIVER ST, HOBOKEN, USA , NJ, 07030-5774 1. Science Citation Index Expanded 33. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS 《嵌入系统设计自动化》 Quarterly ISSN: 0929-5585 SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS , 3311 GZ 1. Science Citation Index Expanded 34. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE 《 离散数学和理论计算机科学 》 Quarterly ISSN: 1462-7264 DISCRETE MATHEMATICS THEORETICAL COMPUTER SCIENCE, 62 RUE DU CARDINAL MATHIEU, NANCY, FRANCE , F-54000 1. Science Citation Index Expanded 35. EMPIRICAL SOFTWARE ENGINEERING 《经验软件工程》 Quarterly ISSN: 1382-3256 SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS , 3311 GZ 1. Science Citation Index Expanded 36. FORMAL ASPECTS OF COMPUTING 《计算形式问题》 Quarterly ISSN: 0934-5043 SPRINGER, 233 SPRING ST, NEW YORK, USA , NY, 10013 1. Science Citation Index Expanded 37. FRONTIERS OF COMPUTER SCIENCE 《中国计算机科学前沿》 Quarterly ISSN: 2095-2228 HIGHER EDUCATION PRESS, SHATANHOU ST 55, BEIJING, PEOPLES R CHINA , 100009 1. Science Citation Index Expanded 38. FUNDAMENTA INFORMATICAE 《信息科学基础》 Monthly ISSN: 0169-2968 IOS PRESS, NIEUWE HEMWEG 6B, AMSTERDAM, NETHERLANDS , 1013 BG 1. Science Citation Index Expanded 39. GRAPHICAL MODELS 《制图模型》 Bimonthly ISSN: 1524-0703 ACADEMIC PRESS INC ELSEVIER SCIENCE, 525 B ST, STE 1900, SAN DIEGO, USA , CA, 92101-4495 1. Science Citation Index 2. Science Citation Index Expanded 40. IBM JOURNAL OF RESEARCH AND DEVELOPMENT 《国际商用机器公司研究与开发杂志》 Bimonthly ISSN: 0018-8646 IBM CORP, 1 NEW ORCHARD ROAD, ARMONK, USA , NY, 10504 1. Science Citation Index 2. Science Citation Index Expanded 41. ICGA JOURNAL 《国际计算机游戏协会杂志》 Quarterly ISSN: 1389-6911 UNIV MAASTRICHT FACULTY GENERAL SCIENCES, DEPT COMPUTER SCIENCES/IKAT, PO BOX 616, MAASTRICHT, NETHERLANDS , 6200 MD 1. Science Citation Index Expanded 42. IEEE COMPUTER GRAPHICS AND APPLICATIONS 《 IEEE 计算机图示与应用杂志》 Bimonthly ISSN: 0272-1716 IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, USA, CA, 90720-1314 1. Science Citation Index 2. Science Citation Index Expanded 43. IEEE INTERNET COMPUTING 《 IEEE 互 联网计算杂志》 Bimonthly ISSN: 1089-7801 IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, USA, CA, 90720-1314 1. Science Citation Index Expanded 44. IEEE MICRO 《 IEEE 微机》 Bimonthly ISSN: 0272-1732 IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, USA, CA, 90720-1314 1. Science Citation Index 2. Science Citation Index Expanded 45. IEEE MULTIMEDIA 《 IEEE 多媒体》 Quarterly ISSN: 1070-986X IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, USA, CA, 90720-1314 1. Science Citation Index 2. Science Citation Index Expanded 46. IEEE SECURITY PRIVACY 《 IEEE 安全与保密杂志》 Bimonthly ISSN: 1540-7993 IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, USA, CA, 90720-1314 1. Science Citation Index Expanded 47. IEEE SOFTWARE 《 IEEE 软件》 Bimonthly ISSN: 0740-7459 IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, USA, CA, 90720-1314 1. Science Citation Index 2. Science Citation Index Expanded 48. IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES 《 IEEE 游戏中的计算智能与人工智能汇刊》 Quarterly ISSN: 1943-068X IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 445 HOES LANE, PISCATAWAY, USA , NJ, 08855-4141 1. Science Citation Index Expanded 49. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 《 IEEE 可靠与安全计算汇刊》 Bimonthly ISSN: 1545-5971 IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, USA, CA, 90720-1314 1. Science Citation Index Expanded 50. IEEE TRANSACTIONS ON MULTIMEDIA 《 IEEE 多媒体汇刊》 Quarterly ISSN: 1520-9210 IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 445 HOES LANE, PISCATAWAY, USA , NJ, 08855-4141 1. Science Citation Index Expanded 51. IEEE TRANSACTIONS ON RELIABILITY 《 IEEE 可靠性汇刊》 Quarterly ISSN: 0018-9529 IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 445 HOES LANE, PISCATAWAY, USA , NJ, 08855-4141 1. Science Citation Index Expanded 52. IEEE TRANSACTIONS ON SERVICES COMPUTING 《 IEEE 服务计算汇刊》 Quarterly ISSN: 1939-1374 IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, USA, CA, 90720-1314 1. Science Citation Index Expanded 53. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 《 IEEE 软件工程汇刊》 Bimonthly ISSN: 0098-5589 IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, USA, CA, 90720-1314 1. Science Citation Index 2. Science Citation Index Expanded 54. IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS 《 IEEE 可视化与计算机图示汇刊》 Quarterly ISSN: 1077-2626 IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, USA, CA, 90720-1314 1. Science Citation Index 2. Science Citation Index Expanded 55. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 《日本电子情报通信学会汇刊》( 《日本电子情报通信学会信息与系统汇刊》 Monthly ISSN: 0916-8532 IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, KIKAI-SHINKO-KAIKAN BLDG MINATO-KU SHIBAKOEN 3 CHOME, TOKYO, JAPAN , 105 1. Science Citation Index Expanded 56. IET SOFTWARE 《 IET 软件》 Bimonthly ISSN: 1751-8806 INST ENGINEERING TECHNOLOGY-IET, MICHAEL FARADAY HOUSE SIX HILLS WAY STEVENAGE, HERTFORD, ENGLAND, SG1 2AY 1. Science Citation Index Expanded 57. IMAGE AND VISION COMPUTING 《图像与视觉计算》 Monthly ISSN: 0262-8856 ELSEVIER SCIENCE BV , PO BOX 211, AMSTERDAM, NETHERLANDS , 1000 AE 1. Science Citation Index 2. Science Citation Index Expanded 58. INFORMATION AND SOFTWARE TECHNOLOGY 《信息与软件技术》 Monthly ISSN: 0950-5849 ELSEVIER SCIENCE BV , PO BOX 211, AMSTERDAM, NETHERLANDS , 1000 AE 1. Science Citation Index Expanded 59. INFORMATION VISUALIZATION 《信息可视化》 Quarterly ISSN: 1473-8716 SAGE PUBLICATIONS LTD, 1 OLIVERS YARD, 55 CITY ROAD, LONDON, ENGLAND , EC1Y 1SP 1. Science Citation Index Expanded 60. INTERNATIONAL JOURNAL OF DATA WAREHOUSING AND MINING 《国际数据仓储与回采杂志》 Quarterly ISSN: 1548-3924 IGI PUBL, 701 E CHOCOLATE AVE, STE 200, HERSHEY, USA , PA, 17033-1240 1. Science Citation Index Expanded 61. INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE 《国际电子商务杂志》 Quarterly ISSN: 1086-4415 M E SHARPE INC, 80 BUSINESS PARK DR, ARMONK, USA , NY, 10504 1. Science Citation Index Expanded 2. Social Sciences Citation Index 62. INTERNATIONAL JOURNAL OF INFORMATION SECURITY 《国际信息安全杂志》 Bimonthly ISSN: 1615-5262 SPRINGER, 233 SPRING ST, NEW YORK, USA , NY, 10013 1. Science Citation Index Expanded 63. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 《国际软件工程与知识工程杂志》 Bimonthly ISSN: 0218-1940 WORLD SCIENTIFIC PUBL CO PTE LTD, 5 TOH TUCK LINK, SINGAPORE , SINGAPORE , 596224 1. Science Citation Index Expanded 64. INTERNATIONAL JOURNAL OF WAVELETS MULTIRESOLUTION AND INFORMATION PROCESSING 《国际子波、多分解与信息处理杂志》 Bimonthly ISSN: 0219-6913 WORLD SCIENTIFIC PUBL CO PTE LTD, 5 TOH TUCK LINK, SINGAPORE , SINGAPORE , 596224 1. Science Citation Index Expanded 65. INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES 《国际网络与网格服务杂志》 Quarterly ISSN: 1741-1106 INDERSCIENCE ENTERPRISES LTD, WORLD TRADE CENTER BLDG, 29 ROUTE DE PRE-BOIS, CASE POSTALE 856, GENEVA, SWITZERLAND , CH-1215 1. Science Citation Index Expanded 66. INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH 《国际网络服务研究杂志》 Quarterly ISSN: 1545-7362 IGI PUBL, 701 E CHOCOLATE AVE, STE 200, HERSHEY, USA , PA, 17033-1240 1. Science Citation Index Expanded 67. IT PROFESSIONAL 《 IEEE 信息技术专业杂志》 Bimonthly ISSN: 1520-9202 IEEE COMPUTER SOC, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, USA, CA, 90720-1314 1. Science Citation Index Expanded 68. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 《计算机 科学技术学报》 中国 Bimonthly ISSN: 1000-9000 SCIENCE PRESS, 16 DONGHUANGCHENGGEN NORTH ST, BEIJING, PEOPLES R CHINA , 100717 1. Science Citation Index Expanded 69. JOURNAL OF DATABASE MANAGEMENT 《数据库管理杂志》 Quarterly ISSN: 1063-8016 IGI PUBL, 701 E CHOCOLATE AVE, STE 200, HERSHEY, USA , PA, 17033-1240 1. Science Citation Index Expanded 70. JOURNAL OF FUNCTIONAL PROGRAMMING 《功能程序设计杂志》 Bimonthly ISSN: 0956-7968 CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS , NEW YORK, USA , NY, 10013-2473 1. Science Citation Index Expanded 71. JOURNAL OF MATHEMATICAL IMAGING AND VISION 《数学成像与显示杂志》 Monthly ISSN: 0924-9907 SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS , 3311 GZ 1. Science Citation Index 2. Science Citation Index Expanded 72. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS 《网络与计算机应用杂志》 Bimonthly ISSN: 1084-8045 ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 24-28 OVAL RD, LONDON, ENGLAND , NW1 7DX 1. Science Citation Index Expanded 73. JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY 《信息技术研究与 实践杂志》 Quarterly ISSN: 1443-458X AUSTRALIAN COMPUTER SOC INC, PO BOX Q534, QVB POST OFFICE, SYDNEY, AUSTRALIA, NSW, 1230 1. Science Citation Index Expanded 74. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS 《软件杂志:发展和进程》 Bimonthly ISSN: 2047-7473 WILEY-BLACKWELL, 111 RIVER ST, HOBOKEN, USA , NJ, 07030-5774 1. Science Citation Index Expanded 75. JOURNAL OF SYSTEMS AND SOFTWARE 《系统与软件杂志》 Monthly ISSN: 0164-1212 ELSEVIER SCIENCE INC, 360 PARK AVE SOUTH, NEW YORK, USA , NY, 10010-1710 1. Science Citation Index Expanded 76. JOURNAL OF SYSTEMS ARCHITECTURE 《系统结构杂志》 Monthly ISSN: 1383-7621 ELSEVIER SCIENCE BV , PO BOX 211, AMSTERDAM, NETHERLANDS , 1000 AE 1. Science Citation Index Expanded 77. JOURNAL OF THE ACM 《美国计算机学会志》 Bimonthly ISSN: 0004-5411 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index 2. Science Citation Index Expanded 78. JOURNAL OF UNIVERSAL COMPUTER SCIENCE 《 通用计算机科学杂志》 Monthly ISSN: 0948-695X GRAZ UNIV TECHNOLGOY, INST INFORMATION SYSTEMS COMPUTER MEDIA-IICM, INFFELDGASSE 16C, GRAZ, AUSTRIA , A-8010 1. Science Citation Index Expanded 79. JOURNAL OF VISUAL COMMUNICATION AND IMAGE REPRESENTATION 《可视通信与图像显示杂志》 Bimonthly ISSN: 1047-3203 ACADEMIC PRESS INC ELSEVIER SCIENCE, 525 B ST, STE 1900, SAN DIEGO, USA , CA, 92101-4495 1. Science Citation Index Expanded 80. JOURNAL OF VISUAL LANGUAGES AND COMPUTING 《视觉语言与计算杂志》 Bimonthly ISSN: 1045-926X ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 24-28 OVAL RD, LONDON, ENGLAND , NW1 7DX 1. Science Citation Index 2. Science Citation Index Expanded 81. JOURNAL OF WEB ENGINEERING 《网络工程杂志》 Quarterly ISSN: 1540-9589 RINTON PRESS, INC, 565 EDMUND TERRACE, PARAMUS, USA , NJ, 07652 1. Science Citation Index Expanded 82. JOURNAL OF WEB SEMANTICS 《网络符号学》 Quarterly ISSN: 1570-8268 ELSEVIER SCIENCE BV , PO BOX 211, AMSTERDAM, NETHERLANDS , 1000 AE 1. Science Citation Index Expanded 83. JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE C-COMPUTERS ELECTRONICS 《浙江大学学报,C辑:计算机与电子》 Monthly ISSN: 1869-1951 ZHEJIANG UNIV, EDITORIAL BOARD, 20 YUGU RD, HANGZHOU, PEOPLES R CHINA , 310027 1. Science Citation Index Expanded 84. MATHEMATICAL AND COMPUTER MODELLING 《数学与计算机模型建立》 Monthly ISSN: 0895-7177 PERGAMON-ELSEVIER SCIENCE LTD, THE BOULEVARD, LANGFORD LANE, KIDLINGTON, OXFORD, ENGLAND , OX5 1GB 1. Science Citation Index Expanded 85. MATHEMATICAL PROGRAMMING 《数学规划》 Monthly ISSN: 0025-5610 SPRINGER, 233 SPRING ST, NEW YORK, USA , NY, 10013 1. Science Citation Index 2. Science Citation Index Expanded 86. MATHEMATICS AND COMPUTERS IN SIMULATION 《系统模拟中的数学与计算机》 Monthly ISSN: 0378-4754 ELSEVIER SCIENCE BV , PO BOX 211, AMSTERDAM, NETHERLANDS , 1000 AE 1. Science Citation Index Expanded 87. MULTIMEDIA TOOLS AND APPLICATIONS 《多媒体工具和应用》 Monthly ISSN: 1380-7501 SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS , 3311 GZ 1. Science Citation Index Expanded 88. OPTIMIZATION METHODS SOFTWARE 《最优化方法与软件》 Bimonthly ISSN: 1055-6788 TAYLOR FRANCIS LTD, 4 PARK SQUARE, MILTON PARK, ABINGDON, ENGLAND, OXON, OX14 4RN 1. Science Citation Index Expanded 89. PRESENCE-TELEOPERATORS AND VIRTUAL ENVIRONMENTS 《存在;远程操作设备与虚拟环境》 Bimonthly ISSN: 1054-7460 MIT PRESS, 55 HAYWARD STREET, CAMBRIDGE, USA , MA, 02142 1. Science Citation Index 2. Science Citation Index Expanded 90. PROGRAMMING AND COMPUTER SOFTWARE 《程序设计与计算机软件》 Bimonthly ISSN: 0361-7688 MAIK NAUKA/INTERPERIODICA/SPRINGER, 233 SPRING ST, NEW YORK, USA , NY, 10013-1578 1. Science Citation Index Expanded 91. RANDOM STRUCTURES ALGORITHMS 《随机结构和算法》 Bimonthly ISSN: 1042-9832 WILEY-BLACKWELL, 111 RIVER ST, HOBOKEN, USA , NJ, 07030-5774 1. Science Citation Index 2. Science Citation Index Expanded 92. REQUIREMENTS ENGINEERING 《需求工程》 Quarterly ISSN: 0947-3602 SPRINGER, 233 SPRING ST, NEW YORK, USA , NY, 10013 1. Science Citation Index Expanded 93. SCIENCE OF COMPUTER PROGRAMMING 《计算机程序设计科学》 Monthly ISSN: 0167-6423 ELSEVIER SCIENCE BV , PO BOX 211, AMSTERDAM, NETHERLANDS , 1000 AE 1. Science Citation Index Expanded 94. SCIENTIFIC PROGRAMMING 《科学程序设计》 Quarterly ISSN: 1058-9244 IOS PRESS, NIEUWE HEMWEG 6B, AMSTERDAM, NETHERLANDS , 1013 BG 1. Science Citation Index Expanded 95. SIAM JOURNAL ON IMAGING SCIENCES 《工业与应用数学会成像科学杂志》 Quarterly ISSN: 1936-4954 SIAM PUBLICATIONS, 3600 UNIV CITY SCIENCE CENTER, PHILADELPHIA, USA , PA, 19104-2688 1. Science Citation Index Expanded 96. SIGMOD RECORD 《美国计算机学会数据管理专业组记录》 Quarterly ISSN: 0163-5808 ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA , NY, 10121-0701 1. Science Citation Index Expanded 97. SIMULATION MODELLING PRACTICE AND THEORY 《仿真模拟实践与理论》 Monthly ISSN: 1569-190X ELSEVIER SCIENCE BV , PO BOX 211, AMSTERDAM, NETHERLANDS , 1000 AE 1. Science Citation Index Expanded 98. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL 《仿真 : 国际建模与仿真学会汇刊》 Monthly ISSN: 0037-5497 SAGE PUBLICATIONS LTD, 1 OLIVERS YARD, 55 CITY ROAD, LONDON, ENGLAND , EC1Y 1SP 1. Science Citation Index Expanded 99. SOFTWARE AND SYSTEMS MODELING 《软件与系统模块》 Quarterly ISSN: 1619-1366 SPRINGER HEIDELBERG, TIERGARTENSTRASSE 17, HEIDELBERG, GERMANY, D-69121 1. Science Citation Index Expanded 100. SOFTWARE QUALITY JOURNAL 《软件质量杂志》 Quarterly ISSN: 0963-9314 SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS , 3311 GZ 1. Science Citation Index Expanded 101. SOFTWARE TESTING VERIFICATION RELIABILITY 《软件测试、验证与可靠性》 Quarterly ISSN: 0960-0833 WILEY-BLACKWELL, 111 RIVER ST, HOBOKEN, USA , NJ, 07030-5774 1. Science Citation Index Expanded 102. SOFTWARE-PRACTICE EXPERIENCE 《软件 : 实践与经验》 Monthly ISSN: 0038-0644 WILEY-BLACKWELL, 111 RIVER ST, HOBOKEN, USA , NJ, 07030-5774 1. Science Citation Index Expanded 103. THEORY AND PRACTICE OF LOGIC PROGRAMMING 《逻辑程序设计理论与实践》 Bimonthly ISSN: 1471-0684 CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS , NEW YORK, USA , NY, 10013-2473 1. Science Citation Index Expanded 104. VIRTUAL REALITY 《虚拟现实》 Quarterly ISSN: 1359-4338 SPRINGER LONDON LTD, 236 GRAYS INN RD, 6TH FLOOR, LONDON, ENGLAND , WC1X 8HL 1. Science Citation Index Expanded 105. VISUAL COMPUTER 《视觉计算机》 Bimonthly ISSN: 0178-2789 SPRINGER, 233 SPRING ST, NEW YORK, USA , NY, 10013 1. Science Citation Index Expanded 106. WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS 《万维网: 互联网与网络信息系统 》 Quarterly ISSN: 1386-145X SPRINGER, 233 SPRING ST, NEW YORK, USA , NY, 10013 1. Science Citation Index Expanded
个人分类: SCI投稿|16133 次阅读|0 个评论
[转载]基因工程和软件工程的对比
热度 2 seawan 2013-8-4 18:42
有人在某贴吧里面发表一个问题: 基因工程到底和软件工程有多少相类似的特性? 里面有一个疑问: 对一个没有做到各子部分的联系尽可能的小的软件的代码进行修改的话,极可能会造成非常严重的BUG,除非你理解整个软件的代码。你所说的蛋白质工程中的一个特定的实际工程中的各个子部分间的联系是否很小呢? 换句话说,在一个各部分的耦合度很高的软件中,修改的难度是很大的。如果进行了修改,必须进行回归测试,以保证没有引入新的bug(如果耦合度较高,这个测试工作量也很大)。 我想这个问题值得思考。 地址: http://www.baidu.com/p/%E9%B1%BC%E6%B1%A4%E9%87%8C%E7%9A%84%E9%BB%84%E8%B1%86?from=tieba 复制到这里供参考: 如果像前者的话,软件工程从来就没有完全解决BUG的问题。那么转基因工程是否也存在?“BUG”的问题呢? 从我个人的角度来看,转基因工程绝对是更像软件工程的,下面是理由: 1.转基因工程和软件工程都涉及到“执行”的概念,DNA的“执行”和软件的执行。 建筑可能也有执行的概念,但即使有可能也有牵强附会的嫌疑。 2.转基因工程和软件工程的成品(生物和可用的计算机)都与环境进行大量的交互,在交互的过程中同时显著地改变自身。 不同的是生物改变的是“硬件”,而可用的计算机改变的是软件。从这点来看,具有“BUG”的DNA对生物的危害可能比具有BUG的软件对可用的计算机的危害更大。相反人们可能很少会期待一座建筑本身会发生非常大的变化。 3.转基因工程和软件工程的成品都具有明确的对“死亡”和“病”的定义。 特别是对死亡的时刻可以做到十分精确。但对于一个建筑的“死亡”的时刻可能无法进行准确的定义。 综上所述,如果假定转基因工程更像软件工程,那么软件工程中的一些问题很可能也存在于转基因工程中,比如说BUG。所以我的问题是如果转基因工程中确实存在软件工程中会出现的一些问题,他是如何解决的? (+1) 转发贴子到你喜欢的吧 ◆ ◆ 回复 1楼 2013-07-25 09:50 举报 | Ag_ion 低温艺术 12 感觉蛋白质工程的很多部分都面对的是黑箱不是代码…… 收起回复 2楼 2013-07-25 09:51 举报 | 来自 Android客户端 鱼汤里的黄豆 : 对一个没有做到各子部分的联系尽可能的小的软件的代码进行修改的话,极可能会造成非常严重的BUG,除非你理解整个软件的代码。你所说的蛋白质工程中的一个特定的实际工程中的各个子部分间的联系是否很小呢? 2013-7-25 09:59 回复 Ag_ion : 回复 鱼汤里的黄豆 :貌似现在蛋白质工程只限于解析复杂蛋白质的结构?不太清楚 2013-7-25 10:04 回复 我也说一句 亮一光 硅基帝国 9 依塔最早敏锐地意识到这一点,他深刻地揭示出了基因工程和软件工程共同的本质,把基础已经相当雄厚的软件工程学应用到分子生物学中。他首先发明了用于基因编程的宏汇编语言,接着创造了面向过程的基因高级编程语言,被称为“生命BASIC ”;当面向对象的基因高级语言“伊甸园++”出现时,人类真的拥有了一双上帝之手。 ----《天使时代》 刘慈欣 收起回复 3楼 2013-07-25 10:02 举报 | 鱼汤里的黄豆 : 大刘的思想确实已经严重影响到我了,即使我没有非常明显地意识到。这段话的第一句我完全没有印象了,这段后面的印象倒是很深。 2013-7-25 10:07 回复 我也说一句 3L乃神人 匡倪卫 低温艺术 12 软件工程改变的是硬件 收起回复 4楼 2013-07-25 10:07 举报 | 来自 Android客户端 鱼汤里的黄豆 : 没有论证你说个JB结论。 2013-7-25 10:09 回复 匡倪卫 : 回复 鱼汤里的黄豆 :软件工程本质上是改变电子元件的状态 2013-7-25 10:33 回复 我也说一句 热爱生命 Helly4A 碳基联邦 10 楼主知道不知道硬件描述语言? 回复 5楼 2013-07-26 18:54 举报 | 来自 UC浏览器 40kkkkk 硅基帝国 9 通过自然的淘汰机制把那些有bug的都过滤掉了 收起回复 6楼 2013-07-26 20:03 举报 | 黑秘技炎填华 : 有的bug也许会造成可怕的生物灾害哟 2013-7-26 20:10 回复
个人分类: 博览|2143 次阅读|2 个评论
聘国内外软件工程专业毕业博士来上海理工大学工作!
tyfond 2013-7-28 22:46
学科需要,聘,国内外软件工程专业毕业博士来上海理工大学工作! 有意的请留言或邮件联系:tyfond2@126.com。
个人分类: 研究生工作|5639 次阅读|0 个评论
软件工程
jiangdm 2013-7-25 22:53
Contents 1 Foundations of Software Engineering http://www.cs.colorado.edu/~kena/classes/5828/s12/lectures/ 我认为现在前沿软件工程的slides,值得学习 ​ Foundations of Software Engineering slides.rar
个人分类: Software|2 次阅读|0 个评论
恭喜两位同学“软件工程”硕士答辩顺利通过!
热度 5 zlyang 2013-6-2 20:46
恭喜两位同学“软件工程”硕士答辩顺利通过! “软件工程”是俺的第二硕导专业。 今天上午,两位同学顺利通过答辩!衷心祝贺! (1)答辩后留念1 (2)答辩后留念2 (3)答辩通过后的鼓掌
4646 次阅读|14 个评论
2014年软件工程博士生招新
nsfc 2013-5-5 16:31
本人研究方向为智能计算及其软件工程应用,曾在 IEEE Trans. on Software Engineering, ICSE 等软件工程相关期刊,会议发表论文若干,现招收2014级脱产博士生。我们课题组具有以下特点: 1,校园优美安静,适宜读书做学问。校园位于海滨城市大连的大黑山之畔,遥望渤海。 2,拥有海景讨论室。本组每周例会在面积60平米的海景办公室举行,可以在讨论的同时欣赏港口风景。 3,交通便利。校园外公交车一元钱到达旅游胜地-丽娇湾和铜牛岭。 4,每月2000-3000元奖学金。 5,在读期间,至少一次全额资助参加国际会议。 6,intel 标准大空间工位。 7,推荐高校工作机会。 感兴趣者联系 jianghe@dlut.edu.cn
个人分类: 信息发布|5160 次阅读|0 个评论
第2届基于搜索的软件工程研讨会定于6月8日-9日在大连举行
nsfc 2013-4-30 22:25
第2届基于搜索的软件工程研讨会(CSBSE 2013)定于 6月8日 -9日在大连举行。本次 Workshop 邀请了姚新教授做 Keynote: Recent Advances in Computational Intelligence Approaches for Software Engineering. 6月8日 全天为报告, 6月9日 为旅游观光。根据大家的讨论,我们本次注册分为两类,free registration 不包括纪念品和观光;regular registration (800元)包括纪念品、观光等。 http://oscar-lab.org/csbse13/ 1. 各位老师是否有合适的报告,请把题目和abstract 发给 csbse2013@163.com 。我们网页上有模板。 2. 本次Workshop 设有 Ph.D Forum, 也欢迎推荐合适的学生做报告。同样的,请把题目和abstract 发给 csbse2013@163.com 。 3. 注册信息请发到 csbse2013@163.com 。
个人分类: 信息发布|5091 次阅读|0 个评论
软件工程课程里用的几个图
热度 1 seawan 2013-3-11 10:26
软件工程课程里用的几个图
【按:教学需要搜集一些补充资料,很花时间的。。。现在的学风下,好像有些劳而无功。】 女生可以学软件工程吗? 让软件设计之母:伯爵夫人告诉你。 第一位软件程序设计者可以追溯到奥古斯塔·爱达·拜伦(Augusta Ada Byron),世称Ada Lovelace,英国著名诗人拜伦之女。 著名事迹:翻译了意大利查尔斯·巴贝奇早期的《分析机概论》(Analytical Engine)程序设计一书。ADA语言以之命名。 历史性事件:NATO的会议提出软件危机、软件工程概念: 会议: 君子和而不同——会议评审有什么意义? ——以人的差异提高软件质量(类似陪审团制度啊~~)
个人分类: 教学|6394 次阅读|2 个评论
软件最终测试
ws0110 2013-2-12 20:36
最终测试的定义:发现软件的质量水准(可用性),而并不能从根本上保证软件的质量(如同给癌症患者作体检),因为要真正保证软件的质量(可靠性),必须在上游做好阶段性检查和品管工作。 测试人员的心态:让软件无法运作;不轻信和盲从开发人员撰写的操作规程。 测试人员的素质:善于与开发人员和客户沟通,爱钻牛角尖(不放过任何虽不严重但很低级的错误),多疑,洞察力,善于联想,细心,有条不紊。 测试人员的自我保护信念:在把产品交到用户手里之前发现的错误越多越好,否则修改和从新测试它的代价会越大,至少你必须重新建立您可能已经淡忘或删除的测试环境。 最终测试的环境:与产品实际应用的环境尽可能相似。 最终测试的数据:不同种类的的完整数据集。 最终系统测试的范围:最终测试一般按照产品需求说明书或操作手册(同时对用户手册进行测试)来进行,可以画一个二维表格,表格各行表示测试项目,各列表示需求项目。测试完成后确认各行各列都标上1。 最终测试的结果:确保所有的测试项目都关闭,而不是都修复。开发小组负责人可能决定在当前版本中不修复某些缺陷。 撰写最终测试计划:哪怕是最简单的工作流程(可以参考我为共享平台作测试时曾经写过的一个简单的流程)。要决定测试完成的时间并界定测试完成的标准(否则容易会陷入测试上瘾的死循环)。否则可能你的测试永远也无法涵盖系统的全部功能。 发现缺陷的第一反应:系统是否还可能有其它地方有类似的错误和与此缺陷关联的错误(特别是对于已经验证过的功能中)。 缺陷修改后的第一反应:决定应该做哪些回归测试或穷举测试(没有自动化测试工具的前提),以防止新的修改会产生新的错误。 最终测试的技巧: 1、按照手册的操作规程来测试安装手册和用户手册;而用不正常的操作来强迫产生一些错误或模拟出一些错误。有条件的话,可以请一些初级用户或用户代表来协助进行最终测试,因为他们会象猴子一样的测试(随意摆弄),从而更能发现实际使用中将会碰到的问题。 2、边测试边记录错误(可以参照我在作共享平台测试时制定的一个错误表,它来源于oracle可以给开发小组负责人增加一列,用于决定是否要在当前版本中修复该错误)。 3、边测试边写测试文件(可以参照rup中的文档模板)。测试文件是对测试结果的证明和结束测试的依据。测试文件以需求说明书或用户手册为依据,但不要机械的照搬。
个人分类: 随心随性|2535 次阅读|0 个评论
戏说“软件工程与男女关系”
热度 1 ws0110 2013-2-12 20:11
一、 生命周期法与传统的中国式婚姻 1. 先看定义: 有时也称为线性顺序模型法、瀑布法等。指的是在开发过程从一个阶段的输出流到下一阶段的线性的、顺序的方法。整个软件过程历经系统调查、需求分析、系统设计、编码、测试和维护等阶段。 传统的中国式婚姻一般也要经过一个线性的顺序过程,男大当婚,女大当嫁,须经父母之命、媒约之言,行六礼(纳彩、问名、纳吉、纳征、请期、亲迎)、然后才能拜堂成亲入洞房。 2. 再看问题: 1) 用户只有在系统几乎全部完工时才能使用该系统。 男女双方往往只有入了洞房,才知道对方的长相。 2) 对已经成型的系统的任何改动将付出非常大的代价,而且越往后代价越高。 当然古代要悔婚更不是一件容易的事,特别是对于下过聘礼的穷人家. 3) 在生命开发周期的某个环节发生“阻塞”而影响随后环节的进行。 很少有不找媒人,不下聘礼,不纳彩,不问是否般配,不经小定、大定、迎亲,就直奔洞房的吧,除非私奔。 二、 原型法与试婚 1. 先看定义: 当不知道做什么时做什么呢? 也许原型法就是回答。 当不知道你面前的这个男人/女人是不是合适做你的老公/老婆时,做什么呢?也许试婚是个好办法。 2. 再看问题: 需要澄清原型好坏及成功的标准。用户和开发者如果不能很好的折衷, 他们之间要求和拒绝修改的争论会演变成无休止的矛盾。 试婚期间,您是否能忍受对方的缺点,你是否愿意接受并不十全十美的对方。一定要有足够的认识,否则仓促结婚的后果将存在很大的隐患。   三、 快速应用开发与一夜情 1. 先看定义: 政府部门的决策效率有时会比预想的低, 而一旦作出决策, 尽管预算资金还没到位, 却希望能尽快地看到成果; 现代商业要适应信息化的环境, 要有极强的应变能力,快速应用开发(RAD) 应该是适应这种需求的最好方法。 如果你和她/或他一见钟情;如果你和她/或他久旱逢甘霖;如果你的他/或她马上就要生离死别;如果你罗敷有夫,或者他使君有妇;如果你和她/或他需要达成某种交易;你们可能会选择一夜情吧。 2. 再看问题: 由于强调极短的开发周期, 因此, 这样的项目一般压力很大,对开发者的心理和生理都是巨大的考验。 由于要与传统的伦理道德作战,由于要在很短的时间内完成男欢女悦,这对双方的心理和生理当然也是巨大的考验。
个人分类: 随心随性|2784 次阅读|1 个评论
科学网的软件工程群组正式成立了
热度 4 libing 2012-10-29 00:09
http://bbs.sciencenet.cn/forum.php?mod=groupfid=613 感谢科学网编辑部的大力支持! 欢迎软件工程的同行积极参与本论坛!
3060 次阅读|5 个评论
计算机作为它者的意义
geneculture 2012-9-12 07:07
计算机作为它者的意义
计算机作为它者的意义 作者 :邹晓辉 Geneculture 中国地质大学(北京)与美国加州大学(伯克利)合作 赛尔中心:三类双语信息处理课题 geneculture A gmail.com 摘要 :本文旨在通过计算机(作为人工智能技术产品形式)出现之后,对自然人(作为人脑智力艺术服务活动)存在的神秘性,提供了它者的立场之解读可能性,揭示了智慧融通融合的“第三脑智”特性,可从经验科学的预言和理性哲学的反思两类理论探索进路,做深入的研究或探讨。具体方法涉及:步骤一,回顾图灵机作为一种理想的数学机器建立其数据结构和算法操作的特性,同时,回顾冯氏机作为图灵机可计算特征之外附加了存储器的物理机器实现其程序的特征;步骤二,回顾图灵测试对图灵机及其具体实施例的一系列数字计算机是否具备人工智能这一自然语言理解能力的判定,采用的是以英语即英文为例的人机对话方式,同时,回顾塞尔屋作为图灵测试的等价形式出现与其说它是对图灵测试的否定不如说它是对图灵测试的另类思考,采用的是以汉语即中文为例的人机对话方式;步骤三,回顾计算机辅助思辨系统作为一种协同智能计算系统的具体应用实施例,指出图灵机和塞尔屋可被视为是“第三脑智”构成的两个基础即“第一脑智”和“第二脑智”,两者表现为“强人工智能”和“弱人工智能”两类思维类型,可采用“图灵测试”和“赛尔字屋”加以判定。其结果是:图灵机及其图灵测试所追求的“第一脑智”和塞尔屋及其赛尔字屋所追求“第二脑智”均可被视为“第三脑智”的两个极端特例。其作用和意义在于:它开辟了三类脑智慧融通融合的新时代——计算机作为它者的出现不仅可以很好地辅助自然人反思其一系列选择之意,而且,可限定在计算机预设的义“域”内来操作,进而可证明协同智能计算系统即“第三脑智”的实践作用和理论意义。 关键词 :图灵机和 (以第一脑进行自然语言理解以英文为例所做的) 图灵测试;塞尔屋和 (以第二脑进行中文信息处理所做的) 赛 尔字屋;第三脑和 (以第三脑进行三类双语协同变换所做的计算机辅助) 思辨系统 (即:驾驭广义文本的文化基因系统和三类双语协同变换的软件工程开发环境) 注释 :塞尔屋(Searle's Chinese Room)与赛尔字屋(即邹晓辉本人设计的c类“孪生图灵机”)
个人分类: 双语信息处理|1647 次阅读|0 个评论
2012 国家自然科学基金中标项目:软件工程相关方向
热度 1 libing 2012-8-22 20:50
项目批准号/ 申请代码1 项目名称 项目负责人 依托单位 批准 金额 项目起止年月 61281220273/ F020202 中美计算机软件研讨会 周毓明 南京大学 1.4 2012-03至2012-12 61272082/ F020202 知识驱动的大型软件系统的软件维护关键技术及框架研究 周毓明 南京大学 81 2013-01至2016-12 61262015/ F020202 演化信息驱动的软件质量改善研究 钟林辉 江西师范大学 11 2013-01至2016-12 61262008/ F020202 基于ASP的并发系统CSP模型验证研究 赵岭忠 桂林电子科技大学 46 2013-01至2016-12 61272102/ F020202 基于机器学习的软件调试技术研究 赵建军 上海交通大学 83 2013-01至2016-12 61272163/ F020202 面向特征的协同式需求建模和复用技术研究 赵海燕 北京大学 80 2013-01至2016-12 61272172/ F020202 上下文感知的Web服务自适应计算模型研究 张秀国 大连海事大学 82 2013-01至2016-12 61272162/ F020202 软件服务化环境中基于间接交互的协同式需求建模方法研究 张伟 北京大学 81 2013-01至2016-12 61202097/ F020202 动态演化环境下软件失效的在线预测关键技术研究 张鹏程 河海大学 24 2013-01至2015-12 61272089/ F020202 软件崩溃的分析,聚类和调试技术研究 张洪宇 清华大学 81 2013-01至2016-12 61272113/ F020202 面向服务软件体系结构设计阶段异常处理的建模与验证 应时 武汉大学 20 2013-01至2013-12 61202070/ F020202 Web环境下基于业务单元的过程集成技术研究 叶蔚 北京大学 25 2013-01至2015-12 61272080/ F020202 用户需求驱动的Web服务测试关键技术研究 许蕾 南京大学 80 2013-01至2016-12 61262001/ F020202 网络环境下规则驱动的软件体系结构动态演化冲突检测与消解 徐洪珍 东华理工大学 43 2013-01至2016-12 61202071/ F020202 对象模型上交互式修复生成技术研究 熊英飞 北京大学 23 2013-01至2015-12 61228203/ F020202 基于人机协作的软件测试与调试 谢涛 北京大学 20 2013-01至2014-12 61202101/ F020202 规则驱动的自适应多代理系统研究 肖亮 湖北工业大学 26 2013-01至2015-12 61272187/ F020202 服务网络的大规模个性化构建与定制方法 王忠杰 哈尔滨工业大学 80 2013-01至2016-12 61202092/ F020202 面向理解的软件错误定位方法:状态转移概率推理建模 王甜甜 哈尔滨工业大学 24 2013-01至2015-12 61272166/ F020202 通用Java程序到实时Java程序的对象自动分类和转化方法研究 史晓华 北京航空航天大学 81 2013-01至2016-12 61272125/ F020202 面向应用系统的基于柔性、信任和协同机制的检测与防护软件模型 申利民 燕山大学 78 2013-01至2016-12 61262010/ F020202 基于SXM模型的Web软件测试理论与方法 钱忠胜 江西财经大学 45 2013-01至2016-12 61281220027/ F020202 中美计算机软件研讨会 彭鑫 复旦大学 1.4 2012-03至2012-09 61202048/ F020202 基于软件网络的回归测试用例排序方法研究 潘伟丰 浙江工商大学 21 2013-01至2015-12 61272079/ F020202 软件测试的演化搜索方法 聂长海 南京大学 75 2013-01至2016-12 61272159/ F020202 基于PaaS的云应用软件建模及模型转换技术 麻志毅 北京大学 80 2013-01至2016-12 61262017/ F020202 Petri网模型驱动的SaaS型云测试方法及支撑平台研究 刘靖 内蒙古大学 43 2013-01至2016-12 61272169/ F020202 软件重构对回归测试用例的影响及其修复方法研究 刘辉 北京理工大学 80 2013-01至2016-12 61262004/ F020202 基于问题框架的需求和领域模型的变换及验证 李智 广西师范大学 43 2013-01至2016-12 61262024/ F020202 软件演化过程的行为验证研究 李彤 云南大学 43 2013-01至2016-12 61202077/ F020202 支撑统计故障定位的测试技术研究 姜博 北京航空航天大学 23 2013-01至2015-12 61272108/ F020202 软件异常的双路传播模型及其构建与分析方法 贾向阳 武汉大学 20 2013-01至2013-12 61272083/ F020202 云计算演化环境中的隐私建模与检测方法研究 黄志球 南京航空航天大学 80 2013-01至2016-12 61202032/ F020202 基于反模式和缺陷修复模式的软件缺陷结构影响因素分析 何璐璐 武汉大学 23 2013-01至2015-12 61272115/ F020202 基于目标模型的横切关注点识别及语义连接点定义方法研究 何成万 武汉工程大学 80 2013-01至2016-12 61272157/ F020202 面向多维度的测试用例化简技术研究 郝丹 北京大学 80 2013-01至2016-12 61202050/ F020202 基于可重用演化构件在线融合的自适应软件元演化研究 桂宁 浙江理工大学 24 2013-01至2015-12 61202039/ F020202 基于规则引擎的临床诊疗流程建模技术研究 褚华 西安电子科技大学 24 2013-01至2015-12 61272007/ F020202 基于场景的构件行为建模和组合研究 陈中育 浙江师范大学 61 2013-01至2016-12 61211130035/ F020202 数值程序稳定性分析 陈振宇 南京大学 2.03 2012-03至2012-12 61210306018/ F020202 软件工程教育研究大会 陈振宇 南京大学 3 2012-04至2012-06 61202104/ F020202 基于环境的信息物理系统时空需求建模方法研究 陈小红 华东师范大学 24 2013-01至2015-12 61202006/ F020202 软件测试和调试过程中的测试用例演化技术研究 陈翔 南通大学 24 2013-01至2015-12 61202103/ F020202 基于高阶规约定向测试的异构系统验证研究 陈铭松 华东师范大学 25 2013-01至2015-12 61202110/ F020202 基于数据挖掘的第三方构件安全性测试方法研究 陈锦富 江苏大学 23 2013-01至2015-12 61272154/ F020202 分布并发透明的虚拟计算环境程序设计 曹东刚 北京大学 80 2013-01至2016-12
个人分类: 新闻报道|7085 次阅读|4 个评论
[转载]2006年重新发布的软件工程国家标准
热度 1 hanhuijian 2012-7-14 16:03
2006 年,国家质量监督检验检疫总局重新发布了 9 项软件工程国家标准。其相关的编号、名称、主要内容、采用情况、替换标准如下。 1 、《GB/T 8567-2006 计算机软件文档编制规范》 本标准依据 GB/T 8566-2001 《信息技术 软件生存周期过程》的规定,主要对软件的开发过程和管理过程应编制的主要文档及其编制的内容、格式等作出了基本要求。原则上适用于所有类型的软件产品的开发过程和管理过程。 本标准规定了 文档过程 ,包括软件标准的类型(含产品标准和过程标准)、源材料的准备、文档计划、文档开发、评审、与其他公司的文档开发子合同; 文档编制要求 ,包括软件生存同期与各种文档的编制要求,含可行性与计划研究、需求分析、设计、实现、测试、运行与维护共六个阶段的要求; 在文档编制中应考虑的各种因素 。详细给出了 25 种文档的编制格式,这些文档包括可行性分析(研究)报告、软件开发计划、软件测试计划、软件安装计划、软件移交计划、运行概念说明、系统 / 子系统需求规格说明、接口需求规格说明、系统 / 子系统设计(结构设计)说明、接口设计说明、软件需求规格说明、数据需求说明、软件(结构)设计说明、数据库(顶层)设计说明、软件测试说明、软件测试报告、软件配置管理计划、软件质量保证计划、开发进度月报、项目开发总结报告、软件产品规格说明、软件版本说明、软件用户手册、计算机操作手册、计算机编程手册。标准还给出了以上 25 种文档的具体内容要求,使用者可根据实际情况进行适当剪裁,这些文档可分别适用于计算机软件的管理人员、分析人员、设计人员、开发人员、维护人员和用户。同时在标准附录中详细给出了面向对象软件的文档编制说明。 本标准代替 GB/T 8567-1988 《计算机软件产品开发文件编制指南》。 2 、《GB/T 11457-2006 信息技术 软件工程术语》 本标准定义了 软件工程领域中的通用术语 ,适用于软件开发、使用维护、科研、教学和出版等方面。本标准一共规定了软件工程领域中的 1859 个中文术语及其对应的英文词和定义。标准的最后附有英文索引和中文索引。 本标准是对 GB/T 11457-1995 《软件工程术语》的修订和代替。 3 、《GB/T 16260.1-2006 软件工程 产品质量 第1部分:质量模型》 本标准描述了关于 软件产品质量的两部分模型 ,即 a )内部质量和外部质量; b )使用质量。 本标准定义的特性适用于每一类软件,包括固件中的计算机程序和数据,这些特性为确定软件的质量需求和权衡软件产品的能力提供了一个框架。本标准可供软件产品的开发者、需方、质量保证人员和独立评价者,特别是对确定和评价软件产品质量负责的人员使用。 本标准详细规定了 质量模型的框架 ,包括质量途径及生存周期中的质量、产品质量和生存周期、需要评价的项、质量模型的使用; 外部质量和内部质量的质量模 型 ,包括功能性、可靠性、易用性、效率、维护性和可移植性六个特性,各种特性又分若干子特性,标准详细规定了各种子特性; 使用质量的质量模型 ,包括有效性、生产率、安全性、满意度,使用质量是面向用户的六个软件产品质量特性的组合效用。标准以附录的形式给出了各种度量、所引用的主术语和定义、被采用国际标准 ISO/IEC 9126 的工作历史。 本标准代替国家标准 GB/T 16260-1996 《信息技术 软件产品评价 质量特性及其使用指南》,等同采用国际标准 ISO/IEC 9126-1 : 2001 。 4 、《GB/T 16260.2-2006 软件工程 产品质量 第2部分:外部度量》 本标准定义了依据 GB/T 16260.1 定义的特性和子特性来定量测量软件外部质量的外部度量,主要包括如何使用软件质量度量的解释、每个子特性的基本度量集、在软件产品生存周期内如何使用这些度量的实例。 本标准可用于各种应用软件,主要针对软件产品的需方、评价者、开发者、维护者、供方、用户质量管理者使用。 标准详细规定了软件质量度量的使用方法及其度量类型之间的关系; 度量表的阅读和使用 ,包括 GB/T 16260.1 中定义的各种特性和子特性度量的度量名称、度量目的、应用方法、测量公式和数据元素的计算、测量值的解释、度量标度类型、测量类型、测量输入、在 GB/T8566 中的应用、目标用户; 各种度量表 ,包括功能性度量、可靠性度量、易用性度量、效率度量、维护性度量和可移植性度量。标准以附录的形式给出了使用度量时考虑的各种因素,使用质量的度量、外部度量和内部度量的用法(框架实例),度量标度类型和测度类型的详细解释。 本标准等同采用国际标准 ISO/IEC 9126-2 : 2003 。 5 、《GB/T 16260.3-2006 软件工程 产品质量 第3部分:内部度量》 本标准定义了依据 GB/T 16260.1 定义的特性和子特性来定量测量软件内部质量的内部度量,主要包括如何使用软件质量度量的解释、每个子特性的基本度量集、在软件产品生存周期内如何使用这些度量的实例。 本标准可用于各种应用软件,主要针对软件产品的需方、评价者、开发者、维护者、供方、用户质量管理者使用。 标准详细规定了软件质量度量的使用方法及其度量类型之间的关系; 度量表的阅读和使用 ,包括 GB/T 16260.1 中定义的各种特性和子特性度量的度量名称、度量目的、应用方法、测量公式和数据元素的计算、测量值的解释、度量标度类型、测量类型、测量输入、在 GB/T8566 中的应用、目标用户; 各种度量表 ,包括功能性度量、可靠性度量、易用性度量、效率度量、维护性度量和可移植性度量。标准以附录的形式给出了使用度量时考虑的各种因素,使用质量的度量、外部度量和内部度量的用法(框架实例),度量标度类型和测度类型的详细解释。 本标准等同采用国际标准 ISO/IEC 9126-3 : 2003 。 6 、《GB/T 16260.4-2006 软件工程 产品质量 第4部分:使用质量的度量 》 本标准为 GB/T 16260.1 中所规定的质量特性定义了使用质量的度量,主要包括如何使用软件质量度量的解释、每个子特性的基本度量集、在软件产品生存周期内如何使用这些度量的实例。 本标准可用于各种应用软件,主要针对软件产品的需方、评价者、开发者、维护者、供方、用户质量管理者使用。 标准详细规定了软件质量度量的使用方法及其度量类型之间的关系; 度量表的阅读和使用 ,包括 GB/T 16260.1 中定义的各种特性和子特性度量的度量名称、度量目的、应用方法、测量公式和数据元素的计算、测量值的解释、度量标度类型、测量类型、测量输入、在 GB/T8566 中的应用、目标用户; 各种度量表 ,包括有效性度量、生产率度量、安全性度量、满意度度量四种特性(无子特性)。标准以附录的形式给出了使用度量时考虑的各种因素,使用质量的度量、外部度量和内部度量的用法(框架实例),度量标度类型和测度类型的详细解释,使用质量的评价过程,使用质量测试报告的通用行业格式及其实例。 本标准等同采用国际标准 ISO/IEC 9126-4 : 2004 。 7 、《GB/Z 20156-2006 软件工程 软件生成周期过程 用于项目管理的指南》 本标准论述软件工程项目管理的各方面,它们或是 “ 软件特定的 ” ,或是已知的在 GB/T 8566-2001 任一基本过程中引发的软件项目问题,包括将 GB/T 8566-2001 的 7.1 中的管理活动在每个基本过程中实施 SPM 进行一般指导,软件项目管理对每个基本过程的适用性,与软件项目管理的范围适当交叉的关键域,针对某些管理任务为软件项目经理( PM )扩充了指南。本标准为负责管理 GB/T 8566-2001 软件生存周期基本过程:获取、供应、开发、运作和维护的执行的人员提供了指南。 标准详细论述了项目管理的有关指南,包括 软件项目管理导引 和 管理过程 。其中,在软件项目管理导引中提及,一个项目有一组人、资源,以及某些特定的公共特性事件,软件项目是强调以软件作为它的产品、服务或结果的项目,并提及了许多相关问题。在管理过程中主要论述了当 GB/T 8566-2001 用于软件项目管理( SPM )时的管理过程,包括启动和范围确定、策划、执行和控制、评审和评价、结束。标准以附录的形式详细给出了 GB/T 8566-2001 对管理过程的支持、软件项目管理活动到管理过程活动的映射、项目管理过程到 GB/T 8566-2001 管理过程活动的映射、各种支持信息。 本标准修改采用了国际标准 ISO/IEC TR16326 : 1999 。 8 、《GB/T 20157-2006 信息技术 软件维护》 本标准比较详细地描述 GB/T 8566 所述的维护过程的管理;定义了各种维护类型,并且提供了在维护过程的策划、执行、控制、评审和评价以及结束等方面的应用指南。本标准的范围涉及到对于具有相同维护资源的多种软件产品的维护。 本标准在编写上主要针对软件维护人员,附带考虑了负责开发的和质量保证的人员。本标准也可由那些可能为维护计划提供输入的系统(其中包含软件)需方和用户使用。 本标准适用于现货产品开发者自我赋予的这些产品的维护任务。维护适用于计算机程序、编码、数据和文档。本标准适用于在软件产品的开发期间创建的各种软件产品,可能包括测试软件、测试数据库、软件测试环境( STE )或软件工程环境( SEE ),等等。本标准适用于所有的维护工作,与生存周期模型(如增量型、瀑布型、演化型)或开发方法(如快速应用、原型、实物模型)无关。 本标准首先说明了 软件维护如何应用 ,然后详细给出了 软件维护的实施注意事项 ,包括维护类型、维护安排、维护工具、软件测量、过程的文档编制、早期介入开发、维护性、软件移交、文档编制; 软件维护策略 ,包括软件维护策略中的维护概念、维护计划、资源分析; 维护过程 ,包括过程实施、问题和修改分析、修改实施、维护评审和(或)验收、迁移、软件退役。标准以附录的形式给出了本标准与 GB/T 8566 《信息技术 软件生存周期过程》各章之间的对照关系。 本标准等同采用国际标准 ISO/IEC 14764 : 1999 。 9 、《GB/T 20158-2006 信息技术 软件生成周期过程 配置管理》 本标准是基于 GB/T 8566 的配置管理( CM )过程,规定了计算机软件配置管理的实施要求,以用于软件产品的开发、维护和运行。本标准适用于:任何形式的软件;软件产品的整个生存周期和生存周期内的单个开发、维护和运行项目,从分包商或销售商获得的软件;软件产品的供方和需方。适用于供、需双方的情况,并且双方属于同一组织时也同样适用。 本标准详细规定了 软件配置管理的过程实施 ,包括启动和规定范围、策划、控制执行、 SCM 过程的评审和评价、结束; 软件配置标识 ,包括标识软件配置项、标识软件配置基线、标识软件库、进展状态; 配置控制 ,包括提出变更申请、评价变更申请的影响、实施变更、通告处置情况、结束变更; 软件配置状态统计 ,包括记录标识、跟踪变更、报告状态统计记录; 软件配置评价 ;软件发行管理和交付,包括处理、存储、复制、打包、交付;接口控制。标准以附录的形式给出了本标准与 GB/T 8566 《信息技术 软件生存周期过程》和 GB/T 19017-1997 《质量管理 技术状态管理指南》各章之间的对照关系。 本标准等同采用国际标准 ISO/IEC 15846 : 1998 。
个人分类: 数字媒体|2024 次阅读|1 个评论
"软件工程硕士" 坑了谁?
高铁杠 2012-5-7 17:30
软件工程硕士最初的培养目的是培养高技能的软件人才,如果说2006年之前的招生还算可以的话,那现在的招生简直可以说就是"三坑". 首先是坑 学生 ,这是典型的坑人.现在招生只要是有个本科学历就可以上软件工程硕士,近两年,音乐,畜牧,机械,政治,法律等与软件工程风马牛等不相及的人都来报考,为什么,因为它目前据说是唯一一种学校自己命题,自己招生,自己辅导,自己录取的硕士了,所以,为了弄个学位,一些人不管三七二十一,上了再说;如果说他们的工作与软件有关系还有情可原,关键是自己从事的工作与软件无任何联系,我真搞不清弄个学位干什么.更可悲的是论文方面,软件工程硕士论文一般要求与实际系统设计相联系,可以这些学生到哪里去设计程序,所以左下载,右抄写,限定在20%的查重率使这些学生叫苦不碟,所以这些论文已经将一句话前后颠倒了一百遍,不知道后来人如何去做,更有一部分人交了大笔学费,到头来无法毕业,此乃一坑! 其次是坑 老师 ,这是典型的坑爹.老师们辛辛苦苦地审阅论文,帮助修改问题,到头来,一查重,抄袭的,取消答辩资格,学籍取消,更有甚者,查重通过了,评阅时发现论文和过往学生或者其他同学有类似之处,取消答辩,下次再来.既然知道他们毕业困难,为什么还要招来,既然知道非自己能够上下来的学位,为什么还要报名,成人了,听别人忽悠,也太蠢了吧! 最后是坑 国家, 这是典型的腐败 . 求学软件工程硕士的人,有的是自己花钱,有的确实是国家报销,国家让你上的目的应该是明确的,我想绝对不可能只让你拿个学位而已,但是,软件工程硕士的上课,课程学习等不可言表.说对软件工程狗屁不知,也能拿个软件工程硕士学位,可能大家不会相信,但这一现象确实发生在了许多的软件工程硕士身上,国家一年需要补贴出多少无用的钱,关键这种补贴从一个地方进了学校还好,但是这些钱进了哪些地方确实说不清! 软件工程已经是一级学科,软件工程硕士算在哪个阶层,是工学硕士,是工程硕士,是单证,是双证?
6412 次阅读|0 个评论
“快盘”的折腾
热度 1 seawan 2012-3-29 22:40
最近快盘的存储形式又折腾了一个轮回。 从这个案例中可以看到软件工程中需求的可行性分析很重要,忽略了一点可能导致很大的问题。 快盘原来使用文件夹来作为虚拟盘的“大本营”。 后来,不知道是谁的主意,将文件夹改为一个加密文件。 而且,快盘升级迁移后,文件夹形式就不能使用了。 于是,大家抱怨,原来的文件夹还能在快盘没有启动的时候访问,现在不行了。 今天发现最新的测试版可以“一键切换成文件夹”,难道是用户的抱怨起作用了? 也许。 也许还有别的原因: 快盘号称大容量存储(一般可以达到16G);但是,大家使用的windowsXP的文件系统可以容忍多大的文件呢?? oops! 没有考虑到这点,于是,看起来天才般的加密存储(可以粘连用户,可以加密,可以。。。。),就这样烟消云散了。 还得额外编写“迁移”成文件夹的程序。。。还得享受用户的抱怨。
个人分类: 好工具|2403 次阅读|2 个评论
2012年SCI收录软件工程学科期刊104种目录
wanyuehua 2012-3-3 07:40
2012 年 SCI 收录软件工程学科期刊 104 种, 其中 SCI 收录 27 种、 SCI E 收录 104 种。 SCI 收录 27 种为: ACM Transactions on Database Systems 《美国计算机学会数据库系统汇刊》 1976 年创刊、 ACM Transactions on Graphics 《美国计算机学会图形学汇刊》 1982 年创刊、 ACM Transactions on Mathematical Software 《美国计算机学会数学软件汇刊》 1975 年创刊、 ACM Transactions on Programming Languages Systems 《美国计算机学会程序设计语言与系统汇刊》 1979 年创刊、 ACM Transactions on Software Engineering and Methodology 《美国计算机学会软件工程与方法论汇刊》 1992 年创刊、 Algorithmica 《算法》 1986 年创刊、 BIT Numerical Mathematics 《 BIT 数值数学》 1961 年创刊、 Computer 《 IEEE 计算机杂志》 1968 年创刊、 Computer-Aided Geometric Design 《计算机辅助几何设计》 1984 年创刊、 Computer Animation and Virtual Worlds 《计算机动画与虚拟世界》 1990 年创刊、 Computer-Aided Design 《计算机辅助设计》 1968 年创刊、 Graphical Models 《制图模型》 1969 年创刊、 IBM Journal of Research and Development 《国际商用机器公司研究与开发杂志》 1957 年创刊、 IEEE Computer Graphics and Applications Magazine 《 IEEE 计算机图示与应用杂志》 1981 年创刊、 IEEE Micro 《 IEEE 微机》 1981 年创刊、 IEEE Multimedia 《 IEEE 多媒体》 1994 年创刊、 IEEE Software 《 IEEE 软件》 1984 年创刊、 IEEE Transactions on Software Engineering 《 IEEE 软件工程汇刊》 1975 年创刊、 IEEE Transactions on Visualization and Computer Graphics 《 IEEE 可视化与计算机图示汇刊》 、 International Journal of Electronic Commerce 《国际电子商务杂志》 1996 年创刊、 Journal of Mathematical Imaging and Vision 《数学成像与显示杂志》 1991 年创刊、 Journal of the ACM 《美国计算机学会志》 1954 年创刊、 Journal of Visual Languages and Computing 《视觉语言与计算杂志》 1990 年创刊、 Mathematical Programming 《数学规划》 1971 年创刊、 Presence; Teleoperators and Virtual Environments 《存在;远程操作设备与虚拟环境》 1992 年创刊、 Random Structures Algorithms 《随机结构和算法》 1990 年创刊。 2010 年 JCR 收录软件工程学科期刊 99 种,其中影响因子 4 以上有 2 种、影响因子 3 以上有 2 种,影响因子 2 以上有 6 种,影响因子 1 以上有 41 种, 2010 年软件工程期刊影响因子前 10 名期刊如下: 1 、 IBM Journal of Research and Development 《国际商用机器公司研究与开发杂志》, ISSN:0018-8646 , 1957 年创刊, 2010 年影响因子 4.863 、 5 年影响因子 3.671 2 、 SIAM Journal on Imaging Sciences 《工业与应用数学会成像科学杂志》, ISSN:1936-4954 , 2008 年创刊, 2010 年影响因子 4.279 、 5 年影响因子 4.279 3 、 ACM Transactions on Graphics 《美国计算机学会图形学汇刊》, ISSN:0730-0301 , 1982 年创刊, 2010 年影响因子 3.533 、 5 年影响因子 4.544 4 、 Journal of the ACM 《美国计算机学会志》, ISSN:0004-5411 , 1954 年创刊, 2010 年影响因子 3.375 、 5 年影响因子 4.019 5 、 Journal of Web Semantics 《网络符号学》, ISSN:1570-8268 , 2003 年创刊, 2010 年影响因子 2.789 、 5 年影响因子 3.593 6 、 IEEE Micro Magazine 《 IEEE 微机杂志》, ISSN:0272-1732 , 1981 年创刊, 2010 年影响因子 2.527 、 5 年影响因子 3.034 7 、 IEEE Internet Computing Magazine 《 IEEE 互联网计算杂志》, ISSN:1089-7801 , 1997 年创刊, 2010 年影响因子 2.514 、 5 年影响因子 2.467 8 、 Communications of the ACM 《美国计算机学会通讯》, ISSN:0001-0782 , 1958 年创刊, 2010 年影响因子 2.353 、 5 年影响因子 2.487 9 、 IEEE Transactions on Software Engineering 《 IEEE 软件工程汇刊》, ISSN:0098-5589 , 1975 年创刊, 2010 年影响因子 2.216 、 5 年影响因子 3.468 10 、 Journal of Database Management 《数据库管理杂志》, ISSN:1063-8016 , 1988 年创刊, 2010 年影响因子 2.121 、 5 年影响因子 1.978 详细 2012 年 SCI 收录软件工程学科期刊 104 种目录请看附件。 附件: 2012年SCI收录软件工程学科期刊104种目录.doc
个人分类: SCI投稿|8038 次阅读|0 个评论
[转载]王家耀院士谈GIS发展
zlsajtu 2011-11-22 15:23
王家耀院士谈到:GIS是三个层面上的问题:一是最高层次的,就是要精通软件工程,知道软件工程怎么做,掌握这种方法,我觉得我们国家做顶层设计、软件设计方面的人才很少,优秀的人才很少;二是开发,像超图软件SuperMap GIS这样可以用来做二次开发的平台软件也不多,而且很多企业还不具备进行二次开发的能力;三搞小型GIS应用工程的人很多,最多的是进行应用系统建设的人,拿个软件把数据一装就可以用了,可以看了。 摘自: http://www.gisforum.net/show.aspx?id=3056cid=46
个人分类: 专业文章|2308 次阅读|1 个评论
Uniqueness of Software Engineering: The Dual Formalizations
geneculture 2011-11-8 04:31
Uniqueness of Software Engineering: The Dual Formalizations
SOFTWARE (Published monthly since 1979) Vol.32 No.7 Jul.2011 ISSN 1003-6970 CN12-1151/TP Experts Forum The Uniqueness of Software Engineering: The Dual Formalizations ……………………… ZOU Xiaohui, ZOU Shunpeng (1) The Uniqueness of Software Engineering:The Dual Formalizations ZOU Xiaohui 1,2,3 , ZOU Shunpeng 1 (1.China University of Geosciences (Beijing) Institute of Higher Education, Beijing 100083,China;2.Engineering Institute of Synergy Culture Gene, (Zhuhai) Tsinghua Science Park, Zhuhai 519000, China;3.Chinese Institute of Electronics "Software" magazine deputy editor Contributing writer, Beijing 100044, China) 【Abstract】This article aims to discuss the second path to software engineering and its significance by taking the bilingual information processing of both digit and script for example. Specifically, it involves the following two questions and their corresponding answers: First,what is software engineering discipline unique for? The problem of dual path to software engineering is further proposed in the process of answering it. Second, why is the second path to software engineering significantly better than the first path? This indicates that the software industry will encounter re-shuffle. From the view of methodology, the first question would involve collaborative intelligence concept; the second question relates to the reasoning of the second path. From the perspective of the disciplinary system, both of them involve the last two positioning of software. Of which, if the first is computer software products born out of math and linguistics, then the second is software engineering services grew out of computer science, information science and their related engineering and technological disciplines,the relevant part of management as well as education. The first round of positioning formed the concept of software product, and the second formed the concept of software service. This is systematic engineering project, which is characterized by that the whole is greater than the sum of its parts together. Here, it means that the separate functions of a virtual natural brain (designer and user) and a virtual machine (operating system and application system as well as other software) cannot reach the extent of the integrated function of collaborative intelligent computing system made by the combination of the both. 【Key words】Software Product; Software Engineering Service; Bilingual Processing; Indirect Formalization 软 件 (Ruan Jian) 月刊(1979 年创刊) 2011 年7 月 第32 卷第7 期 ISSN1003-6970 CN12-1151/TP 《软件》杂志首届中文核心期刊,被《中国核心期刊(遴选)数据库》、《中国学术期刊综合评价数据库来源期刊》、《万方数据—数字化期刊群全文收录期刊》、《中文科技期刊数据库(全文版)收录期刊》、《中国知识资源总库CNKI 源期刊》、美国《乌利希国际期刊指南》、波兰《哥白尼索引》、美国《剑桥科学文摘》等国内外数据库收录 目 录 专家论坛 软件工程学科何以独特——形式化方法的双重路径*…………………………………………… 邹晓辉 邹顺鹏 (1) 软件工程学科何以独特——形式化方法的双重路径* 邹晓辉 1,2,3  邹顺鹏 1 (1. 中国地质大学(北京)高等教育研究所 北京 100083;2. 清华科技园(珠海)融智文化基因工程研究所(筹),珠海 519000;3. 中国电子学会、天津电子学会《软件》杂志 副主编 特约撰稿人 北京 100044) 摘 要 :本文旨在以数字和文字双语信息处理为例论述软件工程的第二路径及其重要意义。具体涉及如下两个问题及其解答:第一,软件工程学科何以独特?在其解答过程中进一步提出了软件工程的双重路径问题;第二,软件工程的第二路径为什么显著优于第一路径?其中预示软件产业将由此重组。从方法论的角度来看,前者涉及协同智能观;后者涉及第二路径的论证。从学科体系的角度来看,涉及软件的两次定位。其中,如果说第一次是计算机软件产品脱胎于数学和语言学,那么,第二次就是软件工程服务脱胎于计算机学科和信息学及其相关的工程技术学科和管理学以及教育学的相关部分。前一轮形成了软件产品概念,后一轮形成了软件服务概念。这是一个系统工程,其特点是整体大于局部之合。在此,就是虚拟的自然人(设计者和用户)与虚拟的计算机(操作系统和应用系统以及其它各式各样的软件)各自的功能,均不及两者结合而成的协同智能计算系统的整合功能。 关键词 :软件产品;软件工程服务;双语信息处理;间接形式化。 中图分类号:TP     文献标识码:A      DOI: 10.3969/j.issn.1003-6970.2011.07.001
个人分类: 双语信息处理|1632 次阅读|0 个评论
IT文化(111104)
热度 3 ymin 2011-11-4 16:17
IT文化(111104) 闵应骅 最近,由于中共十七届六中全会刚开完,文化方面的话题比较热门。今天我就用文化这面大旗,来写几句关于IT文化的事。 彭宁川先生在我的博文“软件工程成了一级学科(111013)”的评论中说:“软件工程被理解为一种工程类属性是中国对软件工程的一误解,软件工程应理解为一种达成目标管控错误方法论,并应用于具体的软件项目和产品当中。当前软件工程所应用的基本理论仍是系统论控制论范畴,成为一级学科实在没有必要。”这一评论使我查阅和思考关于软件工程的特性和它究竟是不是工程的问题。这个问题争论很多,而其核心是IT文化的问题。 Engineering(工程)的字根是engine,古时候是一种工具,譬如钻木取火,田间管理工具,战争工具等。而Engineer是操纵工具的人,譬如锅炉工,轮机工程师等。Engineering是指这个动作和过程,也可能是建造,也可能是监督。也有人把工程看作有用对象的创造发明。这种功能的定义范围太大,譬如穴居人发明劈东西的石头,你不能说是一个工程。而软件工程被定义为:把系统的学术的可定量的途径应用于软件的开发、运行和维护中,以及这些途径的研究。这就是把工程应用于软件。可这个定义也有不妥。因为把这句话里的软件换成财务记录,你是否认为有会计工程呢? 工程是学科、职业和专业。 工程学应该有学术性。譬如土木工程、桥梁工程、水利工程等等都以物理、化学为基础。但是,现在大学里环境工程、生物工程、农业工程的学生却不学物理、化学,而学生物。电子与计算机工程的学生也不学静力学、动力学、热力学。工程必须建基于物理系统,如微芯片、电流速度,但软件工程师不考虑这些。计算机科学与工程的区别在于过程和标准,软件工程最后也许会与计算机工程合并,而与工程平列。这时,软件工程就不是工程,而就是软件工程,也许其他工程都离不开软件工程。 工程是一个专业,它是一批有着相同职业有愿组织起来,除法律、市场和道德之外有共同道德理想的人。软件工程的道德规范与一般工程的道德规范是非常不同的。软件工程师要善于折衷软件工程师、雇主、客户和大家共同的兴趣和利益,而一般工程师不管这些。但这些专业团体完全是自愿参加的,或者是事实上形成的。 工程是一种职业。人们为了生活就得有职业。例如遗传工程、再造工程、金融工程都意味着一类职业。软件也想重用,但由于软件的高度复杂性,使软件工程师们觉得他们不属于工程。软件工程占到整个工程的一半,和药业、法律差不多,可以另立门户,不必属于工程。 即使计算机科学不再是软件工程的基础,也许它的基础是管理信息系统或信息技术管理。大多数软件工程师接近信息系统管理,而不是一般的工程师。
个人分类: 学术导航|3764 次阅读|11 个评论
[转载]净室软件工程及发展
zlhua 2011-11-1 16:30
本文转载自软件工程专家网http://www.21cmm.com/   净室是一种以合理的成本开发高质量软件的基于理论、面向工作组的方法。净室是基于理论的,因为坚实的理论基础是任何工程学科所不可缺少的。再好的管理也代替不了理论基础。净室是面向工作组的,因为软件是由人开发出来的,并且理论必须简化到实际应用才能引导人的创造力和协作精神。净室是针对经济实用软件的生产的,因为在现实生活中,业务和资源的限制必须在软件工程中予以满足。最后,净室是针对高质量软件的生产的,因为高质量改进管理,降低风险及成本,满足用户需求,提供竞争优势。   净室理论基础建立于20世纪70年代末80年代初,资深数学家和IBM客座科学家Harlan Mills阐述了将数学、统计学及工程学上的基本概念应用到软件的设想。受Edsger Dijkstra关于结构化编程、Nicholas Wirth关于逐步求精、David Parnas关于模块化设计的影响,Mills为软件的工程方法奠定了科学基础。   两大基本观点促进了Mills的工作:首先,程序是数学函数规则,其次,潜在的程序执行是无穷的,质量认证必须进行统计采样。第一个观点使所有函数理论向软件开发敞开大门,导致以下技术的产生:盒式结构规范及设计、函数理论正确性检验及增量开发,第二个观点使所有统计理论在软件测试方面得到应用,导致了统计使用测试和质量认证。   Mills的观点在其与同仁A1an Currit,Michael Dyer,Alan Hevner,Richard Linger,Bernard Witt及IBM公司联邦系统部的其他同事的合作中得到了修改和演示。1979年由Addison—Wesley出版的《结构化编程:理论与实践》(作者:Linger,Mills和Witt)介绍了软件规范、设计、认证及再工程中的函数理论方法。《信息系统分析和设计原理》(作者:Mills,Linger,Hevner,Academic出版公司,1986)介绍了系统规范、设计和认证中的盒式结构方法,同时介绍了项目管理的增量开发。1987年,净室将这些思想融合在一起。“净室”一词借自半导体业,强调“防患胜于除患”的思想。《净室软件工程》(作者:Mills,Dyer和Linger)刊登于《IEEE软件》1987晰年5月刊上。   第一项净室软件项目由IBM的Richard Linger于20世纪80年代中期负责实施。COBOL结构化设施项目开发出一项商业软件再工程产品,该产品显示出了卓越的质量水平及用户使用可靠性,净室方法得到了初步确认。   1990年,Richard Linger创建了IBM净室软件技术中心,在此,净室方法、自动化及技术改变得到进一步改进。20世纪90年代初,IBM生产出运用净室方法开发的海量存储控制单元适配器,售出了数千单元,直至1997年产品超过使用寿命后,仍未收到任何反映净室微码现场故障的报告。这项开发由Mike Brewer领导,成员有Paul Fisher,Dave Fuhrer,Karl Nielson及其他一些工作组成员。认证测试由Joe Ryan和Mike Houghtaling领导。如今,IBM公司存储系统部的测试实验室无可争议地成为统计使用测试方法的全球巨擎。   从20世纪80年代末到90年代初,享有盛名的国家宇航局(NASA)哥达德飞行控制中心(GSFC)软件工程实验室(SEL)在Vic Basili,Scott Green,Rose Pajerski,Jon Valett等人的领导下进行了一系列净室试验。这些试验被认为是迄今为止软件工程领域进行的一次最完整的研究。4个规模依次扩大的地面控制软件系统按净室工程方法开发出来,结果表明,与NASA GSFC已足以让人佩服的底线相比,质量和生产力还有一致的提高。   20世纪80年代中期,在美国国防部的ARPA STARS项目(自适应的可靠系统软件技术)的形成期,STARS领导层选取净室作为开发和商业化的核心技术。领导层包括Dave Ceely,Dick Drake,Bill Ett,Joe,Greene,John Foreman,Jim Moore等。Mills博士和Arnie Beckhardt为推动净室技术而建立的软件工程技术公司(SET)被选来推动净室技术的商业化,在SIldzS的支持下,SET在净室的手段和工具方面取得了显著进展。   与此同时,Mills博士正就使用净室建立一家名为Q—Labs的公司而同欧洲的I.M.Ericsson AB进行商谈,为软件工程新技术走出实验室,向Ericsson(爱立信,译者注)进行转让。自两家公司成立之初,Q-Labs和SET就是商业伙伴,以后两家公司于1998年合并为Q—Labs公司。   20世纪90年代初,美国陆军Picatinny Arsenal执行了一个净室项目,并在这个项目中获得了20倍于引进净室技术所用的投资回报。1996年国防部软件数据与分析中心在其所作的软件方法比较分析中,报告净室具有真实的价值和质量优势。其他留有软件生产和质量方面历史数据的机构也用净室进行了大型项目的研发,它们公开发表了其结果。净室实践明显改进了IBM、Ericsson、NASA、DoD及许多其他机构的软件项目产出。净室的数据表明而且将继续表明,采用净室学科有可能使软件成组性能得到很大的改善。   Carnegie Mellon大学软件工程研究所(SEI)实际上已成为改进软件工程实践方面的领头羊。SEI的软件能力成熟度模型(CMM)成为一项已被认可并广泛用于改善软件工程实践的管理模型。1996年SEI完成了一个项目,该项目定义了净室参考模型并将净室的工程技术映射到CMM的管理过程中。这项工作的主要结论是净室与CMM是兼容的、相互支持的。该工作在1996年2份SEI技术报告中进行推广:净室软件工程参考模型(Linger,Trammell,1996)和软件能力成熟度模型(CMM)的净室软件工程实践(Linger,Paulk,Trammell,1999)。经Carnegie Mellon大学许可,本书将净室软件工程参考模型也纳入其中。   净室技术一直由Mills及其在全球各大学和工业界的同仁进行讲授,他们是Vic Basili,A1an Hevner,Richard Linger,Jesse PboIe,Dieter Rombach,Shirley Becker,Richard Cobb, Michael Deck,Chuck Engle,Philip Housler,Ara Kouchakdjian,John Madin,Dave Pearson,Mark Pleszkoch,Stacy Prowell,Steve Rosen,Kirk Sayre, A1an Spangler,Carmen Trammell,Gwen Walton和James Whittaker。另外,还有很多人通过大量实地应用而推进净室实践,包括Mike Brewer,John Gibson, Mike Houghtaling,David Kelly,Jenny Mordes,Rob Oshana,Jason Selvidge,Wayne Sherer和Tom Swain。他们每个人都为净室成为真正的软件工程学科做出了各自的贡献。   一项工程的发展是以其科学理论为基础的,实践中的改进从遵循源自实践的第一条原理开始并沿着科学的轨道向前发展。净室实践的改进和进展正是按照这种模式进行并将继续进行下去。   净室规范方法的精化的研究主流已经形成并在本书中予以说明。Mills使用的函数理论,激发了David Parnas在序列(跟踪)分析和域划分方面的工作,这又激发了Hailong Mao在典型序列历史方面的研究,以上三者为本书中提到的Stacy Prowell和Jesse Poore基于序列规范的定义打下了基础。   另一项由Gwen Walton和Jesse Poore所从事的独立的研究,将基于Markov链使用模型应用到了运筹学的优化方法当中。他们的研究将基于约束的方法应用到使用建模中,该研究有望加强净室统计测试实践的控制,提高其价值。   其他在决策理论、先进统计设计、建模与仿真等有关理论和工程实践领域内开展的工作正在取得进展,净室软件工程也一定会随着得到进一步的改进。 版权所有:UML软件工程组织
个人分类: 快乐学习|2051 次阅读|0 个评论
[转载]软件工程269.ppt
geneculture 2011-10-31 01:50
269 http://wenku.baidu.com/view/b3c9ad26a5e9856a561260fd.html 软件工程导论 _百度文库 软件工程导论 - 第一章 软件工程导论 本章要点 ? ? ? ? ? 工程的概念 软件工程的发展 软件工程分析 三种过程模型 工程化思考 工程是什么? ? 工程... 269页浏览:988次 wenku.baidu.com/view/b3c9ad26a5e9856a5612 ... 2011-3-23 - 百度快照 http://wenku.baidu.com/view/7cc3ccdad15abe23482f4d40.html 软件工程导论 答案-张海潘(第五版)_百度文库 软件工程导论 答案-张海潘(第五版) - 第一章 1-1 什么是软件危机 是指在计算机软件的开发和维护过程中所遇到的一系列严重问题。 什么是软件危机? 1... 10页浏览:209次 wenku.baidu.com/view/7cc3ccdad15abe23482f ... 2011-4-3 - 百度快照 http://www.docin.com/p-8364787.html 软件工程导论 - docin.com豆丁网 本文档为白城师范学院计算机系 软件工程导论 教学课件,制作于2005年3月 www.docin.com/p-8364787.html 2011-8-19 - 百度快照
个人分类: 软件工程|0 个评论
学术报告会: 软件工程学科发展与创新研究
热度 1 geneculture 2011-10-14 12:37
学术报告会:  软件工程学科发展与创新研究
时间: 本周六 (10 月15日 )2:00~6:00 目的: 了解软件工程学科及其发展,更好地把握职场空间定位;了解形式化方法研究的价值,拓展创新思维能力 报告 1 : ( 2 小时) “ 第三脑智 ” 与 “ 自然语言理解 ”— 如何在软件工程领域开展间接形式化教育? 报告人: 邹晓辉 《软件》杂志 副主编 中国地质大学 高等教育研究所 研究员 中美双语信息处理课题组 组长 研究专长: 知识本体 双语信息处理 — 协同智能计算系统 内容: 通过典型 实例 —— 协同智能计算系统,及其所依据的原创性的 理论和方法 ,分别从一个系统、两个方面、三个阶段、四个层次,系统地介绍:如何在软件工程领域开展 间接形式化 教育? 内容包括: l 间接计算模型和间接形式化方法 l 协同智能计算系统 —— 理论模型及其应用 l 一种基于双语自动转换的间接形式化方法 上述成果为报告人 发明,涉及一种间接形式化方法及双文双语并行计算系统,进一步是一种基于双语自动转换的间接形式化方法,属于专用于理论计算机如何转化为实用计算机的高级信息技术课程计算机辅助教学系统和基于知识本体数据仓库的双语界面处理技术领域。这一研究以打破冯诺依曼计算思维的视角,让我们重新审视信息及其计算,为自然语言理解找到新的研究途径。 简介: 目前是中美合作项目“双语信息处理研究”最大的无形资产投资人 分别在美国 UC Berkeley 、哈佛大学、北京大学等著名高校做访问学者进行联合科研工作 多次荣获中国发明奖 ,获奖内容包括: l Intelligent communication composite set http://ip.com/patapp/CN1093849 l Automatic translation system for various foreign languages http://ip.com/patapp/CN1162792 l Knowledge information data processing method and product thereof http://ip.com/patapp/CN1274895 报告 2 : 1 小时 软件工程学科领域发展概貌及其职场空间定位 报告人: 张红延 北京交通大学软件学院副教授 中国服务工程技术标准组成员 中国软协专家支撑体系过程与服务领域专家委员 内容: 为了应对软件危机带来的困境, 1968 年北大西洋公约组织的计算机科学家在联邦德国召开国际会议正式提出并使用了“ 软件工程”这个名词 , 一门新兴的工程学科就此诞生。四十多年来,软件工程研究与产业实践可以用一句话概括:发展技术研究、重视工程管理、关注业务过程、发展 IT 服务。 报告将就软件工程学科概貌及其发展,职场空间的定位展开讨论。 报告人简介: 作为北京交通大学软件学院初创的第一位教师,建立了第一个真正意义上的软件工程专业课程体系,来满足产业与教育双方的需求,是国家精品课与教育部 -IBM 精品课 “软件分析与设计技术”的课程负责人;作为“精英型软件工程师人才培养模式的探索与实践”成果第二完成人,荣获第六届国家教学成果一等奖; 2010 年获 IBM 全国优秀教师奖, 2011 年获教育部国家示范性软件学院“全国十佳专职教师”。作为“双师型”教师,有十多年高校从事教学与研究工作,有十多年企业从事技术、管理与咨询服务的工程实践经历,为国内几十家软件企业提供过程改进与能力评估的咨询服务 。先后两次作为访问学者出国进修: 1993~1994, 比利时学习,主修软件工程 2010~2011, 在澳大利亚昆士兰科技大学学习,主修服务工程 主要研究方向:软件服务工程 (信息系统学科) 兴趣点: 1) 业务过程管理(含软件过程) 2) 企业架构 3) 需求工程 4) 软件度量 背景技术 形式化方法 是基于严密的、数学上的形式机制的计算机系统研究方法。从 20 世纪 90 年代开始 , 计算机学科相关专业的形式化方法的教育引起了欧美教育界的高度重视和关注。欧洲的英国、德国、法国、意大利、荷兰、西班牙等国家的高校相继为研究生开设了形式化方法方面的课程 , 并推广至本科生教育。从 20 世纪 90 年代中期开始 , 美国高校也开展了形式化方法教育研究 , 并在 美国顶尖的 35 所大学 的计算机 学科 实施了研究生和本科生的教育实践。形式化方法 (FM-Formal Method) 知识体系中的 6 个知识领域为 : ① 基础 (Foundations); ② 形式化规格 (Formal specification paradigms); ③ 正确性验证及演算 (Correctness, verification and calculation); ④ 形式化语义 (Formal semantics); ⑤ 可执行规格支持 (Support for executable specification); ⑥ 其他 (Other Topics) 。形式化方法教育过程中 , 相关形式化方法工具的支持是非常重要和必要的。欧洲高等院校在形式化方法研究和教育过程中 , 开发了许多相关工具。形式化工具有 :Actress 、 Alloy 、 AtelierB 、 B-Toolkit(Btlk) 、 BDDC 、 CADP 、 CADiZ 、 CASL 、 Coq 、 CommUnity 、 CWB 、 ESCJava 、 FDR 、 FuZZ 、 GHC 、 Gofer 、 Hugs 、 HOL 、集成网络分析器 (INA) 、 Isabelle 、 IVDM 、 Lotrec 、 LTSA 、 NuSMV 、 Petri 网程序设计环境 (Petri) 、 PVS 、 PicT 、 RAISEtools 、 RAT 、 RML 、 SPIN 、 T-Logic 、 TRIO 、 UPAAL 、 VDMT 、 WHY 、 ZANS 、 ZEVES 、 ZTC 等已在相关课程教学中得到使用。形式化方法教育得到欧、美国家高等院校的重视和大力推广不过是十余年的时间 , 建立完善的知识体系和课程教学内容还需要进一步的努力。从 欧洲 58 所高校 的 课程 开设情况来看 , 虽然形式化方法教育得到了大范围的实施 , 但是课程内容、授课教材、辅助工具等还比较散杂 , 建立形式化方法课程的知识内容规范、编写相关规范指导下的教材、开发相关规范指导下的辅助工具 , 是亟待解决的问题。形式化方法的工业应用需求和教学过程实践的经验积累 , 已愈来愈体现出计算机相关专业形式化方法教育的必要性和可行性。 国内计算相关专业的形式化方法教育 还相当薄弱 , 尚未在高等院校得到有效推广和实施。计算机相关专业形式化方法课程教学的有效推进还有赖于课程教材、实验环境、支撑工具以及应用环境等方面的突破。 . 北京 : 高等教育出版社 ,2006.]
个人分类: 《软件》杂志|3370 次阅读|41 个评论
软件工程成了一级学科(111013)
热度 4 ymin 2011-10-13 15:29
软件工程成了一级学科(111013) 闵应骅 今年9月,国务院学位委员会发布通知,软件工程成了一级学科,与计算机科学并列.各高校纷纷组建软件工程硕士点、博士点,看样子,还得搞软件工程系、软件工程学院。它与已有的软件学院似乎也有区别。对此事,业内议论不少。因为,软件工程作为一个一级学科,与计算机科学技术很难分开,课程设置也一定大部分重复;与软件学院更不好分开。那么,为什么要这么搞呢? 我认为,政府来管学科分类本身就是中国特色。把所有学科按树形结构组织起来,主要是为了政府管理方便。因为我们的所有学校、科技机构都是政府管的,政府机构是树形结构。为了和政府机构对应,就必须是树形机构。可科学技术本身,如果要分类的话,不可能是树形结构。因为,有许多交叉,而且,不好说,谁是谁的父亲;谁是谁的儿子。去年,我看到《计算机学会会刊》上征求计算机科学技术分类的意见。其中说,希望根据中国的情况,提出计算机科学技术分类的意见。于是,我明白了:要分类的是中国计算机科学技术分类,而不是计算机科学技术分类,计算机科学技术还分中国的,还是外国的。。 最近一期IEEE Computer, October,2011出了一个关于软件工程的专辑。软件工程这个词是1968年提出来的。那时,各种各样的工程学都出来了,新出来一个软件工程。到底软件工程是不是一个工程?是否SE=E?一直争论不断。但这个讨论不是什么一级学科、二级学科的讨论,而是问:软件工程是不是一种工程? 作为一个工程学科,在开发复杂、可靠的软件系统时,必须按照和真实执行工程的原理和实践。我们需要论证的是软件工程是一类工程学科,而且不同于其他的工程学科。 软件工程需要理论,但理论不一定是形式化的。开源软件现在很普遍,得益于软件工程的两个基本原理:模块化和重构管理。基于搜索的软件工程维持一个开放的在线仓库,进行进化计算。航天器完全由软件控制,这种软件必须是可靠的,可自动刷新的,在不断变化的环境下可以自治、实用的,人完全无法实时控制,而且在人介入的情况下,可以维护,达到运行若干年。在服务计算和云计算中,软件工程技术也不可缺少。现在的软件工程几乎可以独立于一台计算机和一种程序设计语言。当然,也有人认为,软件工程现在还没有达到一个工程学科的水平理由也是一大堆,这里从略。 有兴趣的读者可参见 http://ieeexplore.ieee.org/xpl/tocresult.jsp?asf_arn=nullasf_iid=6036078asf_pun=nullasf_in=nullasf_rpp=nullasf_iv=nullasf_sp=nullasf_pn=1 。
个人分类: 计算机|13204 次阅读|10 个评论
如何在软件工程领域开展间接形式化教育?
geneculture 2011-10-11 18:21
中心思想: 通过典型实例——协同智能计算系统,及其所依据的原创性的理论和方法,分别从一个系统、两个方面、三个阶段、四个层次,系统地介绍:如何在软件工程领域开展间接形式化教育? 2011-10-15 下午 2-5 时(报告和答疑共三小时) 题目 : “第三脑智”与“自然语言理解” ——如何在软件工程领域开展间接形式化教育? 报告人 : 邹晓辉 《软件》杂志 副主编 高等教育研究所 研究员 中美双语信息处理课题组 组长 目录 : 0. 语言 :人类 智力 的 重要 工具 1. 信息 :人工 智能 的 简捷 工具 2. 软件 : 智慧 融通的 巧妙 工具 3. 融智 :即 集 人类 知识 之 大成 报告内容 : 具体请见 附件 1 和 2 报告人 希望: 听报告的研究生和老师及领导不仅 人手一份纸质版论文, 而且,最好都能够 提前熟读 ( 要求 :每个人都能标出各自的 重点、难点和盲点 )。这样的做法 才可能确保 本次学术交流的前瞻性、启发性和带动性今后在有关各校软件院所 得以体现 ,达到我们介绍这一以 双语信息处理 为 实例 的国际前沿科技研究成果的初衷。 具体 背景: 分别请见 附件 1 和 2 的两篇近期 已发表论文 的首尾相关部分和 附件 3 提示: 它们足以证明 本研究成果的严谨阐述、知识 贡献 、理论 意义 和进一步推广的实际 作用 。 附录 1 : 中国知网:邹晓辉 - 间接计算模型和间接形式化方法 . 软件 . 2011 年 05 期 附录 2 : 中国知网:邹晓辉 - 协同智能计算系统——理论模型及其应用 . 软件 . 2011 年 06 期 附录 3 : 一种基于双语自动转换的间接形式化方法 技术领域 本发明涉及一种间接形式化方法及双文双语并行计算系统,进一步是一种基于双语自动转换的间接形式化方法,属于专用于理论计算机如何转化为实用计算机的高级信息技术课程计算机辅助教学系统和基于知识本体数据仓库的双语界面处理技术领域。 背景技术 形式化方法是基于严密的、数学上的形式机制的计算机系统研究方法。从 20 世纪 90 年代开始 , 计算机学科相关专业的形式化方法的教育引起了欧美教育界的高度重视和关注。欧洲的英国、德国、法国、意大利、荷兰、西班牙等国家的高校相继为研究生开设了形式化方法方面的课程 , 并推广至本科生教育。从 20 世纪 90 年代中期开始 , 美国高校也开展了形式化方法教育研究 , 并在 美国顶尖的 35 所大学 的计算机 学科 实施了研究生和本科生的教育实践。形式化方法 (FM-Formal Method) 知识体系中的 6 个知识领域为 : ① 基础 (Foundations); ② 形式化规格 (Formal specification paradigms); ③ 正确性验证及演算 (Correctness, verification and calculation); ④ 形式化语义 (Formal semantics); ⑤ 可执行规格支持 (Support for executable specification); ⑥ 其他 (Other Topics) 。形式化方法教育过程中 , 相关形式化方法工具的支持是非常重要和必要的。欧洲高等院校在形式化方法研究和教育过程中 , 开发了许多相关工具。形式化工具有 :Actress 、 Alloy 、 AtelierB 、 B-Toolkit(Btlk) 、 BDDC 、 CADP 、 CADiZ 、 CASL 、 Coq 、 CommUnity 、 CWB 、 ESCJava 、 FDR 、 FuZZ 、 GHC 、 Gofer 、 Hugs 、 HOL 、集成网络分析器 (INA) 、 Isabelle 、 IVDM 、 Lotrec 、 LTSA 、 NuSMV 、 Petri 网程序设计环境 (Petri) 、 PVS 、 PicT 、 RAISEtools 、 RAT 、 RML 、 SPIN 、 T-Logic 、 TRIO 、 UPAAL 、 VDMT 、 WHY 、 ZANS 、 ZEVES 、 ZTC 等已在相关课程教学中得到使用。形式化方法教育得到欧、美国家高等院校的重视和大力推广不过是十余年的时间 , 建立完善的知识体系和课程教学内容还需要进一步的努力。从 欧洲 58 所高校 的 课程 开设情况来看 , 虽然形式化方法教育得到了大范围的实施 , 但是课程内容、授课教材、辅助工具等还比较散杂 , 建立形式化方法课程的知识内容规范、编写相关规范指导下的教材、开发相关规范指导下的辅助工具 , 是亟待解决的问题。形式化方法的工业应用需求和教学过程实践的经验积累 , 已愈来愈体现出计算机相关专业形式化方法教育的必要性和可行性。国内计算相关专业的形式化方法教育还相当薄弱 , 尚未在高等院校得到有效推广和实施。计算机相关专业形式化方法课程教学的有效推进还有赖于课程教材、实验环境、支撑工具以及应用环境等方面的突破。 . 北京 : 高等教育出版社 ,2006.]
个人分类: 《软件》杂志|2 次阅读|1 个评论
杨东屏谈软件工程历史
热度 1 zlyang 2011-9-26 16:06
杨东屏谈软件工程历史
杨东屏谈软件工程历史 《 软件工程历史杂谈 》,杨东屏研究员,2010年7月23日 http://lib.iscas.ac.cn:8080/download/Topics%20for%20Software%20Engineering%20History.pdf 《 软件历史杂谈(上)、(下) 》,杨东屏研究员,2008年7月2~3日 http://www.is.cas.cn/xwzx/xshd/200806/t20080626_2267441.html 杨东屏 ,原中国科学院软件所研究员、博士生导师。他是中国自己培养的最早得到国际承认其学术成果的数学界的逻辑学家,也是中美数理逻辑交流渠道的开拓人。杨先生长期从事可计算性理论及计算复杂性领域的研究,是第三届亚洲逻辑会秘书长,第六届亚洲逻辑会主席,并担任数理逻辑杂志《Annals of Pure and Applied Logic》的顾问编辑。多年来,杨先生在国内外重要学术期刊上发表了大量论文,多次应邀在国际会议作学术报告,访问过哈佛、麻省理工、康奈尔、海德堡等多所国际名校。 http://philo.ruc.edu.cn/logic/zzn081017.htm 请教 杨东屏 先生的 email ,我想请教杨老一些问题。 谢谢! 软件工程历史杂谈-杨东屏-2010 2008(杨东屏)软件历史杂谈.zip 相关链接: 《巴利·玻姆(Barry Boehm)和软件工程》 http://blog.sciencenet.cn/blog-107667-394904.html
个人分类: 软件工程|10583 次阅读|2 个评论
2011年SCI收录软件工程学科期刊100种目录
wanyuehua 2011-9-21 09:38
2011 年 SCI 收录软件工程学科期刊 100 种, 其中 SCI 收录 27 种、 SCI E 收录 100 种。 2010 年 JCR 收录软件工程学科期刊 99 种,其中影响因子 4 以上有 2 种、影响因子 3 以上有 2 种,影响因子 2 以上有 6 种,影响因子 1 以上有 41 种, 2010 年软件工程期刊影响因子前 10 名期刊如下: 1、 IBM Journal of Research and Development 《国际商用机器公司研究与开发杂志》, ISSN:0018-8646 , 1957 年创刊, 2010 年影响因子 4.863 、 5 年影响因子 3.671 2、 SIAM Journal on Imaging Sciences 《工业与应用数学会成像科学杂志》, ISSN:1936-4954 , 2008 年创刊, 2010 年影响因子 4.279 、 5 年影响因子 4.279 3、 ACM Transactions on Graphics 《美国计算机学会图形学汇刊》, ISSN:0730-0301 , 1982 年创刊, 2010 年影响因子 3.533 、 5 年影响因子 4.544 4、 Journal of the Association for Computing Machinery 《美国计算机学会志》, ISSN:0004-5411 , 1954 年创刊, 2010 年影响因子 3.375 、 5 年影响因子 4.019 5、 Journal of Web Semantics 《网络符号学》, ISSN:1570-8268 , 2003 年创刊, 2010 年影响因子 2.789 、 5 年影响因子 3.593 6、 IEEE Micro Magazine 《 IEEE 微机杂志》, ISSN:0272-1732 , 1981 年创刊, 2010 年影响因子 2.527 、 5 年影响因子 3.034 7、 IEEE Internet Computing Magazine 《 IEEE 互联网计算杂志》, ISSN:1089-7801 , 1997 年创刊, 2010 年影响因子 2.514 、 5 年影响因子 2.467 8、 Communications of the ACM 《美国计算机学会通讯》, ISSN:0001-0782 , 1958 年创刊, 2010 年影响因子 2.353 、 5 年影响因子 2.487 9、 IEEE Transactions on Software Engineering 《 IEEE 软件工程汇刊》, ISSN:0098-5589 , 1975 年创刊, 2010 年影响因子 2.216 、 5 年影响因子 3.468 10、 Journal of Database Management 《数据库管理杂志》, ISSN:1063-8016 , 1988 年创刊, 2010 年影响因子 2.121 、 5 年影响因子 1.978 详细2011年SCI收录软件工程学科期刊100种目录请看附件。 附件: 2011年SCI收录软件工程学科期刊100种目录.doc
个人分类: SCI投稿|5492 次阅读|0 个评论
《软件工程》教学内容应该添加的几个内容
seawan 2011-9-13 09:58
软件从业人员职业道德:主要内容为IEEE的8条规则。 文档写作通用规范:论点清晰准确,论据充分,避免歧义等。 代码规范:注释,缩进,命名规则,模块化等等。 项目管理概述。学会从CSTQ四个侧面考量一个项目的可行性。 理由: 行业规范,应该关注 “文档”是软件文档的基础 代码是基本功 不做软件,还可以干别的,也要有项目管理的能力;另外是“软件项目管理”章的基础。
个人分类: 软件工程|2580 次阅读|0 个评论
上海理工大学软件工程(0835)一级硕士点已获批文,2012年正式招生
tyfond 2011-8-29 08:06
上海理工大学软件工程(0835)一级硕士点(国家新增的学术型硕士点)已获批文,2012年正式招生,欢迎计算机科学与技术、软件工程、网络工程、信息工程等相关专业报考,考试科目:英语、政治、数学II、数据结构及操作系统(自主命题)。或咨询: tyfond2@126.com ; 学校网站:hppt://www.usst.edu.cn; qq:786531538
个人分类: 研究生工作|3529 次阅读|0 个评论
欢迎报考上海的考生报考武汉大学国际软件学院-软件工程硕士
tyfond 2011-8-29 07:59
欢迎报考上海的考生报考武汉大学国际软件学院-软件工程硕士,自主命题、自主划线。上海设教学站,集中报名、自愿参加辅导班、在上海参加入学考试、录取后在上海集中上课、答疑、毕业设计及答辩等。辅导及报名咨询:Email:tyfond2@126.com; qq:786531538
个人分类: 学术交流|2678 次阅读|0 个评论
[转载]北工大2011年软件工程硕士(技术转移方向)秋季自主招生
lgjszy 2011-8-3 12:16
北京工业大学软件学院 2011年软件工程硕士秋季自主招生简章 来源北京工业大学软件学院 : http://sse.bjut.edu.cn/recruit/20110224/201102241.html 北京工业大学是国家“211工程”重点大学。北京工业大学软件学院是国家示范性软件学院,2011年面向全国招收软件工程硕士研究生,2011年9月入学。学生毕业将获得国家统一颁发的工程硕士专业学位证书。 一、办学目标和特色 北京工业大学软件学院的办学目标是按照国内和国际软件产业发展的需求,培养具有创新精神和创新能力、高层次的软件工程专业人才,使之掌握从事工程领域技术和管理工作所具备的坚实的基础理论和宽广的专业知识,掌握解决工程问题的先进技术方法和现代技术手段,具有独立承担软件工程技术和管理能力以及国际交流能力,成为软件行业所需要的应用型、复合型的高层次工程技术和工程管理人才。 软件学院工程硕士研究生的招生领域为软件工程,2011年秋季招生方向为: 专业方向 :软件与网络工程、嵌入式软件与系统、数字艺术、数字媒体技术、游戏开发技术、 技术转移与信息服务 。 二、报考条件 (1)遵纪守法,诚实守信,身体健康; (2)具有学士学位或具有国民教育系列大学本科学历(含成教、自考、网络教育),所学专业和年龄不限。 三、报名方法 (1)考生报名时需提供以下材料:①《报名表》二份;②近期同底版一寸免冠照片3张;③报名和考试费¥200元。④身份证、毕业证、学位证复印件各一份。北京考生可直接到学院报名,外地考生可将报名表填好后发至学院招生办公邮箱(ssezs@bjut.edu.cn)。同时将报名费通过邮局汇款汇至:北京市朝阳区平乐园100号北京工业大学软件学院严庆云 邮政编码:100124 (2)考生报名前应仔细核对本人是否符合报考条件,除了报名时进行资格初审外,报名和入学资格的终审将在入学报到时进行。进行终审时,凡不符合报考条件的考生将被取消入学资格,由此所带来的后果完全由考生本人承担。 报名截至时间:2011年6月中旬。 (报名从速,额满为止) 四、入学考试 (1)考试方式、时间及地点: 软件工程硕士研究生入学考试的命题和组织工作由软件学院负责。考试分为笔试和面试两部分,共4门,其中笔试科目三门:英语、数学(数字艺术方向考生须考艺术创作)、计算机基础,面试科目一门:专业综合能力测试(含英语口语),由软件学院设定单科及总成绩的录取分数线。 软件工程硕士(自主招生)具体考试时间、地点及科目安排以《准考证》上的说明为准。考生在参加入学考试前到北京工业大学软件学科楼110室领取《准考证》。 (2)免试条件: ①凡参加2010年在职攻读硕士学位全国联考(GCT),数学、英语成绩达到北京工业大学录取分数线,可免试相应科目,但需参加专业科目考试和面试。 ②申请免笔试的考生,需填写免试申请表,必须随同盖有报考院校研究生招生管理部门公章的成绩单原件和复印件,交由北京工业大学软件学院进行确认和审批。 (3)考试参考书目: 书名 著者 出版单位 编号 《高等数学》上、下册 (第五版) 同济大学 高等教育出版社 ISBN 7-04-010821-6 《 2007 硕士学位研究生入学资格考试 GCT 英语考前辅导教程》《研究生英语应试翻译与写作指导》 全国工程硕士专业学位教育指导委员会 查国生 清华大学出版社 ISBN978-7-302-15016-9 ISBN7-309-03208-x 计算机软件技术基础(第三版) 沈被娜 刘祖照 姚晓冬 清华大学出版社 ISBN 7-302-03941-0 五、录取 根据考生的入学考试成绩,实行择优录取。录取后在整个学习期间不转户口和档案关系,脱产学习的将党组织关系转至北京工业大学软件学院。在学习期间需在校住宿的学生需填写住宿申请表。 六、培养与管理 软件工程硕士研究生分为脱产和在职学习两种模式,完全按照北京工业大学软件学院制定的软件工程硕士培养方案进行培养,实行学分制管理。软件工程硕士研究生在规定时间内按照要求修满全部学分,成绩合格,并通过学位论文答辩,经过北京工业大学学位委员会审核通过,将获得国家统一颁发的工程硕士专业学位证书。完成整个工程硕士的课程学习、工程实践和论文撰写时间一般为2.5~3年,最长不超过5年。 七、学习费用 软件工程硕士的学费收取标准为1000元/学分,共计40学分,学费总计40000元,可一次性交清,也可分两次缴纳,在入学报到时交纳2万元,第二年工程实践分配导师前交纳另2万元。 八、联系方式 地址:北京朝阳区平乐园100号,北京工业大学软件学院(软件学科楼)招生办公室110室 电话:(010)67396522/67396681/67396566 传真:(010)67396681 网址:http://sse.bjut.edu.cn 邮件:ssezs@bjut.edu.cn 附件: 附件1工程硕士报名表.doc 附件2免试申请表.doc 附件3住宿申请表.doc 附件4考试大纲.rar
个人分类: 教学笔记|2557 次阅读|0 个评论
[转载]软件工程领域SCI和SCIE检索的期刊列表
baiyunrui 2011-7-27 15:51
软件工程领域SCI和SCIE检索的期刊列表如下: Total Journals: 98 1. ACM SIGPLAN NOTICES ( SCIE Monthly) 2. ACM TRANSACTIONS ON APPLIED PERCEPTION ( SCIE Quarterly) 3. ACM TRANSACTIONS ON DATABASE SYSTEMS ( SCI SCIE Quarterly) 4. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS ( SCIE Quarterly) 5. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS ( SCIE Quarterly) 6. ACM TRANSACTIONS ON GRAPHICS ( SCI SCIE Bimonthly) 7. ACM TRANSACTIONS ON INTERNET TECHNOLOGY ( SCIE Quarterly) 8. ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE ( SCI SCIE Quarterly) 9. ACM TRANSACTIONS ON MULTIMEDIA COMPUTING COMMUNICATIONS AND APPLICATIONS ( SCIE Quarterly) 10. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS ( SCI SCIE Bimonthly) 11. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY ( SCI SCIE Quarterly) 12. ACM TRANSACTIONS ON THE WEB ( SCEI Quarterly) 13. ADVANCES IN COMPUTERS ( SCIE Annual) 14. ADVANCES IN ENGINEERING SOFTWARE ( SCIE Monthly) 15. ALGORITHMICA ( SCI SCIE Monthly) 16. AUTOMATED SOFTWARE ENGINEERING ( SCIE Quarterly) 17. BIT NUMERICAL MATHEMATICS ( SCI SCIE Quarterly) 18. COMMUNICATIONS OF THE ACM ( SCI SCIE Monthly) 19. COMPUTER ( SCI SCIE Monthly) 20. COMPUTER AIDED GEOMETRIC DESIGN ( SCI SCIE Monthly) 21. COMPUTER ANIMATION AND VIRTUAL WORLDS ( SCI SCIE Bimonthly) 22. COMPUTER GRAPHICS FORUM ( SCIE Bimonthly) 23. COMPUTER GRAPHICS WORLD ( SCIE Monthly) 24. COMPUTER JOURNAL ( SCIE Bimonthly) 25. COMPUTER LANGUAGES SYSTEMS STRUCTURES ( SCIE Quarterly) 26. COMPUTER SCIENCE AND INFORMATION SYSTEMS ( SCIE Semiannual) 27. COMPUTER STANDARDS INTERFACES ( SCIE Bimonthly) 28. COMPUTER-AIDED DESIGN ( SCI SCIE Monthly) 29. COMPUTERS GRAPHICS-UK (SCIE Bimonthly) 30. CONCURRENCY AND COMPUTATION-PRACTICE EXPERIENCE ( SCIE Semimonthly) 31. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS ( SCIE Quarterly) 32. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE ( SCIE Quarterly) 33. EMPIRICAL SOFTWARE ENGINEERING ( SCI SCIE Quarterly) 34. FORMAL ASPECTS OF COMPUTING ( SCIE Quarterly) 35. FUNDAMENTA INFORMATICAE ( SCIE Monthly) 36. GRAPHICAL MODELS ( SCI SCIE Bimonthly) 37. IBM JOURNAL OF RESEARCH AND DEVELOPMENT ( SCI SCIE Bimonthly) 38. ICGA JOURNAL ( SCIE Quarterly) 39. IEEE COMPUTER GRAPHICS AND APPLICATIONS ( SCI SCIE Bimonthly) 40. IEEE INTERNET COMPUTING ( SCIE Bimonthly) 41. IEEE MICRO ( SCI SCIE Bimonthly) 42. IEEE MULTIMEDIA ( SCI SCIE Quarterly) 43. IEEE SECURITY PRIVACY ( SCIE Bimonthly) 44. IEEE SOFTWARE ( SCI SCIE Bimonthly) 45. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING ( SCIE Quarterly) 46. IEEE TRANSACTIONS ON MULTIMEDIA ( SCIE Quarterly) 47. IEEE TRANSACTIONS ON RELIABILITY ( SCIE Quarterly) 48. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING ( SCI SCIE Bimonthly) 49. IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS ( SCI SCIE Quarterly) 50. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS ( SCIE Monthly) 51. IET SOFTWARE ( SCIE Bimonthly) 52. IMAGE AND VISION COMPUTING ( SCI SCIE Monthly) 53. INFORMATION AND SOFTWARE TECHNOLOGY ( SCIE Monthly) 54. INFORMATION VISUALIZATION ( SCIE Quarterly) 55. INTERNATIONAL JOURNAL OF DATA WAREHOUSING AND MINING ( SCIE Quarterly) 56. INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE ( SCIE Quarterly) 57. INTERNATIONAL JOURNAL OF INFORMATION SECURITY ( SCIE Bimonthly) 58. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING ( SCIE Bimonthly) 59. INTERNATIONAL JOURNAL OF WAVELETS MULTIRESOLUTION AND INFORMATION PROCESSING ( SCIE Bimonthly) 60. INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES ( SCIE Quarterly) 61. INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH ( SCIE Quarterly) 62. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY ( SCIE Bimonthly SCIENCE CHINA PRESS) 63. JOURNAL OF DATABASE MANAGEMENT ( SCIE Quarterly) 64. JOURNAL OF FUNCTIONAL PROGRAMMING ( SCIE Bimonthly) 65. JOURNAL OF MATHEMATICAL IMAGING AND VISION ( SCI SCIE Bimonthly) 66. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS ( SCIE Bimonthly) 67. JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY ( SCIE Quarterly) 68. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE ( SCIE Bimonthly) 69. JOURNAL OF SYSTEMS AND SOFTWARE ( SCIE Monthly) 70. JOURNAL OF THE ACM ( SCI SCIE Bimonthly) 71. JOURNAL OF UNIVERSAL COMPUTER SCIENCE ( SCIE Monthly) 72. JOURNAL OF VISUAL COMMUNICATION AND IMAGE REPRESENTATION ( SCIE Quarterly) 73. JOURNAL OF VISUAL LANGUAGES AND COMPUTING ( SCI SCIE Bimonthly) 74. JOURNAL OF WEB ENGINEERING ( SCIE Quarterly) 75. JOURNAL OF WEB SEMANTICS ( SCIE Quarterly) 76. JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE C-COMPUTERS ELECTRONICS ( SCIE Monthly) 77. MATHEMATICAL AND COMPUTER MODELLING ( SCIE Monthly) 78. MATHEMATICAL PROGRAMMING ( SCI SCIE Monthly) 79. MATHEMATICS AND COMPUTERS IN SIMULATION ( SCIE Monthly) 80. MULTIMEDIA TOOLS AND APPLICATIONS ( SCIE Monthly) 81. OPTIMIZATION METHODS SOFTWARE ( SCIE Quarterly) 82. PRESENCE-TELEOPERATORS AND VIRTUAL ENVIRONMENTS ( SCI SCIE Bimonthly) 83. PROGRAMMING AND COMPUTER SOFTWARE ( SCIE Bimonthly) 84. RANDOM STRUCTURES ALGORITHMS ( SCI SCIE Bimonthly) 85. REQUIREMENTS ENGINEERING ( SCIE Quarterly) 86. SCIENCE OF COMPUTER PROGRAMMING ( SCIE Monthly) 87. SCIENTIFIC PROGRAMMING ( SCIE Quarterly) 88. SIAM JOURNAL ON IMAGING SCIENCES ( SCIE Quarterly) 89. SIGMOD RECORD ( SCIE Quarterly) 90. SIMULATION MODELLING PRACTICE AND THEORY ( SCIE Bimonthly) 91. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL ( SCIE Monthly) 92. SOFTWARE AND SYSTEMS MODELING ( SCIE Quarterly) 93. SOFTWARE QUALITY JOURNAL ( SCIE Quarterly) 94. SOFTWARE TESTING VERIFICATION RELIABILITY ( SCIE Quarterly) 95. SOFTWARE-PRACTICE EXPERIENCE ( SCIE Monthly) 96. THEORY AND PRACTICE OF LOGIC PROGRAMMING ( SCIE Bimonthly) 97. VISUAL COMPUTER ( SCIE Bimonthly) 98. WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS ( SCIE Quarterly) Note: XXX Software related / XXX Web related / XXX Web Service related PS: SCI 和 SCI-E (SCI-Expanded) 的区别 主要有以下几点: (1) SCI-E 是 SCI 的扩展版(即网络版),目前前者收录期刊 3600 多种,后者收录期刊 6000 多种,被 SCI 收录的期刊应该都被 SCI-E 收 , 但反之却不成立。 (2) 通常情况下, SCI 收录的期刊档次更高一些,但有时候也会发现 SCIE 收录期刊的影响因子可能比 SCI 还高,可能跟学科不同有关系。虽然你偶尔发现SCIE的影响因子可能比SCI还高,但就其影响价值仍不如SCI。 (3) SCI 是核心刊,全刊文章都被SCI 收录; SCI-E 是扩展版的期刊,并非所有文章被 SCI 收录。办的比较好SCIE杂志可能成为SCI杂志,而办的较差的SCI杂志可能变为SCIE,甚至被SCI和SCIE所放弃。 在我国,经国家科学技术部有关部门和领导研究,决定从2000年的统计工作起,SCI论文统计用检索系统改为用SCIE。也就是说:如果某位作者的论文被2000年版以后的SCIE收录,就算是被三大检索刊物之一的SCI收录了。 最后更新: 2011-1-19
22 次阅读|0 个评论
[转载]新进两年出台的信息技术与软件工程标准摘要
zlhua 2011-7-25 21:44
2011年4月份发布和废止的信息技术国际标准 2011-05-13 2011年4月份由国际标准化组织(ISO)和国际电工委员会(IEC)共同发布的信息技术(含信息安全)国际标准目录。此前发布的信息技术和安全技术国际标准目录详见计算机行业标准化网网站(网址: http://www.jhbw.org )的《标准目录》栏的有关条目。   ISO/IEC 12862:2011 信息技术 120mm(每面8.54G字节)和80mm(每面2.66G字节)DVD双层可记录光盘(DL的DVD-R) (代替ISO/IEC 12862:2009)   ISO/IEC 13249-3:2011信息技术 数据库语言 SQL多媒体和应用包 第3部分:空间(Information technology -- Database languages -- SQL multimedia and application packages -- Part 3: Spatial)(代替ISO/IEC 13249-3:2003)   ISO/IEC 14443-3:2011 识别卡 无触点的集成电路卡 接近式卡 第3部分:初始化和防冲突(Identification cards -- Contactless integrated circuit(s) cards -- Proximity cards -- Part 3: Initialization and anticollision)(代替ISO/IEC 14443-3:2001)   ISO/IEC20000-1:2011 信息技术 服务管理 第1部分:服务管理系统要求(Information technology -- Service management -- Part 1: Service management system requirements)(代替ISO/IEC 20000-1:2005——GB/T 24405.1-2009)   ISO/IEC23005-6:2011 信息技术 媒体上下文和控制 第2部分:公共类型和工具(Information technology -- Media context and control -- Part 6: Common types and tools)   ISO/IEC29103:2011 信息技术 办公设备 彩色照片打印机用墨盒寿命测量的彩色照片测试页(Information technology -- Office equipment -- Colour photo test pages for measurement of ink cartridge yield for colour photo printing)   废止ISO/IEC9126-1:2001 软件工程 产品质量 第1部分:质量模型(Software engineering -- Product quality -- Part 1: Quality model)(该标准由ISO/IEC 25010:2011代替,我国采用ISO/IEC 9126-1:2001制定的标准为GB/T16260.1-2006) 2010年发布的软件工程国家标准简介(一) 2011-06-07 (郑洪仁)2010年,国家标准化管理委员会发布的软件工程国家标准共计15个,其中已出版发行9个。本标准化网的网员单位若需要,可向秘书处联系,其他单位需要者可到中国电子技术标准化研究所的标准发行部门(010-84029065)或中国标准出版社购买。已出版发行的9个标准简介如下,尚未出版的标准待出版后再进行介绍。此前发布的软件工程国家标准的简介详见计算机行业标准化网网站(网址: http://www.jhbw.org )的《标准及简介》栏的有关条目。   这9个标准的简单内容如下:   GB/T 18491.2-2010 信息技术 软件测量 功能规模测量 第2部分:软件规模测量方法 与GB/T 18491.1-2001的符合性评价   GB/T 18491(共6个部分)的该部分依据GB/T 18491.1-2001的规定建立了一个对候选的功能规模测量(FSM)方法进行符合性评价的框架,描述了一个符合性评价过程,描述了执行一个符合性的要求。   该部分首先给出了有关的的术语及其定义,然后详细规定了软件FSM方法与GB/T 18491.1-2001的符合性评价,包括一般概况、评价方特性、符合性评价的输入、符合性评价规程的任务和步骤、符合性评价的输出、符合性评价结果。标准以附录的形式给出了评价方的能力、符合性评价检查表示例、符合性评价报告模板的示例。   该部分可用于第一方(供方)、第二方(用户或采购方)或第三方(独立主体)的符合性评价。   该标准等同采用国际标准ISO/IEC 14143-2:2002   GB/T 18491.3-2010 信息技术 软件测量 功能规模测量 第3部分:功能规模测量方法的验证   GB/T 18491的该部分规定了一个框架,用以验证功能规模测量(FSM)方法的陈述和(或)执行验证发起方请求的测试,所涉及的性能包括重复性和再现性、准确性、可转换性、辨别阈值、对功能域的适应性。   该部分首先给出了有关的的术语及其定义,然后详细规定了软件FSM的验证,包括一般概况、组建验证组、汇集验证输入、执行验证、编辑验证输出。标准以附录的形式给出了测试请求的表述、验证方法、验证报告的示例。   该部分适用于验证FSM的输出,即验证报告。   该标准等同采用国际标准ISO/IEC TR 14143-3:2003   GB/T 18491.4-2010 信息技术 软件测量 功能规模测量 第4部分:基准模型   GB/T 18491的该部分规定了在验证一个功能功能规模测量(FSM)方法时使用的基准模型。基准模型由两部分组成,即一个可以用FSM方法来估计模型的基准用户需求(RUR)的分类框架,以及选择基准FSM方法的指导说明。   在标准的引言中,首先以示图的形式给出了RUR的使用和基准FSM方法。在正文中详细规定了基准用户要求,包括RUR要求、RUR汇集选择要求,以及应用的例子;基准FSM方法,包括一般要求、使用基准FSM方法的例子。该标准以更详的内容给出了三个附录,即商业应用RRUR、实时/控制RUR、RUR参考列表。   该部分规定的基准FSM方法的要求有助于选择基准FSM方法。   该标准等同采用国际标准ISO/IEC TR 14143-4:2002   GB/T 18491.5-2010 信息技术 软件测量 功能规模测量 第5部分:功能规模测量的功能域确定   GB/T 18491的该部分描述了功能规模测量(FSM)的功能域的属性和可用于确定功能域的功能用户需求(FUR)特性的原理。   该部分给出了有关要求,包括功能域的一般要求、功能域特性的一般要求;规程,包括确定用于给定FUR集合的功能域、确定一个FSM方法对特定功能域的适用性。标准以附录的形式提供了两种实现这些原理的方法实例,即确定功能域的CHAR方法和确定功能域的BFC(基本功能部件)方法。   该标准等同采用国际标准ISO/IEC TR 14143-5:2004   GB/T 18491.6-2010 信息技术 软件测量 功能规模测量 第6部分:GB/T 18491系列标准和相关标准的使用指南   GB/T 18491的该部分提供了功能规模测量(FSM)相关标准的概括说明,以及GB/T 18491系列FSM框架标准、功能规模测量方法(FSMM)标准之间的关系并为用户提供了选择、开发、使用的指南。   该部分详细给出了功能规模测量(FSM)和功能规模测量方法(FSMM)标准以及两者的关系,包括FSM相关标准概要、FSMM标准的概要、FSM相关标准间的关系、FSM相关标准间的用法指南;功能规模测量(FSM)和功能规模(FS)的使用,包括项目管理、性能管理;功能规模测量方法(FSMM)的选择和开发过程。标准以附录的形式给出了功能规模测量(FSM)相关标准的范围。   该部分涉及的FSM相关标准是指GB/T 18491的其他部分、FSMM标准是指ISO/IEC 19761(COSMIC-FFP方法)、ISO/IEC 20926(IFPUG方法)、ISO/IEC 20968(MkII方法)、ISO/IEC 24570(NESMA方法)四项标准。   该部分可供FSM的用户与潜在用户、FSMM的开发方使用。   该标准等同采用国际标准ISO/IEC 14143-6:2006   GB/T 24405.2-2010 信息技术 服务管理 第2部分:实践规则   该部分描述了业界一致认可的信息技术(IT)服务管理过程的质量标准。为满足顾客的业务要求,这些服务管理过程在协商一致的资源水平内交付可能的最佳服务。即,服务是专业的、经济的、具有的风险是可理解的和可管理的。   该部分为审核员提供指南,也为服务提供方策划服务改进或依据GB/T 24405.1进行审核提供帮助。   该部分详细规定了实践规则的管理体系,包括管理职责、文件要求、能力、意识和培训;策划和实施服务管理,包括策划服务管理、实施服务管理和提供服务、监视、测量和评估、持续改进;策划和实施新服务或变更的服务,包括需考虑的主韪、变更记录;服务交付过程,包括服务级别管理、服务台报告、服务连续性和可用性管理、IT服务的预算与核算、能力管理、信息安全管理;关系过程,包括业务关系管理、供方管理;解决过程包括背景、事件管理、问题管理;控制过程,包括配置管理、变更管理;发布过程。该部分适用于开发管理工具、产品和系统的组织用来开发支持最佳实践服务管理的工具、产品和系统。   该部分等同采用国际标准ISO/IEC 20000-2:2005。   该标准分为二个部分,第1部分为GB/T 24405.1-2009 信息技术 服务管理 第1部分:规范   GB/T 25000.1-2010 软件工程 软件产品质量要求与评价(SQuaRE) SQuaRE指南   该标准提供了软件产品质量要求和评价(SQuaRE)系列标准的使用指南。   SQuaRE系列标准用于但不限于软件产品的开发方、需方和独立的评价方,特别是负责定义软件质量需求和负责软件产品评价的人们。   标准首先给出了有关的术及其定义,然后详细给出了SQuaRE的关于产品质量要求和评价的系列标准,包括SQuaRE系列标准的组织结构, SQuaRE 系列标准内各个文件的概述,SQuaRE公共模型。标准以附录的形式给出了 SQuaRE系列标准与其他ISO标准间的关系、GB/T 18905和GB/T 16260的综述、 SQuaRE系列标准的应用示例等。   这里所说的SQuaRE系列标准是指ISO/IEC 250XX标准,目前已有12项,(我国拟为GB/T 25000.XX标准)。   该标准适用于开发管理工具、产品和系统的组织用来开发支持最佳实践服务管理的工具、产品和系统。   该标准等同采用国际标准ISO/IEC 25000:2005。   GB/T 25000.51-2010 软件工程 软件产品质量要求与评价(SQuaRE) 商品现货(COTS)软件产品的质量要求和测试细则   该标准规定了商业现货(COTS)软件产品的质量要求,用于测试COTS软件产品的包含测试要求、测试用例和测试报告等的测试文档要求,COTS软件产品的符合性评价细则。   所谓“COTS软件产品”就是一种打包出售现货产品,需方对其特征和其他质量没有任影响。   标准详细规定了COTS软件产品的要求,包括产品说明要求、用户文档集要求、软件质量要求;测试文档集要求,包括一般要求、测试计划要求、测试说明要求、测试结果要求;符合性评价细则,包括评价通则、符合性评价先决条件、符合性评价活动、第三方符合性评价过程、符合性评价报告、后续符合性评价。标准以附录的形式给出了COTS软件产品在业务或安全性攸关的应用系统中的应用指南,并介绍了如何使用该标准。   该标准适用于商业现货(COTS)软件产品。   该标准等同采用国际标准ISO/IEC 25051:2006。   ISO/IEC 25051:2006代替ISO/IEC 12119:1994,等同采用ISO/IEC 12119:1994的我国标准是GB/T17544-1998。由于ISO/IEC 12119:1994已被代替,因此GB/T17544-1998也被GB/T 25000.51-2010代替。 GB/T 25644-2010 信息技术 软件工程 可复用资产规范   该标准规定了可复用软件资产的结构、内容和描述方法。   标准首先给出了有关的术及其定义,其中规定,“可复用资产”就是对重复出现的问题的解决方案,它是基于复用思想开发的资产。然后给出了文档约定和UML(统一建模语言)约定;随后详细规定了可复用资产的各种要求,包括可复用资产规范(RAS)的基本模型、默认剖面、默认结构剖面、默认Web Service剖面。标准以附录的形式给出了资产的打包、默认剖面的XML Schema。   该标准适用于可复用软件资产的设计、开发、管理、组装、使用等活动,并适用于从事可复用软件资产管理、开发以及实施基于资产开发方式的各类软件组织。 2010年发布的软件工程国家标准简介(二) 2011-07-06 (郑洪仁)2010年,国家标准化管理委员会发布的软件工程国家标准共计15个。其中,于5月份出版发行的9个标准的简介已在本标准化网站中给出。此后又出版发行了5个标准。至此,除GB/T 26240-2010《系统工程 系统工程过程的应用和管理》外,2010年发布的软件工程国家标准均已出版发行。本标准化网的网员单位若需要,可向秘书处联系,其他单位需要者可到中国电子技术标准化研究所的标准发行部门(010-84029065)或中国标准出版社购买。最近出版发行的5个标准简介如下。此前发布的软件工程国家标准的简介详见计算机行业标准化网网站(网址: http://www.jhbw.org )的《标准及简介》栏的有关条目。   这5个标准的简单内容为:   GB/T 26223-2010 信息技术 软件重用 重用库互操作性的数据模型 基本互操作性数据模型   该标准规定了基本互操作数据模型(BIDM)。该BIDM的意图是,为了支持互操作性,实现资产能够交换,定义一个关于资产信息的最小集合。由于该BIDM描述的是一个最小集合,所以对互操作有用的其他信息,包括库的数据模型信息就没有包括在该BIDM中。另外,该BIDM也不包含通信协议以及相关的标准。   在该标准(基本互操作性数据模型)中,首先概述了BIDM,并给出了BIDM的类层次结构,然后详细规定了BIDM的元模型(含BIDM中类的定义模板和属性的定义模板),数据类型(含日期、整数、字符串、文本),类(含一个父类和4个子类),以及各类的属性。   该标准适用于从事软件资产库的开发、实现和管理的组织。   GB/T 26224-2010 信息技术 软件生存周期过程 重用过程   该标准规定了重用过程,并将重用过程关联到GB/T8566-2007定义的软件生存周期基本过程。该标准为扩充软件生存周期过程以包括软件重用活动的系统实践提供了一个公共框架。该标准规定了软件生存周期中能够用资产来构建软件产品的每一个阶段所要执行的那些过程、活动与任务。该标准还规定了能够用来标识、构建、维护和管理资产的那些过程、活动与任务。   该标准首先规定了软件生存周期过程重用过程的结构,然后详细规定了重用过程集成到生存周期的各个基本过程,包获取过程、供应过程、开发过程、运作过程、维护过程。标准以附录的形式给出了重用过程的一些基本概念、重用过程的目标、支持重用所需的工具类型。   该标准适用于软件产品(包括资产)的获取,软件服务的获取,以及软件产品(包括资产)的供应、开发、运行和维护,为重用而设计的现成软件则是被该标准覆盖的那些资产的特例。   GB/T 26236.1-2010 信息技术 软件资产管理 第1部分:过程   GB/T 26236的该部分为软件资产管理(SAM)用的一整套过程建立了基线。   该部分详细规定了软件资产管理(SAM)的各个过程,首先在总则中给出了SAM的定义以及与服务管理的关系、SAM过程概述及框架、活动和接口,然后详细规定了SAM控制环境,包括控制环境的组成、SAM公司治理过程、SAM角色和职责、SAM方针和规程、SAM能力;SAM策划和实施过程的内容及持续改进;SAM库存过程,包括SAM库存过程的内容、软件资产标识、软件资产库存管理、软件资产控制;SAM验证和依从性过程,包括组成、软件资产记录验证、软件许可的依从性、软件资产安全的依从性、SAM符合性验证;SAM运作管理过程和接口,包括运作管理过程和接口的内容、SAM的关系和合同管理、财务管理、服务级别管理、安全管理;SAM与生存周期过程接口,包括生存周期过程的组成、变更管理过程、获取过程、软件开发过程、软件发布管理过程、软件部署过程、事件管理过程、问题管理过程、退役过程。   该部分适用于软件资产管理过程,各类组织均能通过实施该标准获得直接利益,它能适用于所有的软件和相关资产而不论软件的性质如何,适用于任何规模、任何地区的所有组织。   该部分等同采用国际标准ISO/IEC 19770-1:2006。   GB/T 26239-2010 软件工程 开发方法元模型   该标准规定了软件工程开发方法元模型(SEMDM)。该元模型为定义和扩展基于信息的领域(IBD)(例如软件、业务或系统)的开发方法建立了一个形式的框架,其中包括三个主要的方面:所遵循的过程、所使用和生成的产品,以及所涉及的人员和工具。   该标准详细规定了元模型的基本概念,包括方法工程、双层建模、强类型和类对象、过程和产品的联合、过程评估;SEMDM引论,包括高级别抽象视图、抽象视图和核心类、过程类、生产者类、产品类、过程和产品连拉、支持类;元模型元素,包括类和枚举类型;元模型的采用,包括用法规则和用法指南;对元模型的扩展,包括扩展规则和扩展指南。标准以附录的形式给出了一些实用示例,以及到其他元建模途径的映射。   该元模型能用作定义和扩展任何IBD开发方法和任何关联的元模型的形式基础,并由方法工程师典型地用于承担此类定义和扩展任务中。   该部分等同采用国际标准ISO/IEC 24744:2007。   GB/Z 26247-2010 信息技术 软件重用 互操作重用库存的操作概念   该指导性技术文件规定了必要的、适用于重用库互操作网络的一些概念,它旨在描述关于重用库之间互操作的那些标准化工作的语境。   该指导性技术文件详细给出的互操作重用库网络的概念包括其背景与目标、互操作重用库网络的对象与关系、操作策略与约束、互操作重用库网络的描述、支持环境;还出了有关问题的总结,包括操作方面的影响、组织方面的影响涉及的问题和目标。标准以附录的形式给出了重用库互操作性的一些示例和各类公司和人员运行的一些示例。   该指导性技术文件应与GB/T 26223-2010《信息技术 软件重用 重用库互操作性数据模型 基本互操作性数据模型》结合使用。 来源1: http://bjb.cqis.cn/main_content.php?id=141 来源2: http://www.cesi.ac.cn/cesi/biaozhun/biaozhunhuadongtai/2011/0509/9058.html 系统和软件工程词汇国际标准正式发布 时间:2011-05-09 08:29 来源:计算机行业标准化网 作者:郑洪仁 日前,国际标准化组织发布了ISO/IEC/IEEE 24765:2010《系统和软件工程 词汇》(Systems and software engineering — Vocabulary)国际标准。该国际标准提供了用于所有系统和软件工程描述的公共词汇。它将在ISO和IEEE制定的信息技术领域中的系统和软件工程 标准中得到采用。到目前为止,国际标准化组织先后发布了软件工程方面的国际标准共计128个(含7个废止和被代替的标准)。ISO/IEC/IEEE 24765:2010发布后,将对新制定的和修订过去的软件工程国际标准的术语和定义产生影响。 我国曾制定了GB/T 11457-1995《软件工程术语》国家标准,它定义了软件工程领域中的经常用到的545个中文术语。于2006年修订为GB/T 11457-2006《信息技术 软件工程术语》,它定义了软件工程领域中的1859个中文术语。GB/T 11457-2006吸收了IEEE Std 610.12.1990 IEEE Standard Glossary of Software Engineering Terminology中的全部软件工程方面的术语,并参考了软件工程有关标准方面的部分术语。因此,ISO/IEC/IEEE 24765:2010发布后,将对日后修订GB/T 11457产生影响。 我国先后制定了软件工程方面的国家标准58个(其中,废止和被代 替的标准也是7个),其中有41个是采用ISO国际标准制定的,有3个是采用IEE标准制定的(含IEEE 610.12术语标准)。因此,ISO/IEC/IEEE 24765:2010发布后,将对新制定的和修订过去的软件工程我国国家标准和行业标准的术语和定义产生影响。 来源3: http://www.iso.org/iso/catalogue_detail.htm?csnumber=50518 ISO/IEC/IEEE 24765:2010 provides a common vocabulary applicable to all systems and software engineering work. It was prepared to collect and standardize terminology. ISO/IEC/IEEE 24765:2010 is intended to serve as a useful reference for those in the information technology field, and to encourage the use of systems and software engineering standards prepared by ISO and liaison organizations IEEE Computer Society and Project Management Institute. ISO/IEC/IEEE 24765:2010 includes references to the active source standards for each definition so that the use of the term can be further explored. Media and price Language Format Add to basket English PDF (1 973 kB) CHF 338,00 English PDF on CD CHF 338,00 General information Number of Pages: 410 Edition: 1 (Monolingual) ICS: 01.040.35 ; 35.080 Status: Published Stage: 60.60 (2010-12-15) TC/SC: JTC 1/SC 7
个人分类: 快乐学习|2390 次阅读|0 个评论
[转载]Seven Basic Principles of Software Engineering软件工程7原则
geneculture 2011-7-24 15:56
软件工程7原则 附录1 : Barry Boehm 提出的 软件工程的七原则 ( Seven Basic Principles of Software Engineering ) 原则一:使用分阶段的生命周期计划管理 ( manage using a phased life-cycle plan ) ( 1 ) 一定要有项目计划; ( 2 )项目要划分生命周期阶段,每个阶段都要有计划; ( 3 )计划要分阶段逐步细化; ( 4 )要使用项目计划管理项目,不能弃之不用。 原则二:执行持续确认 ( perform continuous validation ) 原则三:坚持规范的产品控制 ( maintain disciplined product control ) 原则四:使用现代化的编程实践 ( use modern programming practices ) 原则五:坚持结果的清晰的责任 ( maintain clear accountability for results ) 原则六:使用少而精的人员 (use better and fewer people) 原则七:坚持过程改进的承诺 (maintain a commitment to improve the process) http://blog.csai.cn/user1/15522/archives/2011/46169.html 附录2 : 敏捷的实践很好的满足了上述的七个原则: Barry Boehm 七原则 敏捷实践 原则一:使用分阶段的生命周期计划管理 采用迭代的生命周期模型 增量式交付 制定交付计划与迭代计划 原则二:执行持续确认 现场客户随时执行功能测试 测试驱动开发 持续集成 sprint review 原则三:坚持规范的产品控制 现场客户或 product owner 负责维护需求 持续集成 原则四:使用现代化的编程实践 系统隐喻 重构 原则五:坚持结果的清晰责任 时间箱管理 开发人员认领任务 用户故事的验收准则 每日站立会议 测试驱动开发 持续集成 现场客户功能测试 sprint review 原则六:使用少而精的人员 每个项目小组不超过 10 人 采用一专多能,交叉职责的人员 自我管理的团队 每周工作 40 小时 原则七:坚持过程改进的承诺 sprint retrospective http://blog.csai.cn/user1/15522/archives/2011/46169.html 附录3 : Google 学术: "Seven Basic Principles of Software Engineering" Seven basic principles of software engineering - Boehm - 被引用次数:80 201 principles of software development - Davis - 被引用次数:154 Is Internet-speed software development different? - Baskerville - 被引用次数:79 搜索结果 Seven Basic Principles of Software Engineering - 文件格式: PDF/Adobe Acrobat - 快速查看 作者:BW Boehm - 1983 - 被引用次数:80 - 相关文章 Seven Basic Principles of Software Engineering . Barry W. Boehm. TRW Defense Systems Group. This paper attempts to distill the large number of individual ... sunset.usc.edu/csse/TECHRPTS/1983/usccse83-500/usccse83-500.pdf Seven Basic Principles of Software Engineering - 文件格式: PDF/Adobe Acrobat - 快速查看 作者:BW Boehm - 被引用次数:78 - 相关文章 Seven Basic Principles of Software Engineering . Barry W. Boehm. TRW Defense Systems Group. This paper attempts to distill the large number of individ- ... www.inf.ed.ac.uk/teaching/courses/seoc/2005.../bullet04.pdf - 类似结果 A search for fundamental principles of software engineering - 文件格式: PDF/Adobe Acrobat - 快速查看 B. Boehm, Seven basic principles of software engineering . 1. Syst. Software 3 (I) (1983). (61 A.M. Davis, 201 Principles of Software Development, Mc- ... www.gelog.etsmtl.ca/publications/pdf/249.pdf 201 principles of software development - 作者:AM Davis - 1995 - 被引用次数:154 - 相关文章 Boehm, B., " Seven Basic Principles of Software Engineering ," Journal of Systems and Software, 3, 1 (March 1983), pp. ... portal.acm.org/citation.cfm?id=203406 - 类似结果
1 次阅读|0 个评论
[转载]软件工程史上最大的误解:瀑布流程的真相
热度 3 zlhua 2011-7-19 23:15
今天突然发现 WWW.SOSO.COM 居然很好用,呵呵,还有GOOGLE,真是太让我热爱了,想要什么资料都可以搜到,真是太感谢了。。。。 http://group.vsharing.com/Article.aspx?aid=1095457 近 20 年来,国内 IT 项目和软件开发的主流是瀑布式流程(Process)。与瀑布模型相对的是 IID(迭代递增式开发)模型。 敏捷大师 Craig Larman 和软件工程权威 Victor Basili 教授在 2003 年发表于 IEEE Computer 杂志的封面文章《Iterative and Incremental Development: A Brief History》中为我们讲解了一段非常精彩的有关瀑布模型的历史故事,这也可以说是世界软件工程史最大的误解之一。 google:iterative+and+incremental+development+a+brief+story 几十年来大家所熟悉的软件工程瀑布模型(waterfall model)概念,起源于 Winston Royce 发表于 1970 年的著名文章 "Managing the Development of Large Software Systems" (Proc. Westcon, IEEE CS Press, 1970, pp. 328-339)。 自此,世界上很多人错误地认为 Royce 大师在这篇文章中倡导的是对于软件开发,尤其大型、复杂系统和产品的开发,应当采用当今大家早已烂熟于胸的瀑布模型,即一个严格、顺序(sequential)、单次(single-pass)的瀑布生命周期,也就是说一个 IT/软件项目应该包括这样几个阶段:需求分析阶段、概要设计阶段、详细设计阶段、编码实现阶段和测试阶段、部署阶段等等。 而实际上瀑布之父 Winston Royce 真正倡导的是什么?他建议的其实是 do it twice,一个两次瀑布的“迭代”模型! If the computer program in question is being developed for the first time, arrange matters so that the version finally delivered to the customer for operational deployment is actually the second version in so far as critical design/operations areas are concerned. Winston Royce 的儿子、著名软件工程专家、RUP 创始人之一 Walker Royce 后来这样形容他父亲和那篇著名的文章: He was always a proponent of iterative, incremental, evolutionary development. His paper described the waterfall as the simplest description, but that it would not work for all but the most straightforward projects. The rest of his paper describes within the context of the 60s/70s government-contracting models (a serious set of constraints). 好了,几十年来被大家所公认的“瀑布之父”其实一直倡导的是迭代、递增和演进式开发,他在那篇经典文章中描述的瀑布模型,其实只是一种最简单的情况,并不是普遍适用所有的软件产品和系统开发、信息化和系统集成项目。而现在看,瀑布也肯定不是一种先进和最佳的软件生命周期解决方案。 怎么样,业界的以讹传讹现象很严重吧,从 1970 年代开始,一传就传了近 40 年! CMM 和 CMMI 是过去 10 年的主流。令人遗憾的是,很多人误以为 CMM、CMMI 的缺省、默认标准就是瀑布式,瀑布式是全球软件工程界的最佳实践! 附录: waterfall.pdf history-of-iterative-larman-and-basili-ieee-computer.pdf
个人分类: 快乐学习|3382 次阅读|4 个评论
上海理工大学计算机学科点,期待高水平团队加盟!
热度 2 tyfond 2011-7-2 06:05
上海理工大学计算机科学与技术、软件工程一级学科点,期待高水平团队加盟,待遇从优!先期请先Email联系。 Email:tyfond2@126.com;wcx@usst.edu.cn
个人分类: 研究生工作|3880 次阅读|3 个评论
关于《A Structured Programming Approach using C》
junqing 2011-7-1 09:47
这是一本介绍C语言及软件工程方面的书籍,书名《A Structured Programming Approach using C, Third Edition》,作者是 B. A. Forouzan and R. F. Gilberg.本书适合计算机系的本科学生、初学者。比较重要的部分就是指针及其应用、字符串处理等。花了将近两天的时间看完这本书,多少还是有些收获的。觉得这本书缺乏有趣的例子和实际的项目,如果添加了这些,会更完美。总之,还是要多实践,多编程,否则很快就忘了!
4801 次阅读|0 个评论
“软件工程”国际学术会议排名
热度 3 zhoujg 2011-4-14 17:14
搞这个排名的主要原因在于尽管当前已经有许多排名,但没有一个能够全包括作者所关注的所有会议,为此,此排名一方面激起大家的讨论(因为只要是排名,就没有一个普适的标准,容易形成讨论),让同领域的研究者(当然主要针对入门者)对此有着概括的认识;另一方面也是督促自己不断向着高水平的学术会议看齐。 本排名榜参考了中国计算机学会推荐的学术会议( http://www.ccf.org.cn/sites/ccf/nry.jsp?contentId=2565073010487 )、网上的一些排名等。当然,由于视野的问题,也不可能一一列全(请参见 http://people.engr.ncsu.edu/txie/seconferences.htm ,基本囊括了所有软件工程相关的会议)还请见谅。 以下将会议分为A、B、C、D四类(其实这些会议都挺不错的: ): A类: ICSE ( Int. Conf. Software Engineering ) FSE ( ACM Symp. Foundations of Software Engineering ) OOPSLA ( ACM Conf. Object-Oriented Programming, Systems, Languages, and Applications ) B类: ASE ( ACM/IEEE Int. Conf. Automated Software Engineering ) ESEC ( European Software Engineering Conference ) ISSTA ( Int. Symp. Software Testing and Analysis ) ECOOP ( European Conf. Object Oriented Programming ) C类: ICSM ( Int. Conf. Software Maintainance ) ICSP ( Int. Conf. Software Process ) ICSR ( Int. Conf. Software Reuse ) ICST ( Int. Conf. Software Testing, Verification and Validation ) SPLC ( Int. Software Product Line Conference ) CBSE ( ACM Int. Symp. Component-based Software Engineering ) RE ( IEEE Int.Conf. Requirment Engineering ) WICSA ( Working IEEE/IFIP Conf. Software Architecture ) GPCE ( Int. Conf. Generative Programming and Component Engineering ) MoDELS ( ACM/IEEE Int. Conf. Model Driven Engineering Languages and Systems ) AOSD ( Int. Conf. Aspect-oriented Software Development ) ESEM ( Int. Symp.Empirical Software Engineering and Measurement ) XP ( Int. Conf . Agile Software Development ) D类: SEKE ( Int. Conf. Software Engineering and Knowledge Engineering ) COMPSAC ( IEEE Computer Software and Application Conf. ) APSEC ( Asian and Pacific Software Engineering Conf. ) SERA ( ACIS Conf. Software Engineering Research, Managment, and Application ) QSIC ( Int. Conf. Quality Software ) FASE ( Int. Conf. Fundamental Approaches to Software Engineering ) WCRE ( Working Conf. Reverse Engineering ) ISSRE ( Int. Symp. Software Reliability Engineering ) CSMR ( European Conf. Software Maintenance and Reengineering )
个人分类: 学术科研|13833 次阅读|6 个评论
“面向对象软件工程”讨论题
求新 2010-12-23 20:47
请结合以下各个方面比较传统软件工程与面向对象软件工程的异同,说明面向对象软件工程的特点是什么。 传统软件工程 面向对象软件工程 技术可行性认证 考虑已有的面向对象模型及程序部件、构件、中间件的可应用性、待扩展与待适应问题;分析需要新开发的部件、构件、中间件的难点与技术可行性 经济可行性认证 在考虑已有的面向对象模型及程序部件、构件、中间件、框架等可复用软件的情况下分析新系统成本构成;分析新扩展或新开发的部件、构件、中间件在今后软件开发中的意义、作用与经济价值。 瀑布模型、原型法 面向复用的开发方法 用部件系统搭建系统原型的意义与方法 项目计划与项目进度的主要时间与成本在程序代码设计与系统正确性、完善性维护 项目计划与项目进度的主要时间与成本在需求分析、建模、建库与建表及系统扩展性维护 同类系统比较与分析 工作流程图、数据流程图、 IPO 图 用例图、类图及说明文档 需求管理重点在数据需求变更、界面变更、代码表变更、接口与环境变更 需求管理重点在复用软件需求、界面变更、接口与环境变更 模块结构图与模块描述, U/C 矩阵 组件图与部署图与组件、网络等环境描述, U/C 矩阵 程序流程图,判定树与判定表 类图、时序图、协作图、活动图、状态图、判定树与判定表 用户界面设计 按对数据库处理类型区分系统并进行界面分析与设计(以部件库单表数据维护部件的设计过程、多表数据维护部件的设计过程、表格式数据维护部件的设计过程、查询类部件的设计过程、统计与报表等部件的设计过程、数据传送部件的设计过程、工作流控制部件的设计过程、系统维护部件的设计过程、系统控制类部件的设计过程为例总结说明 代码表的应用 代码表与历史数据的使用 子程序、宏、函数设计,强调模块化 类、继承、聚合、泛化及其他关联、多态的分析与设计,参数、属性选择与设定 集中式控制,水平下拉菜单与弹出式菜单控制,显式命令调用 集中式控制,水平下拉菜单、与弹出式菜单、图标、按钮、目录树等控制,工作流控制,事件驱动 通过代码改进追求易操作性、易维护性、易理解性、高安全性、高可靠性,运行高效 通过软件复用、软件分层等实现易扩展性、易维护性、高安全性、高可靠性。强调软件进化、开发过程高效率 结构化测试方法 面向对象测试方法 测试开发工具 各类面向对象开发工具,正向工程、反向工程
个人分类: 生活点滴|4148 次阅读|0 个评论
巴利·玻姆(Barry Boehm)和软件工程
热度 1 zlyang 2010-12-18 21:08
巴利·玻姆(Barry Boehm)和软件工程 Barry W. Boehm (1935- ) http://sunset.usc.edu/people/barry-4.jpg Barry W. Boehm , Seven basic principles of software engineering . Journal of Systems and Software, Volume 3, Issue 1, March 1983, Pages 3-24 http://sunset.usc.edu/csse/TECHRPTS/1983/usccse83-500/usccse83-500.pdf Barry W. Boehm , A View of 20th and 21st Century Software Engineering http://www.isr.uci.edu/icse-06/program/keynotes/boehm.html 张海藩《软件工程导论》(第 5 版)第 7 页,清华大学出版社 软件工程的基本原理 自从 1968 年在联邦德国召开的国际会议上正式提出并使用了“软件工程”这个术语以来,研究软件工程的专家学者们陆续提出了 100 多条关于软件工程的准则或“信条”。著名的软件工程专家 B·W·Boehm 综合这些学者们的意见并总结了 TRW 公司多年开发软件的经验,于 1983 年在一篇论文中提出了软件工程的 7 条基本原理。他认为这 7 条原理是确保软件产品质量和开发效率的原理的最小集合。这 7 条原理是互相独立的,其中任意 字符 条原理的组合都不能代替另一条原理,因此,它们是缺一不可的最小集合,然而这 7 条原理又是相当完备的,人们虽然不能用数学方法严格证明它们是一个完备的集合,但是,可以证明在此之前已经提出的 100 多条软件工程原理都可以由这 7 条原理的任意组合蕴含或派生。下面简要介绍软件工程的 7 条基本原理。 1. 用分阶段的生命周期计划严格管理 有人经统计发现,在不成功的软件项目中有一半左右是由于计划不周造成的,可见把建立完善的计划作为第一条基本原理是吸取了前人的教训而提出来的。 在软件开发与维护的漫长的生命周期中,需要完成许多性质各异的工作。这条基本原理意味着,应该把软件生命周期划分成若干个阶段,并相应地制定出切实可行的计划,然后严格按照计划对软件的开发与维护工作进行管理。 不同层次的管理人员都必须严格按照计划各尽其职地管理软件开发与维护工作,绝不能受客户或上级人员的影响而擅自背离预定计划。 2. 坚持进行阶段评审 当时已经认识到,软件的质量保证工作不能等到编码阶段结束之后再进行。这样说至少有两个理由:第一、大部分错误是在编码之前造成的,例如,根据 Boehm 等人的统计,设计错误占软件错误的 63% ,编码错误仅占 37% ;第二、错误发现与改正得越晚,所需付出的代价也越高(参见图 1.1 )。因此,在每个阶段都进行严格的评审,以便尽早发现在软件开发过程中所犯的错误,是一条必须遵循的重要原则。 3. 实行严格的产品控制 在软件开发过程中不应随意改变需求,因为改变一项需求往往需要付出较高的代价。但是,在软件开发过程中改变需求又是难免的,只能依靠科学的产品控制技术来顺应这种要求。也就是说,当改变需求时,为了保持软件各个配置成分的一致性,必须实行严格的产品控制,其中主要是实行基准配置管理。所谓基准配置又称为基线配置,它们是经过阶段评审后的软件配置成分(各个阶段产生的文档或程序代码)。基准配置管理也称为变动控制:一切有关修改软件的建议,特别是涉及到对基准配置的修改建议,都必须按照严格的规程进行评审,获得批准以后才能实施修改。绝对不能谁想修改软件(包括尚在开发过程中的软件),就随意进行修改。 4. 采用现代程序设计技术 从提出软件工程的概念开始,人们一直把主要精力用于研究各种新的程序设计技术,并进一步研究各种先进的软件开发与维护技术。实践表明,采用先进的技术不仅可以提高软件开发和维护的效率,而且可以提高软件产品的质量。 5. 结果应能清楚地审查 软件产品不同于一般的物理产品,它是看不见摸不着的逻辑产品。软件开发人员(或开发小组)的工作进展情况可见性差,难以准确度量,从而使得软件产品的开发过程比一般产品的开发过程更难于评价和管理。为了提高软件开发过程的可见性,更好地进行管理,应该根据软件开发项目的总目标及完成期限,规定开发组织的责任和产品标准,从而使得所得到的结果能够清楚地审查。 6. 开发小组的人员应该少而精 这条基本原理的含义是,软件开发小组的组成人员的素质应该好,而人数则不宜过多。开发小组人员的素质和数量是影响软件产品质量和开发效率的重要因素。素质高的人员的开发效率比素质低的人员的开发效率可能高几倍至几十倍,而且素质高的人员所开发的软件中的错误明显少于素质低的人员所开发的软件中的错误。此外,随着开发小组人员数目的增加,因为交流情况讨论问题而造成的通信开销也急剧增加。当开发小组人员数为 N 时,可能的通信路径有 N ( N -1)/2 条,可见随着人数 N 的增大,通信开销将急剧增加。因此,组成少而精的开发小组是软件工程的一条基本原理。 7. 承认不断改进软件工程实践的必要性 遵循上述 6 条基本原理,就能够按照当代软件工程基本原理实现软件的工程化生产,但是,仅有上述 6 条原理并不能保证软件开发与维护的过程能赶上时代前进的步伐,能跟上技术的不断进步。因此, Boehm 提出应把承认不断改进工程实践的必要性作为软件软件工程的第 7 条基本原理。按照这条原理,不仅要积极主动地采纳新的软件技术,而且要注意不断总结经验,例如,收集进度和资源耗费数据,收集出错类型和问题报告数据等。这些数据不仅可以用来评价新的软件技术的效果,而且可以用来指明必须着重开发的软件工具和应该优先研究的技术。 软件工程的基本原理 http://wiki.mbalib.com/wiki/%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B   自从1968年提 出“软件工程”这 一术语以来,研究软件工程的专家学者们陆续提出了100多条关于软件工程的准则或信条。美国著名的软件工程专家 巴利·玻姆 ( Barry Boehm )综合这些专家的意见,并总结了 美国天合公司 (TRW)多年的开发软件的经验,于1983年提出了软件工程的七条基本原理。   玻姆认为,这七条原理是确保软件产品质量和开发效率的原理的最小集合。它们是相互独立的,是缺一不可的最小集合;同时,它们又是相当完备的。   人们当然不能用数学方法严格证明它们是一个完备的集合,但是可以证明,在此之前已经提出的100多条软件工程准则都可以有这七条原理的任意组合蕴含或派生。下面简要介绍软件工程的七条原理:     1、用分阶段的生命周期计划严格管理   这一条是吸取前人的教训而提出来的。 统计 表明, 50% 以上的失败项目是由于计划不周而造成的。在软件开发与维护的漫长生命周期中,需要完成许多性质各异的工作。这条原理意味着,应该把 软件生命周期 分成若干阶段,并相应制定出切实可行的计划,然后严格按照计划对软件的开发和维护进行管理。 玻姆认为,在整个软件生命周期中应指定并严格执行6类计划:项目概要计划、 里程碑计划 、项目控制计划、产品控制计划、验证计划、运行维护计划。    2、坚持进行阶段评审   统计结果显示: 大部分错误是在编码之前造成的,大约占 63% 错误发现的越晚,改正它要付出的代价就越大,要差2到3个数量级。 因此,软件的 质量保证 工作不能等到编码结束之后再进行,应坚持进行严格的阶段评审,以便尽早发现错误。    3、实行严格的产品控制   开发人员最痛恨的事情之一就是改动需求。但是实践告诉我们,需求的改动往往是不可避免的。这就要求我们要采用科学的产品控制技术来顺应这种要求。也就是要采用变动控制,又叫基准配置管理。当 需求变动 时,其它各个阶段的文档或代码随之相应变动,以保证软件的一致性。    4、采纳现代程序设计技术   从六、七时年代的结构化软件开发技术,到最近的面向对象技术,从第一、第二代语言,到第四代语言,人们已经充分认识到:方法大似气力。采用先进的技术即可以提高软件开发的效率,又可以减少软件维护的成本。    5、结果应能清楚地审查   软件是一种看不见、摸不着的逻辑产品。软件开发小组的工作进展情况可见性差,难于评价和管理。为更好地进行管理,应根据软件开发的总目标及完成期限,尽量明确地规定开发小组的责任和 产品标准 ,从而使所得到的标准能清楚地审查。    6、开发小组的人员应少而精   开发人员的素质和数量是影响软件质量和开发效率的重要因素,应该少而精。这一条基于两点原因:高素质开发人员的效率比低素质开发人员的效率要高几倍到几十倍,开发工作中犯的错误也要少的多; 当开发小组为 N 人时,可能的通讯信道为 N ( N -1)/2 , 可见随着人数 N 的增大,通讯开销将急剧增大。    7、承认不断改进软件工程实践的必要性   遵从上述六条基本原理,就能够较好地实现软件的工程化生产。但是,它们只是对现有的经验的总结和归纳,并不能保证赶上技术不断前进发展的步伐。因此,玻姆提出应把承认不断改进软件工程实践的必要性作为软件工程的第七条原理。根据这条原理,不仅要积极采纳新的软件开发技术,还要注意不断总结经验,收集进度和消耗等数据,进行出错类型和问题报告统计。这些数据既可以用来评估新的 软件技术的效果,也可以用来指明必须着重注意的问题和应该优先进行研究的工具和技术。 2006 (Barry Boehm) A View of 20th and 21st Century 1983 (Barry Boehm) Seven Basic Principles of Soft 相关链接: 《杨东屏谈软件工程历史》 http://bbs.sciencenet.cn/blog-107667-490640.html
个人分类: 软件工程|15912 次阅读|2 个评论
从软件工程的一个原则看个体和群体(集体)智慧的关系
seawan 2010-12-5 08:18
软件工程中一个原则: 利用人的差异提高软件质量 。 实际上,不仅是软件质量,所有的质量都是可以利用差异来提高的,例如,决策质量,就可以通过采用集体决策(或者所谓民主形式)来提高质量; 法院的陪审团制度等等,都是这个原则一个特例。 展开来说,生物的智能,在很多方面体现在群体智慧上面;而同时,生物的智慧又使得个体智慧得到长足的发展。这似乎是一个矛盾: 1. 低等生物的个体是无关紧要的,只有群体才是重要的;例如:菌落,蚂蚁,鱼群等。 2. 高等生物的个体特性凸显,例如哺乳动物们大都可以单独活动;人更是其个性凸显的社会。 那么,是否是 高等动物的凸显个体的特征就意味着群体智慧的重要性降低了吗? 我认为 不是 。 1. 从群体的视角来看,(想象我们从50000米的高空往下看,或者从5000年的历史长河望过去),个体的发展只是群体发展的一个小小的波动。群体的趋势是主流。 2. 群体的智慧仍然是个体智慧的源泉。例如,优秀的领袖都知道广泛采纳大家的意见的重要性。所谓兼听则明。 在这一方面,我 觉得 共产主义的导师们倒是很有远见,他们说,共产主义就是个人得到高度发展的集体主义(大意如此)。这倒是将个体和群体统一起来了。 推广开来,是否可以说, 差异意味着智慧 ? 我觉得在很大程度上,可以这样认为。 物理学中,无序的系统,例如,一团处于热平衡状态的气体,所有的分子都差不多的时候,也就是这个系统内部没有什么活力的时候。电池之所以可以带动电子表的指针,是因为电池和指针有差异。 差异也意味着信息量。没有差异,就没有信息(这一点可参考物理中熵的概念)。 现在大家都关注环境保护。环境保护也是要保持环境元素的多样性。正像Home里面说的那样,单一种植的树木不是森林。 最后再说说方法论上的意义: 终日而思,不如须臾之所学也。 我们 总是 能够从群体或他人(群体中的其他个体)那里学到东西。 甚至,在创新方法论中,也有类似的原则:对原有信息的组合、联系、联想、扩展等等,都是利用差异和他们的关系来进行创新的。 你可能有过这样的经历:你苦恼于某个问题的时候,问一个朋友;朋友心不在焉,或答非所问,或者甚至是你听错了对方的回答,却对你突然有所启发所以,群体的价值不仅仅在于真正的智慧,还在于原本不是智慧的东西由于的 群体中必然存在的差异而使得智慧的生长变得更为几率更大! 好像禅师们也有这样的开悟经验。他们不仅要不断的参学(实际上就是到处走走,看是否能受到启发, 也就是现在学生们到各个教室上课啦~~ ) , 甚至开悟的经历也充满 差异 的相互作用。 ---------------------------- 神照和尚的法号叫做本如,有一天去请教一个和尚,和尚没头脑的答他一句话说:你就是本如。于是他忽然开悟了,因而作此诗: 处处逢归路,头头达故乡。 本来现成事,何必待思量。 洞山有天渡过一条小河,当他过河时,太阳照到他身上,把他的影子投影在水面上,他忽然回头一看,看到自己的影子在水面上,于是他忽然开悟了。而作此诗: 切忌从他见,迢迢与我疏。 我今独自往,处处得逢渠。 渠今正是我,我今不是渠。 应须凭么会,方得契如如。 有关系么?无关! (a~a,就是有关)
个人分类: 生活点滴|3830 次阅读|2 个评论
换只眼睛去看“云”
wqx 2010-10-22 08:43
这里的云是指云计算中的云,是近年来 IT 领域最火爆的两个名词之一(另一个是物联网)。 云计算的好处大家说得多了:用户不用在自己的计算机上安装软件(这个过程有时非常费时、麻烦);按照使用情况付费,初期投入少(这对于许多中小企业用户非常重要);系统升级方便;等等。当然,也有人不断提醒云计算面临的问题:数据安全性、个人隐私、网络带宽、等等。 云计算的上面这些特点多数是从用户角度进行考虑得到的。实际上,从云服务的提供者、运营者(二者可能是分离的)角度仔细分析,会发现许多新的有趣机会。尤其是运营者角度,由于掌握着大量的数据,从中可以分析、获取许多有价值的信息。其中,用户行为的分析尤其值得关注。阿里巴巴声称 2008年初,我们突然发现整个询盘数急剧下滑,欧美对中国采购在下滑。 在2008年7月21日,奥运会前两个礼拜我们写了一封信,告诉企业界冬天来了,请所有企业做好准备。 阿里巴巴因此随后成立了与淘宝、支付宝并列的阿里云。 下面我从软件工程研究的视角做个分析。云计算的核心是各类服务,而这些服务绝大多数由软件进行支持。 软件工程研究人员的任务是不断寻找更好的软件开发与维护方法。所谓好的方法,粗略地说,应该能够较低的成本、较少的时间开发出高质量的软件。但长期以来,不同软件方法的比较非常困难。软件工程是1968年在 NATO 的一个会议上被正式提出的。2008年,软件工程的顶级会议上,当年 NATO 会议的重要参与人员Brian Randell 回顾了40年的发展,提出了软件工程发展的一些问题。其中一条就是软件开发方法的杂乱:目前有8000多种编程语言,而各种各样的开发方法、开发平台、开发框架、标准则更多!为什么有这么多方法?就是方法之间的比较困难,缺少数据说话,互相不能说服,缺乏共识。 我个人分析,造成这种局面的原因有如下几方面: 1)评估一个软件开发方法的实验数据获取困难。尤其是涉及软件过程、软件设计与软件需求获取的方法,获取验证的数据比较困难。相比之下,传统的软件测试以及近年来的代码分析获取数据则相对容易些。 2)软件开发涉及人的因素太多。这给评估的客观性造成了很大的困难:同样一个方法,让不同的开发人员去试验,效果差异会很大。当然,有一些消除这类因素的实验方法,但应用起来成本很高。 3)软件开发的特殊性。我近期的个人理解:软件开发实际上相当于传统行业(例如 制造) 的设计环节,其中的不确定性非常大。而对于传统行业的设计环节,不同设计方法的评估一样的不容易。 4)软件的应用领域过于广泛。不同的开发方法本来适用于不同的应用领域,它们之间的对比自然十分困难。这个已经不太像个原因了。 云计算出现后,大量的软件运行在集中的服务器上。如果能继续延伸一下:在开发阶段,用户也是通过浏览器操作服务器上进行的,那就给获取软件生命周期的各种数据带来了很大的方便。 1)获取软件制品。目前已经有许多开源代码库(CVS, SVN等)、项目跟踪系统(Bugzlla, Issue Tracker System),并已经有许多工作(Mining Software Repository)研究分析如下问题:共性的缺陷模式、缺陷是如何引入、消除的?软件是如何演化的?等等。近年来软件工程顶级会议上的许多文章与之相关。 2)获取软件运行状况信息。在云计算模式下,完全可以将用户看作是一类特殊的测试人员,用户使用一次,就相当于帮助测试一次。在传统分发方式下,这类测试的结果获取困难。许多人在所用软件的软件出现错误时,都遇到过类似于是否将出错信息发给生产商?这样的信息。这就是生产商在收集特殊的测试数据,以便于找出软件中存在的缺陷。云计算模式中这类结果的获取就方便多了:软件本来就运行在服务的运营商那里。有了这些数据,分析出错根源就方便多了。 3)获取用户的行为。类似地,传统方式获取用户的行为非常困难。微软曾经发去过用户体验活动,以获取这类数据。当软件工具部署在云中时,获取这些数据也十分方便,有了这些数据,开发者就可以知道一些重要信息:用户一般如何使用软件?哪些功能最受用户欢迎?这对于后续版本的演化是非常重要的。 4)获取开发人员的行为。目前已经有一些研究分析这类数据(包括 SVN 中的信息),但检查点过粗,可能一天只有一两条数据。如果能够通过云编程的方式(例如利用 webIDE 开发),获取细粒度的行为信息,就可以将开发者的主观行为客观地记录下来。这对于了解不同类型用户的开发模式、不同开发方法的对比是非常有价值的。 如果有这么多数据在手的话,应该可以很好地缓解上述不同软件方法的比较非常困难的局面。
个人分类: 未分类|4455 次阅读|3 个评论
推荐三本书关于农业系统与软件工程技术
agri521 2010-7-10 21:17
推荐三本书关于农业系统与软件工程技术,通俗点说就是,教你怎样把公式编制成软件。可不要太高看自己哟。 Petraq J. Papajorgji and Panos M. Pardalos. Software engineering techinques applied to agricultural sysetems: An Object-Oriented and UML Approach, 2006, Springer Press. Petraq J. Papajorgji and Panos M. Pardalos. Advances in modeling agricultural systems. 2009, Springer Press. 这是两本关于软件工程技术与模型相结合的书。书中介绍了新的软件建模方法,如UML, OCL, MDA和ontologies,还介绍了一些高级数学工具。 D.W.G. van Kraalingen, The FSE system for crop simulation, version 2.1, 1995 这是一本非常经典的作物模型教材。
个人分类: 农业建模|3240 次阅读|0 个评论
软件设计师考试总结
yhc511025 2010-6-1 22:58
前一阵子参加了软件设计师的资格认证考试,考完后感觉比较好。2个月的努力总算没有白费,现在就等成绩出来了。 软件设计师的考试分为上午和下午。上午 有75道选择题,每题1分, 主要是考察基础知识,包括计算机系统知识、编译原理相关知识、操作系统、软件工程、网络基础知识、多媒体基础知识、数据库技术基础、数据结构与算法、面向对象设计、计算机英语、标准化及知识产权基础知识等。这次考试占比重较大的内容有软件工程(17.3%),数据结构与算法(16%)及面向对象设计(16%),3者加起来占了试题的49.3%,几乎一半。 软件工程和数据结构与算法一直都保持较大的比例。而 面向对象设计的比重是逐年加大的,从03年的4%左右增加到现在的16%左右,主要因为是近年来面向对象技术不断发展,在软件开发中应用得越来越广。 下午 有5道题,每题15分, 主要考考生对相关知识的应用能力,一般包括数据流图,UML,数据结构与算法(也可能是操作系统中的算法和网络传输中的算法),数据库,C/C++/JAVE程序填空(任选一道)。今年下午试题中有两道比较奇怪的题。 一道是数据库应用的题,该题给出了一大堆繁琐冗余的信息,也就是建一个数据库所需要的信息。然后让考生补充完整E-R图和关系模式,基本算是让考生独立设计一个数据库。以往的数据库应用题要么给出完整的E-R图,要么给出完整的关系模式,让你补充完整其中一个。今年这道题的灵活性很大,有项目经验的考生做起来比较容易。 另一道是最后一道题,往年的最后一道题都是给出3道题( C/C++/JAVE程序填空 ),然后让你从中选一道来做。今年仅给出了一道C++,考生没得选择。考官的目的很明显要求考生至少要掌握一门面向对象的编程语言。 总结起来,上、下午试题有两点比较大的变化:1. 面向对象技术在软件工程中越来越重要,成为软件设计师必须熟练掌握的一门技术。2. 试题的灵活性增大,对考生解决实际问题能力的要求提高。
个人分类: 项目开发|5937 次阅读|7 个评论
梅宏:闲庭信步软件工程中【转载】
maywuyi 2009-3-17 14:24
他不崇尚语不惊人死不休,更不欣赏故作高深的走理论的套路。在他看来,做研究不是为了文章而文章,为了理论而理论,而是使自己所学与社会的发展趋向紧密结合起来。 笔者在北大理科一号楼很宽敞的一间办公室内见到了他,温文尔雅的一个人,其时正在笔记本电脑上敲述职报告。刚开始交谈外面就电闪雷鸣。好在办公室内有良好的隔音,使我们的谈话不被打扰,细水长流般的进行。电话铃不时响起,有约稿的,有同事的,有学生的,透显出他平日的忙碌。聊起求学,谈到导师,调侃爱好,渐渐地我游离了自己的采访提纲,却有了很多新的收获。他喜欢简单的生活方式,崇尚宽松的团队合作和充分的空间,这一切都与北大自由的学术氛围相得益彰。 与计算机的偶然结缘 1980年,恢复高考的第四年,梅宏进入了南京航天航空大学。我是被调剂到计算机专业的,也许你不相信,当时我就连计算机和计算器都分不清。就是这样一个上大学之前,在计算机面前如白纸一张的人,却自此与计算机结下了不解之缘,而且成为了国内著名的软件工程专家。1997年,他获得霍英东青年教师基金奖,是当年唯一的计算机奖。1998年,中国优秀博士后奖又再次垂临于他,这个奖每年只评10个,在站的和出站的都算,当时国内的博士后至少有上万名,竞争非常激烈。而2004年6月,在中国青年科技奖不足百名的获奖人士中,他又名列其中。这次评选可是我最后的机会了,要是过两年我就超龄喽。梅宏半开玩笑地说。 险些成了文学评论家 就像硬币有两面,人天生也是双重性格。而这种双重性反映在同一个人身上,就使这个人性格鲜明,具有立体感。不曾料想的是,这样一个整天与程序设计、软件工程打交道的人,在大学期间竟是个名副其实的文学青年。 高考那年的作文题目是达芬奇画蛋,当时我是文思泉涌,一气呵成。当年的语文成绩在全省排第三。说起这些,梅宏十分得意。中学和大学,他几乎读遍了能找到的所有小说。大学期间,他还担任南航的文学社社长,整天和社友吟诗作对。后来我渐渐意识到,这样下去了不起就是个文学评论家,并不是我想要的生活,慢慢的也就放弃了。到现在,平日难得抽出些时间的他,怡然自得地阅读小说更成了生活中的奢侈品。 影响一生的三本书 不久前,北京大学准备出版一本画册,请学术专家自荐对自己影响最大的五本书。曾经对文学情有独钟的他,在反复权衡之中选择了三本。下意识的首先想到的是《封神演义》,那是我读的第一本小说,打开了自由幻想的空间。《三国演义》更是博大精深,反反复复不知道读了多少遍。不过说起对自己影响最大的作品,仍然是那篇当年很有名的报告文学,徐迟的《哥德巴赫猜想》。知识分子的命运总是不可避免地和国家的命运联系在一起,那篇报道无形中使科学家重新获得了较高的社会地位。看到那篇文章,我就意识到科学的春天来了,彷徨的心灵也有了宁静的港湾。正是从那时起,刚上初中的梅宏便立志要当一名科学家。这个明确的目标也成为了他一生孜孜不倦的追求。 他是苦出来的 谈及求学的经历,梅宏可以称得上是一帆风顺。而在这其中,也同样有着不为人知的小波澜。大学期间,他每年都是三好学生,成绩名列前茅。然而在大四的时候,他却仍与学校唯一一个留法预备生的名额失之交臂。当时挺失落的,正是从那时候开始,我才意识到刻苦有多重要。在交大写硕士论文的时候,由于他做的是具体的软件开发研究,在合作的工厂一待就是一个多月。那段时间,工作室内一边摆着机器,一边铺着凉席,他困了、累了就休息一会,有了想法又拾起来干活,不分日夜。硕士论文完成了,我还因这个科研成果得到了5000块钱,在当时也是不小的一笔数目呢。说起这些梅宏神采飞扬。这段经历也培养了他极强的动手能力,为以后进行理论研究打了基础。刚来北大的很长一段时间,一周七天,除了周六周日的晚上,其他时间梅宏几乎都泡在实验室内。在我看来,一个人能不能成功,取决于他的目标是不是明确,决心是不是坚定。而最重要的就是勤奋。一直以来,我从不觉得自己比别人聪明,但我比别人刻苦。机遇总是偏爱有准备的头脑。到北大仅仅两年半,年级轻轻的他就被破格提拔为教授。别人都说,他值得,他是苦出来的,对此梅宏自己也深表认同。 最受学生尊重的实验室 美国的贝尔实验室作为世界上顶尖的实验室,许多青年科学专家都心向往之。从1999年3月起,梅宏作为访问科学家在贝尔实验室度过了一年的难忘经历。使他感触最深的,是那里先进的管理体系和一种目标管理的文化。那里没有严格的打卡制度,却有一种无形的约束,就是一个统一的目标。那是一种非常亲切、友好的合作环境。回国之后,他力图在自己的实验室里对此进行大胆借鉴。尽管国内的大背景和美国有很多不同的地方,但我觉得那种目标管理的理念是同样适用的。如果事无巨细的去加以管理,是会对学生形成限制的。在这种宽松的管理氛围下,他鼓励学生在服从实验室安排的前提下,更灵活的做出自己的选择,使个人的潜质得到最大的发挥。在软件工程这个领域,年轻人有很大的优势。作为老师,总是希望给予他们充分的空间和良好的环境,总是希望能把自己最得意的东西传给他们。正是因此,他的实验室成为了在北大最受学生尊重的实验室之一。对绝大多数学生来说,在这里他们能感受到更自由的学术氛围。 骨子里的民族情怀 无论是担任一系列的社会兼职,与领域内人士注重沟通,还是对国外目标管理理念的积极借鉴,在治学和科研上,他始终怀有一种开放的态度。尽管如此,他仍然始终坚守在祖国的这一方沃土。 年轻的时候,也想过出国,考托考G,但可能骨子里还是有一种民族情怀。在国外可能能谋求到很好的生活,但始终没有一种归属感。在他看来,当今社会仍然是国家利益至上,没有什么所谓世界大同,只有国家的强盛才能给个人带来荣誉感。近几年身在国外的时候,更明显的体会到这一点。 做出成绩就必须动脑筋 自信的人往往敢于尝试新的领域,使自己的潜质和兴趣得到充分的发挥。在863计算机技术课题组中,组长怀进鹏曾评价梅宏创新能力很强。他什么时候说的啊,我怎么不知道呢?听记者问到这些,梅宏开始大笑。中国工程院院士王选曾经说过,今天的高新技术产业,需要既有技术背景又有管理经验的人。在这个课题组中,梅宏正是这样一个管理专家。我主要很想做些事情,而在课题组中,我所管理的项目和自己从事的科研领域有很大差距,正是如此,要想做出些成绩,就必须去创新,必须动脑筋,得善于找到一种合理的方式把大家的力量凝聚起来。谈到团队协作,他借用了广告学中的一个术语头脑风暴,来形容专家组5个人之间的思想碰撞,正是在这种思想碰撞中,常常会产生奇思妙想,每个人在其中都发挥了不同的角色和作用。梅宏在自己的述职报告中写道:专家组的统筹规划、团结协作、相互补台,是实现战略计划的基础。说起973,因为这与他本人的科研紧密相关,梅宏显得得心应手。我自己的团队承担的是973的项目,我的整个实验室的主线就是973。而这些项目同样需要不断地思考和探索才能有所收获。在把863、973放在头等大事之外,由于教学、科研、管理是他平日生活中的三架马车,所有的时间都排得很满。要把时间充分利用,善于统筹规划,这也要动脑筋的哦。梅宏笑着说。 做有用的研究 梅宏一直有一个观点,做有用的研究。他并不崇尚语不惊人死不休,更不欣赏故作高深地走理论的套路。在他看来,做研究不是为了文章而文章,为了理论而理论,而应该使自己的所学与社会的发展趋向紧密的结合起来。作为上世纪60年代生人,梅宏并没有因为文革和上山下乡耽误大好青春,而且享受了很好的教育机会。他始终把这些归结为运气很好。我年纪很轻就成为教授,但这就好比蜀中无大将,廖化作先锋。不是因为我有多能干,而是那个百废待兴、人才缺乏的特殊的历史时期造成的。梅宏谦虚地说道。正是因此,我至少要说服自己,现在所研究的在未来是有用的,而不能闭门造车,纸上谈兵。怀着对国家、对社会的深刻关注,他选择了这样一种经世致用的研究取向。 ■人物小传 梅宏,祖籍重庆,生于贵州并成长于贵州。一九八四年和一九八七年分别于南京航空航天大学计算机科学及工程系获计算机应用学士学位和计算机软件硕士学位,一九九二年于上海交通大学计算机科学与工程系获计算机软件博士学位,一九九四年从北京大学计算机科学技术系博士后出站。国家八六三高技术计划计算机软硬件技术主题专家组成员,国家九七三项目首席科学家,中国计算机学会软件工程专业委员会主任,中国软件行业协会软件工程分会(筹)理事长。二○○四年六月,获中国青年科技奖。 ■梅宏主要研究领域 面向软件体系结构(SA)的软件构造技术,基于软件体系结构的构件组装技术,软件构件组装技术及理论,软件的特征交互及互操作性的研究,Internet环境下基于Agent的软件中间件理论和方法,奥运信息系统模型的研究与建立。 ■梅宏获奖情况 1997年北京大学大众奖教金特等奖1997年霍英东基金青年教师奖(研究类)1997年中创软件人才奖1998年中国博士后基金会国氏博士后奖(现更名为中国优秀博士后奖)1998年国家科技进步二等奖(排名3)2001年北京大学杨王院士奖 ■文章来源:科技日报 转载地址 http://cn.tech.yahoo.com/041013/33/266gs.html
个人分类: 读书笔记|5327 次阅读|0 个评论
个人主页
yfzhaoecnu 2008-12-31 16:43
姓名:赵也非 民族:汉 性别:男 Member: IEEE student member, IACSIT senior member, Reviewer and editor of AICIT and IACSIT, 多个国际会议的PC Member. 电子邮件: derekzhaoecnu@gmail.com 工作单位:华东师范大学信息学院计算机系博士研究生 通讯地址:上海市虹梅南路 5800 号 15 号楼 431 室 主要经历: 1997.7 ---- 2001.7 : 本科就读于东北大学信息学院计算机系,获学士学位; 2001.7 ---- 2005.7 : 在 Avant!、SVA、DBtel 公司从事软件研发工作; 2005.7 ---- 2007.7 : 硕士研究生就读于华东师范大学信息学院计算机系 2007.7 ---- 至今: 博士就读于华东师范大学信息学院计算机系,研究方向:软件工程,形式化方法 获得奖励: 1. 1998 年,获得东北大学信息学院计算机系的优秀奖学金 2. 2005 年 9 月,考取华东师范大学信息学院计算机系硕士研究 生,获全额奖学金。 3. 2007 年 5 月,在华东师范大学首届研究生数学建模竞赛 中,论文《蹦极的数学建模及其龙格-库塔法求解方法》,获 得二 等奖。 4. 2007 年 9 月,考取华东师范大学信息学院计算机系博士研究 生,硕博连读,获全额奖学金。 5. 2008 年 12 月,博士学位论文《构件组装的形式化功能验证和 性能分析》,获华东师范大学 2007 级优秀博士研究生培养 基 金资助( No. 2009054 )。 6. 2009 年 5 月,获得 Best paper of ISECS 2009 ,获得 华东师范大学博士生培养基金资助,参加 ISECS 2009 学 术会 议,并作报告。 科研课题: 1. 2007 年 9 月 ----2009 年 12 月:作为主要成员,参与研究教育部 高等学校博士点基金构件系统中软件架构定义与构件实现一 致性和通信方法的研究( No.20060269002 )。 2. 2007 年 9 月 ---- 至今:参与研究国家自然科学基金项目Web 事务的模型和语义研究( No.90718004 )。 3. 2007 年 9 月 ---- 至今:参与研究国家自然科学基金项目可实 施的最优数字签名的设计和应用研究 ( No. 60703004 )。 4. 2009 年 4 月 ---- 至今:作为主要研究人员,参与申请上海市自 然科学基金项目基于设计构件的形式规范自动生成与验证分 析,并获批准 ( No. 09ZR1409500 ) 5. 2009 年 5 月----至今:作为主要研究人员,参与申请上海市科 委基础研究重点项目实时并发系统形式语义自适应生成框架 研究,并获批准 ( No. 09JC1405000 ) 行业经验: 1. 2001 年 ----2002 年:上海先驱微电子公司,从事 Unix 平台上 的C, Perl软件开发。 2. 2002 年 ----2003 年:上海广电电子商务公式,从事 Unix 平台 上的 Java, Oracle 软件开发。 3. 2004 年:大霸电子贝豪通讯有限公司,从事 C++, Java 软件开 发。 4. 2005 年 5 月 ----2007 年 7 月:负责开发 ST202 系统,基于以太网 接口的温湿度数据采集仪,用 C, C++ 语言,编写固件 firmware 和上位机软件。 5. 2006 年 ----2007 年:上海创高电子有限公司,用 C++, Basic 语言,从事数字电视调制卡上位机软件开发。 6. 2006 年 2 月 ----2007 年 7 月:负责开发 EmBeeView 系统,一种 无线传感器网络,使用 C++ 编写上位机软件。 曾发表论文: 1. Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Formal model and analysis of sliding window protocol based on NuSMV. Journal of Computers. May, 2009. ( EI 源期刊 ,检索号:20093112236096) 2. Yefei Zhao, Zongyuan Yang, Jinkui Xie. Formal semantics of UML state diagram and automatic verification Based on Kripke structure. 22nd IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2009). May, 2009. ( EI 检索 ) 3. Yefei Zhao, Zongyuan Yang, Jinkui Xie. Pi-calculus based assembly mechanism of UML state diagram and Validation of model refinement. International Conference on Electronic Computer Technology (ICECT 2009). February, 2009. ( EI 检索号: 20091712046470 ) 4. Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Performance analysis of system model Based on continuous-time Markov chains. May, 2009. (submitted to a journal) 5. Yefei Zhao, Jinkui Xie, Zongyuan Yang, Qiang Liu. An Operational Semantics for UML Sequence Diagrams and Consistency Checking in Model Refinement. Aug, 2009. (submitted to a journal) 6. Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Quantitative analysis of system Based on extended UML state diagrams and probabilistic model checking. Aug, 2009. (submitted to a journal) 7. 赵也非,沈建华. 一种以太网温湿度数据采集系统的设计与实现,第十六届全国测试与故障诊断技术研讨会,2007年5月 8. 赵也非,杨宗源,谢谨奎 . 基于 Kripke 结构的 UML 状态图的形式语义和自动证明,科技论文在线, 2008 年 12 月。 ( 精品论文 ) 9. 赵也非,杨宗源,刘强 . 基于 pi 演算的 UML 状态图的组装机制以及 模型精化的验证,科技论文在线, 2008 年 9 月。 ( 精品论文 ) 10. 赵也非,杨宗源,谢谨奎 . 基于 SMV 的滑动窗口协议的形式化建 模与分析,科技论文在线, 2008 年 3 月。 11. 赵也非,杨宗源,谢谨奎,刘强 .基于扩展 UML 状态图和 Markov 过程的系统性能分析,科技论文在线, 2009 年 7 月。(精品论 文) 12. 赵也非,杨宗源,谢瑾奎,刘强. 基于连续时间 Markov 链的系 统模型性能分析,科技论文在线, 2009 年 8 月。 13.赵也非,杨宗源,谢瑾奎,刘强. UML 序列图的操作语义及其在 模型精化中的一致性检查,科技论文在线, 2009 年 8 月。(精品论 文) 14. Qiang Liu, Zongyuan Yang, Yefei Zhao. Design Patterns in Situation Calculus. International Conference on Software Technology and Engineering (ICSTE 2009). July, 2009. (EI检索)
个人分类: 未分类|4619 次阅读|0 个评论
科学圈圈坐2/13-丁茗茗
eloa 2008-12-22 13:43
Fujia 发表于 2008-12-20 12:00 Fujia的引子 丁茗茗,电子信息工程毕业,在阿尔卡特先后作为测试工程师和软件工程研究工程师(engieerning process group)工作了5年,后去了互联网界,现在土豆网担任技术部的软件工程和质量经理。 我与茗茗同学初识于松鼠会的MSN群。在交谈中,茗茗同学让我感觉是一个相当轻快可爱的女生,对生活不恭却热情,对朋友不拘但爽朗。当然,她还有另外十分专业的一面。当我们讨论网络信息技术等问题时, 她所表现出来的认真与敬业让人无法不折服。 丁: 我觉得这样的问题对答不好玩儿。这样,我来交代一点我觉得比较有意思的东西,可能会是好玩儿的东西。先交代一下网络一些简单的背景。有一头被称为现代软件之父的软件工程大师,瑞典人Ivar Jacobson博士曾经说过:世界上大概只有一个行业比时尚业更爱赶时髦。B Monkey点头说:而且业内人士自我感觉更有天然的智力和道德优势,更热爱装逼,更反复无常。技术革新驱动差异化的产品开发,产品和新的商业模式互相烘托,导致放眼望去,一片牛逼闪闪的喧嚣图景(好吧,至少,几个月前,即使user和customer不买单,还有资本市场买单呢)。 我来列几个2008年我心目中的关键词吧: 1,云计算,云计算!其实就是以前你需要什么IT服务,你需要买一个硬件,在这个硬件的基础上买一个操作系统,在系统上还要买软件。。你获得的都不仅是服务,还有这些软件包的实体。你看看这套体系的最大受益方是谁?Intel+微软呀。以前只有大型机的时候,没有个人电脑体系的时候,Intel和微软体系是不存在的! 但是,现在呢,你平时很多应用,不需要软件包!!你打开浏览器就能完成 !当然了,部分计算处理可能还是在本地!到了将来!!! 云掉了!! 连计算都在远端了! 所以Intel+微软的终端体系没得卖了。。就是,随着规模优势的扩大,价格成本终将降为0!我们硬件终端终将降为0!! 这也是长尾理论的作者在他的新书《FREE》里做的展望。然后,不需要操作系统了!!所有的运算处理和服务,都在云端完成!!所谓的云,就是给远端的服务器起了一个好性感好性感的名字!!GOOGLE和AMAZON的野心,就是要颠覆整个个人电脑体系的那个基础啊,因为微软就是基于这个体系生存的!当然了,微软也在说云计算,但大家都公认他的云计算跟别家不太一样。为什么微软一直在往互联网方向的发展和转型上力不从心,根据每个公司都是由基因的这个理论,因为他的基因里没有自我消灭置之死地而后生投之亡地然后存的图谱啊! 2,智能手机。跟第一条也相关,这不就是没有微软+INTEL的云接入终端么?他们取代的,也是个人电脑终端这个平台啊。 3,虚拟化技术。抄一段吧。借助虚拟化(Virtualization)技术,计算机用户将可在单一计算机硬件中安装多个操作系统(虚拟机),并实现多重任务处理,从而达到节省IT开支和高速处理计算任务等目的。目前企业数据存储、内部网络已实现虚拟化。随着服务器和PC虚拟化理念的普及,传统IT基础设施的部署理念正受到挑战。这个最多的应用是哪儿呢。。。云计算的云端(即服务器端)。。。。 虽然我洋洋洒洒说了三点,但其实都在云计算的泥沼里打滚。。。。 F:关于云计算和智能手机,很有意思.但这些是否是建立在网络非常发达的情况下? 丁:从我的角度来说,带宽的瓶颈不是现在最关键的。因为2008年也是所谓的无线宽带元年。对于世界范围内的个人用户和企业用户,获得一个高速的接入,从技术上来说不存在什么问题,因为肯定是可以实现的。在我看来,问题可能会是出现在服务器端,就是所谓的云端。 F:主要是指怎样的问题? 丁:这里的问题有两个。1,能耗;2,高负载下的均衡能力。我各展开说一下,能耗问题,其实就当你的云端同时有上万台或者上百万台的服务器时,能源的消耗就是一个大问题。给GOOGLE的云中心(当它的规模优势到了一定程度的时候)一个核电站吧!!!事实上,现在GOOGLE就有专用的发电厂。哈哈哈!我想纳米计算机如果能发明出来,大概可以突破这个瓶颈。 F:什么叫纳米计算机? 丁:因为我们现在的计算机,硅芯片,基础还是晶体管嘛。纳米计算机,哇哈哈哈哈,看 这里 . 丁:2,均衡能力啊,就是当短时间内并发很高,服务器还是很脆弱的,容易挂掉。2008年,AMAZON的云计算中心AWS就挂掉了好几个小时,是著名的失败案例。 F:恩,服务器忙不过来 丁:可以这么理解。你看现在松鼠会流量一高,服务器就撑不住。将来那么多企业的应用都挂在云端,那服务器一瘫,跟天塌了有什么两样。。。 F:关于网络的问题,除了带宽作为瓶颈,其他的诸如网络的稳定性(比如海底光缆之类的问题),有影响么? 丁:网络的稳定性现在基本不是问题了。因为网络归根结底是拓扑的,也就是说,一条通路不行,我们路由到另一条通路上去走。条条大路通云中心。全都瘫掉,这个太小概率事件了。就像平时我们做风险管理,我们不对天降大陨石机械降神这种风险做评估 F:good,但这样一个高度连网的组织,是不是会比较脆弱,比如一旦被攻击,就会出现大面积的崩溃? 比如一条道路上瘫掉了会波及其他所有道路? 丁:我现在只评估物理的通路的风险。像你说的这样被攻击。。。恩。。。真的很多年没有出现了哎。有能力做云计算的,云安全肯定是做得很牛逼哒。最好的技术肯定在他们那边,不在个体的手里。个体的人太笨了,真的(丁肇中说的)。 丁:给你举两个云计算中心2008年出现的坏案例。1,Amazon S3 停运。2月15日,亚马逊的三个物理服务器之一宕机数小时,扼杀了亚马逊S3云存储系统。许多像Twitter, SmugMug这样的创业公司,甚至纽约时报 都在站点上看到了错误消息。许多最流行的网站都受到了S3宕机的影响。 使宕机带来麻烦的是开发团队缺乏沟通。亚马逊S3开发团队花了一个小时去查证宕机事件,并且他们直到问题被修复数小时之后才再次回应。许多S3的客户不能接受在宕机期间关闭整个业务。 当开发危机发生的时候, 透明度和大量的沟通是关键。2,Gmail宕机30个小时。Gmail 是最受欢迎的电子邮件提供商之一,有许多的用户来自于Google Apps 服务。许多企业使用 Gmail (不管是免费还是付费的用户), 所以,当这个服务暂停高达30个小时的时候,对于一些人来说它是十分重要的。这次Google不幸的中断事件,影响到了很多人,一些小企业超过24个小时不能访问他们的Gmail,同时,利润也在不断失去。 F:接下来的问题可能更关乎市场而非技术,如果所有人的东西都放在云终端运行,一旦这个云终端出现不稳定,比如google这个公司突然经济危机就没了..世界是不是就乱套了? 丁:恩。好问题!提供云服务的公司很安全!!因为!!他们手里会有现金!!现金为王!! 丁:这个问题,我这次参加SD2008的技术论坛时,叶伟(阿里巴巴的首席技术架构师,好像是,这个我们需要再核实一下)说,因为如果卖软件,我们可能是把软件交给分销商,卖掉了,钱还要流转一阵,才回来。这个风险就很大。而云服务,则是用户付费,然后才使用的模式。类似你交了宽带费才能上网。。。你想想他们是不是在食物链的底端啊。。。一层一层灭掉,最后才灭掉他们。 F:是,这个能解释终端公司能拿到大量的现金,但我的担心是,他们因为自身财政风险评估的问题或者公司本身人员变动问题而导致用户的损失.Google这样的公司不可能握住大量现金吃利息,他们会上市,会有许多投行帮他们做各种投资, Amazon有可能把现金交给Lehman Brothers去投资,然后就没了..一旦公司的财务有问题而导致公司运行的危险,而在这样一个巨大的单向依赖性极重的网络组织里,客户就会受到影响。 丁:我觉得他们没那么蠢吧。。。又不是中国的什么公司,拿了钱就去炒地产,炒股票。。。 F:扯得远了点。我们回到技术层面.. 这样一个大型联网组织,对于安全控制有什么方法?比如每个用户的信息都要通过云终端去计算,那Amazon岂不是掌握大量秘密..? 丁:这个应该是云计算的提供商考虑的问题,企业的业务流程和权限设置要保证这个安全,而不应是我们考虑的。就像如何保证我们存在银行里的钱是安全的,不被营业员拿走,这个是银行业务流程和安全保障问题。 F:good. 格么国内现在的云计算技术如何? 丁:阿里巴巴呀!!!淘宝也是一个典型的云服务提供商!!你看,所有卖家的商品信息,都不在他们自己的硬盘里,都在阿里巴巴他们的服务器上嘛。 F:就是说,我们用户输入的信息,都存在与阿里巴巴服务器上,所有交易是在淘宝网上进行? 丁:对啊。还有卖家,关键是卖家,他们也没觉得不方便吧。我这只是举了一个商业应用的例子,还有更多企业级的应用。 F:我有点confused..那email是不是也算?我们的数据都在邮箱里,也就是在服务商里? 丁:对啊!!云计算的初级应用,就是接入级啊!一点都不玄乎。 F:goooood. 那这种初级应用距离我们想要把操作系统都交给云终端,还有什么距离? 丁:好远好远好远啊。。。。。慢慢走。。。路漫漫其修远兮。。。。15年吧 F:。。。好,云计算到此. 接下来是私人问题,你觉得你2008年最大的专业体会? 丁:专业体会,恩,就是CMMI这个体系背了很多黑锅。这个就是我的本行了,是软件工程方法相关的。 F:请介绍下CMMI,还有具体是什么黑锅? 丁:CMMI的介绍看这个 http://wiki.mbalib.com/wiki/CMMI 。黑锅:很多企业在实施CMMI的过程中太僵硬了。CMMI只是一个框架,它推荐了一些最佳实践,但没有具体要求企业应该如何施用。但很多企业就用最僵硬的办法,比如疯补文档什么的。。。把自己的CMMI等级给提了上去。这非常的不聪明,但这绝非CMMI的过错,CMMI和敏捷开发其实不冲突的。 F:好。回到私人问题.2008年你觉得你的生活里有什么改变么? 丁:换了工作,遇到了一头好上司,是我到目前为止跟过的上司里合作最愉快的一头。我很开心。 F:好,岁末年初的,你对09年有什么期望么? 丁:我想想。。。赚钱!!!土豆IPO,纳斯达克涨到400美元一股,我卷了钱回青岛,买艘帆船,养只俄罗斯蓝猫,天天带她出海玩!还有,我喜欢的一头又美又贱又残暴,温柔贤淑且高端,残忍刻薄且有趣的姑娘(恩,这么多特质集中在一个人身上,很神奇吧!),我希望她肉照吃人照美,收我送她的礼物收到手发软 F:好!!! 丁茗茗最后再补一下:我更多的是从浅显易懂的应用角度去谈云计算的,而对云计算本身的技术,我不是专家,也没有深谈,如果有谬误和不妥之处,还请补充。
个人分类: 其他|1706 次阅读|0 个评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-5-16 03:51

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部