教学课程资源库 更多>>

关键词： 新工科   实践教学体系   闭环   反馈机制  

摘要： 随着互联网和新经济的发展壮大,新工科建设理念也随之提出,我国高校教学模式和教学体系在不断发生变革。本文基于新工科建设要求,探讨地方本科院校软件工程专业实践教学体系的构建,提出实践教学体系闭环模型,阐述了环路中关键机制的组成要素和实现途径,为地方本科院校软件工程专业实践教学提供一条可参考的发展方式。

关键词： 软件工程   案例库   教学模式   可扩展实践平台  

摘要： 笔者针对我校软件工程课程群中的教学问题,通过研究教学案例的选取和设计,建立规范的软件开发全过程案例库,以适应多层次多类型教学任务;在教学过程中融合多种教学模式,加强理论教学和实践教学的耦合度,保证软件工程实践规范化,培养学生工程化理念和团队协作意识,提高学生探索问题、分析问题和解决问题的综合能力;同时建立基于框架的可扩展实践平台,构建"做中学"的环境,提高学员学习兴趣和实践动手能力.

关键词： 软件工程师   工程教育专业认证   应用型人才  

摘要： 工程教育专业认证是对当前国内工程类专业教学的重要指导,它是以产出为导向、以学生为中心、持续改进的核心理念构建我国高校工程教育的质量监控体系。本文结合黑龙江大学软件工程专业为例,在工程教育专业认证的背景下,分析人才培养目标与要求、课程体系建设、评价机制以及反馈机制的改革措施。实践证明,基于专业认证的理念,对于培养学生成才起到十分重要的作用。

关键词： 堆栈机器   编译器   定理证明器   形式化方法   Isabelle/HOL  

摘要： 堆栈机器(stack machine)作为一种计算模型,不仅执行部分高级语言的效率很高,而且其编译器也简单、快速.在形式化领域,目前已有不少定理证明器用来验证模型的正确性.本文对堆栈机器的简单编译器进行介绍,对布尔表达式和算术表达式、机器指令、编译器、机器运行行为在Isabelle/HOL中进行形式化,验证编译器的正确性.

关键词： 结构化设计   道路桥梁设计   运用解析  

摘要： 在城市化发展进程加快过程中,道路桥梁工程项目受到了较为广泛的关注,为了提升道路桥梁工程设计,进行结构化的设计分析,在夯实基础设计过程中,通过科学的方式进行整体设计优化,可以提升道路桥梁整体质量。基于此,主要对结构化设计在道路桥梁设计中的运用进行简单的分析论述。

关键词： 三层架构   UML建模  

摘要： 随着社会的发展,人们对书籍的渴望程度在不断的增加,根据学校的调查结果显示,同学们在大学期间拥有很多没有价值的书,而他们的处理方式大都是当做废品卖掉,有些甚至直接扔掉,这造成了书籍的极大浪费,因此我们开发一个校内书籍交换系统,给同学们提供平台进行书籍借阅,防止资源浪费。本系统是主要采用三层架构和抽象工厂来实现,使用统一建模语言UML建模,采用C#语言和SQL2008在Visual Studio2010下进行开发,系统运行稳定、高校方便、安全可靠,基本能够满足用户的需求。

关键词： 新就业形式   软件工程   实践教学  

摘要： 软件工程是一门实践性较强的课程,高校开设软件工程专业,需要重视学生的实践能力培养。高校教育者在面对软件工程专业学生,应该加强学生实践能力培养。据此,主要以新就业形式为研究背景,提出了有关软件工程专业实践教学研究,从软件初期设计阶段到学生毕业就业发展,都体现了新时代我国软件工程专业需要改革,采用由浅入深的方式,希望能够提高各高校软件工程人才培养质量。

关键词： 设计型学习模型   软件工程   基于项目的学习  

摘要： 分析了设计型学习的内涵及特点,对其应用于《软件工程》课程的优势进行了剖析,梳理了基于项目的学习模式的方法步骤,结合课程特点构建了以项目为引导的设计型学习模型,并应用于课程教学实践中。