教学课程资源库 更多>>

关键词： 软件工程   课程群   专业建设   移动互联网   大数据  

摘要： 针对移动互联网大数据时代对软件工程专业的特殊要求,面对目前软件工程专业特色不鲜明、不适应时代需求等问题,提出基于特色课程群的软件工程专业的建设思想,并阐述特色课程群的设置。

关键词： 结构化设计   道路桥梁   设计   应用  

摘要： 将结构化设计工作应用到道路桥梁设计中不但可以满足道路桥梁发展的需求,而且也是一项最佳的设计方法。论文对道路桥梁设计中应用结构化设计的重要性进行了论述,并分析结构化设计的模型构建以及计算方法,具体探讨结构化设计在道路桥梁设计中的应用,以供参考。

关键词： 结构化设计   道路桥梁设计   应用研究  

摘要： 作为道桥设计工作者,在开展道桥设计工作的时候,一定要确保项目具有较高的安全性,而且持久性良好,同时还要考虑项目资金以及建设能力等要素,总之要保证设计最优,保证项目结构最佳。在过去的设计工作中,我们常常使用定值法设计结构,此法的缺点较为明显,即存在很多无法掌控的要素,和目前的发展规定之间有不相符的内容存在。文章在这个前提之下,具体阐述了当前时期我们国家的路桥项目设计工作中的结构设计有关的内容,论述了设计原理以及方法等内容。

关键词： CBTC   联锁软件   ETDFA   形式化方法  

摘要： CBTC系统的联锁软件为SIL4级的高安全、高可靠软件,目前广泛使用的软件测试和仿真验证的结果严重依赖选取的测试向量,要保证高覆盖率的测试十分困难;EN50128中强烈推荐SIL4等级的软件使用形式化方法完成软件需求规格说明书和软件设计,因此,采用形式化的方法设计软件,是构造高可靠、高安全软件的一个重要途径;总结了现有的CBTC系统中联锁子系统集成方式及优缺点,并使用事件确定有限自动机ETDFA(event deterministic finite automata)模型对适用性更优的升级型集成方式的联锁软件的联锁逻辑完成形式化定义,保证联锁逻辑的正确性,减少软件的不确定性描述;以办理进路为例生成联锁对象的ETDFA模型,验证该方法的有效性和可行性;该方法不仅为CBTC联锁软件的设计与开发提供新思路,而且有助于安全苛求软件的形式化验证与分析,提高联锁软件的安全性和正确性。

关键词： 应用型本科   软件工程   CDIO课程体系   CDIO实践教学体系  

摘要： 为更好地培养与企业要求相符的软件人才,针对软件相关人才培养中工程能力较低的问题,根据目前应用型本科院校的实际情况,提出软件工程专业在CDIO课程体系构建和CDIO阶梯递进式实践教学体系构建两个方面的建设方案,以期找到一条适合于应用型本科的课程改革模式.

关键词： 翻转课堂   需求工程与UML建模   实施策略   教学模型图  

摘要： 翻转课堂教学模式(Flipped Class Model)是一种先进的、值得学习和推广的模式,国内与此相关的教学论文不乏对该模式的研究、探析或者是该模式运用后的效果分析,以此来证明这种教学模式的优越性;而对于翻转课堂模式的具体实施策略却并不多见.本文分析了翻转课堂教学模式在《需求工程与UML建模》课程教学中的适用性,详细介绍了实施策略,配有教学模型图,并对实施策略进行了可行性和合理性的分析,希望这种教学模式能够结合教学资源现状、学生特性更好地辅助教学,得以推广.

关键词： 面向方面   需求分析   Aspect-Z语言   形式化验证  

摘要： 面向方面编程(AOP)可以通过它的横切属性有效地解决代码缠结和分散的问题,但大部分的工作都集中在编程和实现阶段,很少有对早期的需求分析模型进行研究.本文通过采用AOP技术对软件系统的需求分析进行研究.首先在需求分析阶段,通过关注点分离技术识别出系统的功能需求和非功能需求,功能需求由核心关注点通过组件来实现,非功能需求由横切关注点通过方面来实现;然后结合具有精确描述性特点的形式化语言Aspect-Z来表示组件和方面.对于在同一连接点处需要编织多个方面且方面之间可能产生冲突的问题,通过定义方面的优先级来解决.最后,通过定理证明的方法推理出所描述需求的性质与属性,从而对Aspect-Z规格说明进行形式化验证.文章的最后给出应用实例.

关键词： 道路桥梁   结构化设计   应用  

摘要： 道路桥梁作为交通系统中的核心部分,一直备受国家关注和扶持,并不断的对道路桥梁投入大量的经济资源和技术资源。近些年来,伴随着资源的补足和技术的提高与创新,我国在道路桥梁建设这条道路上取得了长足的进步。道路桥梁建设要想取得良好的交通便利与工程质量,就离不开建设初期的工程设计,结构化设计作为道路桥梁工程设计的基础,是道路桥梁建设的风向标,本文对道路桥梁中结构化设计进行分析与探讨。

关键词： UML建模   面向对象分析   开放教育   排课系统   系统架构  

摘要： 采用基于UML的面向对象分析方法对开放教育排课系统进行建模设计,利用UML用例图和类图描述系统需求与系统架构。通过系统UML建模,进一步确定开放教育排课系统各功能实现的方法与技术,有效保证系统开发的质量和效率。

关键词： 结构化设计   道路桥梁设计   应用  

摘要： 伴随着我国社会的快速发展,经济水平也逐渐的进步,我国道桥事业开始进入到一个崭新的时代,推动社会经济进步。道桥是作为交通系统核心构成部分。新时期下,不断增多的交通工具,给道桥提出了更高的新要求,道桥设计的关键性也逐渐凸显,尤其是结构化设计。所以,文中作者将从道桥结构化设计原则出发,分析了道桥设计当中结构化设计的应用。希望为有关方面提供一定的帮助。