教学课程资源库 更多>>

关键词： 高端实践环境   实践教学体系   软件工程   应试教育   实践基地  

摘要： 当前高校高端实践环境建设的不足是导致学生综合应用和实践创新能力培养欠缺的主要原因。高校要加强校企合作高端工程实践环境建设,并进行实践性教学改革,建立适合工程类应用型人才培养的创新实践教学体系。实践表明,这种创新实践教学体系的应用与实践,可显著提高工程类专业人才培养的实践创新和创业就业能力。

关键词： 校企联动平台   软件工程   实践教学  

摘要： 软件工程专业本身对学生的实践能力要求比较高,但是在实际教学中由于受到主客观因素的影响,教学效果并不是那么理想.在软件教学中基于校企联动平台的应用相比于传统的教学方式更加注重实践教学内容,让学生更好地理解所学习的理论知识,将其纳入自身知识结构中.本文先阐述了当前软件工程实践教学中存在的问题,接着提出了基于校企联动平台的软件工程实践教学改革措施,以便更好地提升其实践教学效果.

关键词： 应用型   软件工程   敏捷方法   SPOC(小规模限制性网络课程)   实践教学  

摘要： 目前软件瀑布开发模型开展软件工程课程实践教学活动,与当前中、小(微)企业普遍采用的轻量级软件项目敏捷方法相脱节。针对应用型本科软件工程课程的教学目标,设计出一个敏捷方法的软件工程实践教学框架。该框架强调轻量级软件项目的快速迭代与多元化的实践过程考核体系,取得良好的实践教学效果。最后,提出了把软件工程敏捷方法的实践教学框架充分应用于该课程的SPOC线下学习环节,与线上自主学习形成无缝衔接,将是今后的研究重点。

关键词： MOOC   软件工程   双语教学  

摘要： 大规模在线开放课程(MOOC)的蓬勃发展,为高等教育带来了新的机遇和挑战。本文主要研究了高校计算机类专业软件工程课程双语教学的必要性、目前存在的问题、如何将传统教学与MOOC教学相结合应用于双语教学、MOOC环境下软件工程课程双语教学的可行性,及教学质量评价体系。并在理论分析基础上,以高校计算机系本科生为对象,阐述教学实践过程和效果。

关键词： 高校教学   计算机软件工程   课程改革  

摘要： 随着互联网时代的到来,越来越多的人意识到能够熟练使用计算机的重要性.随之各大高校为了迎合社会需求相继开设了计算机专业,而软件工程这门课程是每一个计算机专业学生都必须要学习的课程.本文着重研究探讨了高校计算机教学中软件工程课程改革的主要思路和具体实施策略,以供参考.

关键词： 形式化方法   静态分析   抽象解释   可配置程序分析  

摘要： 在安全关键领域中,如何保证软件的安全性已经成为了一个广受关注的重要课题。静态程序分析是一类十分有效的程序自动化验证方法。基于抽象解释的静态分析技术在验证软件的非功能性安全属性上表现十分突出。可配置程序分析(Configurable Program Analysis,CPA)是一种通用静态分析方法形式化体系,旨在用一种形式化体系对静态分析的分析阶段进行建模。使用CPA对基于抽象解释的静态分析进行建模,给出如何使用CPA形式化体系描述基于抽象解释的静态分析,给出了从待分析程序到CPA形式化体系的转换规则;提供了一种在安全关键性领域中的软件正确性自动验证方法,为基于抽象解释的静态分析工具的实现提供了一种可行方案。

关键词： 形式化方法   事件逻辑   无线Mesh网络认证协议   中间人攻击  

摘要： 无线Mesh网络是一种结合无线局域网和移动自组织网络的新型多跳网络,无线网络的开放性和资源受限性使得无线网络容易遭受重放、伪装等攻击。事件逻辑是一种描述并发与分布式系统中状态迁移和算法的形式化方法,可用于证明网络协议的安全性。以事件逻辑为基础提出一系列性质,其中包含多组合信息交互、不叠加、事件匹配、去重复、去未来,以降低协议分析过程中的冗余度以及复杂度,提高协议分析效率。对无线Mesh网络客户端双向认证协议进行分析,证明该协议能够抵抗中间人发起的重放攻击,无线Mesh客户端双向认证协议是安全的。此理论适用于类似复杂无线网络协议形式化分析。

关键词： 面向对象软件   序列模式挖掘   演化测试   测试用例再生成  

摘要： 现有测试用例自动生成研究中,通常假定无测试用例可供参考,直接由被测软件的源代码或需求规格说明生成满足测试充分性要求的测试用例。论文提出一种基于序列模式挖掘技术的面向对象软件测试用例自动再生成方法,通过挖掘测试用例库获取常用的方法调用子序列作为序列模式,并以所得序列模式为基础构建新的测试用例。实验结果表明采用该方法能够生成有效且可读性良好的测试用例。

关键词： 软件工程   管理   5W2H分析法  

摘要： 从软件技术专业实践出发, 提出运用管理学中的5W2H 分析方法, 解决软件工程的要素配置管理 难题.

关键词： 四轮驱动拖拉机   湿式制动器   中国   作业工况   模块化设计   转向传感器   结构化设计   传动系统  

摘要： 德纳119~224 k W（160~300 hp）转向驱动桥适用于该功率段四轮驱动拖拉机。这项传动系统产品实现了模块化设计;可供选择多种差速器、制动器以及转向传感器;安装结构形式多样化。该产品主要优势：可靠性高;承载能力大;易于维护;结构化设计可以减低产品的成本;可供选择的湿式制动器的制动能力强;产品适用于全路面工况等。其装配的拖拉机主要应用于平原、山地等各种地形的深松、深耕等要求苛刻作业以及带前装载作业工况。