设为首页收藏本站
开启辅助访问 切换到宽版

科学网

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

tag 标签: 软件工程

相关日志

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! 没有考虑到这点，于是，看起来天才般的加密存储（可以粘连用户，可以加密，可以。。。。），就这样烟消云散了。 还得额外编写“迁移”成文件夹的程序。。。还得享受用户的抱怨。
个人分类: 好工具|2410 次阅读|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投稿|8052 次阅读|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是指这个动作和过程，也可能是建造，也可能是监督。也有人把工程看作有用对象的创造发明。这种功能的定义范围太大，譬如穴居人发明劈东西的石头，你不能说是一个工程。而软件工程被定义为：把系统的学术的可定量的途径应用于软件的开发、运行和维护中，以及这些途径的研究。这就是把工程应用于软件。可这个定义也有不妥。因为把这句话里的软件换成财务记录，你是否认为有会计工程呢？ 工程是学科、职业和专业。 工程学应该有学术性。譬如土木工程、桥梁工程、水利工程等等都以物理、化学为基础。但是，现在大学里环境工程、生物工程、农业工程的学生却不学物理、化学，而学生物。电子与计算机工程的学生也不学静力学、动力学、热力学。工程必须建基于物理系统，如微芯片、电流速度，但软件工程师不考虑这些。计算机科学与工程的区别在于过程和标准，软件工程最后也许会与计算机工程合并，而与工程平列。这时，软件工程就不是工程，而就是软件工程，也许其他工程都离不开软件工程。 工程是一个专业，它是一批有着相同职业有愿组织起来，除法律、市场和道德之外有共同道德理想的人。软件工程的道德规范与一般工程的道德规范是非常不同的。软件工程师要善于折衷软件工程师、雇主、客户和大家共同的兴趣和利益，而一般工程师不管这些。但这些专业团体完全是自愿参加的，或者是事实上形成的。 工程是一种职业。人们为了生活就得有职业。例如遗传工程、再造工程、金融工程都意味着一类职业。软件也想重用，但由于软件的高度复杂性，使软件工程师们觉得他们不属于工程。软件工程占到整个工程的一半，和药业、法律差不多，可以另立门户，不必属于工程。 即使计算机科学不再是软件工程的基础，也许它的基础是管理信息系统或信息技术管理。大多数软件工程师接近信息系统管理，而不是一般的工程师。
个人分类: 学术导航|3783 次阅读|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 。
个人分类: 计算机|13238 次阅读|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
个人分类: 软件工程|10615 次阅读|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投稿|5515 次阅读|0 个评论
《软件工程》教学内容应该添加的几个内容
seawan 2011-9-13 09:58
软件从业人员职业道德：主要内容为IEEE的8条规则。 文档写作通用规范：论点清晰准确，论据充分，避免歧义等。 代码规范：注释，缩进，命名规则，模块化等等。 项目管理概述。学会从CSTQ四个侧面考量一个项目的可行性。 理由： 行业规范，应该关注 “文档”是软件文档的基础 代码是基本功 不做软件，还可以干别的，也要有项目管理的能力；另外是“软件项目管理”章的基础。
个人分类: 软件工程|2593 次阅读|0 个评论
上海理工大学软件工程(0835)一级硕士点已获批文，2012年正式招生
tyfond 2011-8-29 08:06
上海理工大学软件工程(0835)一级硕士点（国家新增的学术型硕士点）已获批文，2012年正式招生，欢迎计算机科学与技术、软件工程、网络工程、信息工程等相关专业报考，考试科目：英语、政治、数学II、数据结构及操作系统（自主命题）。或咨询： tyfond2@126.com ； 学校网站：hppt：//www.usst.edu.cn; qq:786531538
个人分类: 研究生工作|3539 次阅读|0 个评论
欢迎报考上海的考生报考武汉大学国际软件学院-软件工程硕士
tyfond 2011-8-29 07:59
欢迎报考上海的考生报考武汉大学国际软件学院-软件工程硕士，自主命题、自主划线。上海设教学站，集中报名、自愿参加辅导班、在上海参加入学考试、录取后在上海集中上课、答疑、毕业设计及答辩等。辅导及报名咨询：Email:tyfond2@126.com; qq:786531538
个人分类: 学术交流|2689 次阅读|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 个评论
1234下一页

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

GMT+8, 2024-5-29 17:29

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部