教学课程资源库 更多>>

关键词： 软件工程   实践教学   企业合作  

摘要： 在当今移动互联网时代的到来,给软件工程专业人才带来了全新的发展机会,也提出了更高的培养要求。多年的经验以来,校企合作一直是软件工程人才培养的主要途径。文章论述了在移动互联网时代,软件工程人才培养的特点和要求,当今校企合作培养的方式以及实际运行过程中遇到的相应问题,针对人才培养与企业需求相脱节的情况,提出了相关解决思路及方法。

关键词： 济南电网   人力资源管理   UML建模   信息系统   工作效率  

摘要： 为提高电力企业人力部门工作效率,实现内部资源整合,设计一款人力资源信息管理系统。结合济南电网人力部门实际,利用UML建模工具对系统功能进行分析;利用MVC模式对系统整体架构进行设计,降低各层之间的耦合性;利用Visual Studio 2008对开发环境进行部署;利用SQL Server 2012对数据进行管理与存储;采用C对系统各项功能开发。最后通过测试实现了对员工的考勤、薪资、绩效等方面的信息化管理,大大提供了济南电网的人力管理效率。

关键词： 校企合作   人才培养   实践教学   人才培养   软件工程  

摘要： 校企合作是学校培养高素质应用型人才的重要模式之一。本文探索校企融合下应用型软件工程实践教育模式的改革,寻求通过校内实践和校外实训的相互结合,培养和提高学生的实践能力、应用力和综合素质,培养工程型、应用型的高素质软件专业人才。

关键词： CDIO   校企联合   应用型   软件工程   人才培养模式  

摘要： 基于CDIO工程理念,以社会需求为导向,以校企联合为抓手,强调优化软件工程专业课程体系、实践教育体系和创新教育体系,阐述如何提高应用型软件工程专业学生核心竞争力和培养卓越软件工程人才,以形成定位准确和培养目标明确的应用型软件工程专业人才培养模式。

关键词： UML建模   软件测试   EFSM模型   Petri网   用例生成  

摘要： 针对当前UML建模在软件设计中的广泛应用,提出一种基于模型的软件自动化测试方案。为实现测试方案,通过UML状态图对软件模型进行构建,同时利用EFSM模型生成路径转换序列,借助Petri网的可覆盖性、可达性,将UML状态图转换为Petri网,再通过Petri网对上述转换的路径进行分析,从而消除了传统测试用例生成时存在的缺点,最后通过实验验证了该算法的严谨性和有效性。

关键词： 软件工程专业   实践教学体系   建设与实践  

摘要： 自从我国计委、财务部以及教育部在2001年12月开始联合批准35所高校试办示范性的软件学院以来,经过将近15年的经验积累,目前我够软件工程专业的人才培育已经走上正轨,并逐渐向培养更为强大的高精尖软件应用型后备人才所努力,可以说我国软件系列产业正呈现着大好发展趋势。众所周知,软件工程专业重点在培育创新型、具有更高层次、拥有实用性技能以及逐渐国际化的创新型人才,为现如今紧缺的复合型人才以及应用型人才补上缺口。文章将从建立完善的制度以保证软件工程专业实践教学体系的专业性入手,同时将课程设计的难点以及解决方式进行分析,进而延伸到学生在实践课程中学分的分配问题以及毕业设计的创作方面,提供给相关教育工作者参考。

关键词： 计算机联锁   安全需求   通用应用   形式化验证  

摘要： 铁路信号系统中的联锁系统对安全性要求极高,仅通过普通的功能测试无法保障其安全性。采用形式化验证的方式可以验证联锁系统的应用逻辑与安全需求的一致性。将通用安全需求结合具体的站场图进行实例化,得到具体的安全需求后输入带归纳功能的布尔可满足问题(SAT)约束求解器进行验证,通过覆盖所有的实例、所有周期以及每个周期所有的状态空间,保证了验证方法的完备性。

关键词： 校企协同   软件工程   探索  

摘要： 校企协同育人是解决应用型软件人才培养与社会实际需求脱节的一种比较好的机制,但在实施过程中,容易流于形式,达不到应有的效果。本文结合实践经验,在校企合作的形式、内容和目标等方面,进行了比较细致地分析,并提出相应可行的方法。

关键词： 建模分析   农作物种子   经营备案   管理信息平台   UML  

摘要： 目前农业主管部门对农作物种子经营备案的管理仍然采用传统手工方式。针对这种情况,通过分析农作物种子经营备案工作的流程,描述农作物种子经营备案管理信息平台的业务需求,利用面向对象的方法对平台主要功能模块进行建模分析,提出一种应用互联网技术实现农作物种子经营备案管理的模型和方法。实验结果表明,在此模型基础上设计的农作物种子经营备案管理信息平台,能很好地满足农业主管部门对农作物种子经营备案管理的需求,也是一次基于互联网技术的农作物种子经营备案登记制度的有益探索。