教学课程资源库 更多>>

关键词： 设计模式   计算机软件总线   CORBA标准   跨语言通信  

摘要： 随着计算机技术以及各软件应用的开发,其已经逐步成为我们日常生活以及各企业工厂开发生产中的一个重要工具;而目前在软件开发与应用上仍存在着一些问题,软件开发方式也急需改变;为此,提出设计模式下计算机的基础下进行研究,依据计算机软件总线的思想,采用CORBA作为主要标准,构造计算机软件总线的体系以及开发思想,并且设计出在整体结构当中各个模块所实行的功能;实现应用JAVA和C++语言,编写客户端以及服务器之间的通信构成,最后进行该思想改进后计算机跨语言通信实际检测,检测结果良好,具有很强的通信效果和对于软件以往问题的解决。

关键词： 安全性分析   形式化方法   模型检测  

摘要： 铁路车站计算机联锁系统是一种典型的安全苛求系统,重点是保障系统运营安全。对系统安全进行了分析,建立UML场景时序图,以此为基础建立系统的标号迁移模型,通过模型检测对系统进行安全性验证与分析,设计了系统的安全模型,为安全苛求系统的安全性分析与验证评估提供了一个完整的技术框架,具有理论及实际价值。

关键词： 软件工程与实训   实践课程   创新教学理念  

摘要： 软件工程是一个新型学科,是技术性、操作性都很强的一门课程。当前,由于软件工程在我国发展时间不长,在技术创新、软件开发方面较为薄弱,因此,加强软件工程教育尤为重要。《软件工程与实训》作为软件技术专业的核心课程,在加强学生能力培养与素质提升方面起着重要作用,但由于软件工程是实践性特别强的学科,如何构建《软件工程与实训》实践课程教学模式,是一个值得探讨的课题。笔者从软件工程与实训的现状出发,以利于实践、利于教学的角度,全面探索软件工程教育的方式方法,进一步培养适合社会发展的软件工程人才。

关键词： 桥梁   连续一刚构连续体系   结构设计   施工工艺  

摘要： 连续一刚构桥连续体系桥梁具有主梁连续、墩梁固结的特点，无需设置伸缩缝，T形刚构无需设置临时支座、不存在体系转换，施工方便快捷。并且能够很好的满足大跨径桥梁的受力要求是顺桥向抗弯刚度和横桥向抗扭刚度。本文结合具体的工程研究了其结构设计，并通过有限元建模计算分析，研究了施工工艺对结构的影响，希望能给类似工程提供部分经验。

关键词： 政产学研用   五位一体   培养体系   软件工程专业  

摘要： 为满足当今社会发展的人才培养需求,结合广东工业大学计算机学院软件工程专业的实际情况,提出了软件工程专业＂政产学研用＂五位一体培养体系改革。通过充分发挥地方政府、生产企业、高等学校、科研院所、用人单位在协同培养中的作用,以多元化模式培养具有综合能力的软件专业卓越人才。

关键词： 软件工程   人才培养   实践教学体系   教学质量保障  

摘要： 文章在分析现有软件工程人才培养实践教学现状的基础上,深入研究软件工程人才培养规律,围绕实验、实训、实习三种不同实践教学类型以及导入、展示、训练、评价、强化、反馈、应用、监管八个实践教学环节,较为深入地讨论"三类型八环节"软件工程教学体系的内涵,论述校企合作实践教学基地及开放式的师资队伍的形成过程,建立量化可控的过程化实践教学保障机制,将软件工程过程管理方法引入实践教学管理,运用自主研发的软件工程实践教学管理平台,为实现教学过程和质量评价的实践教学全生命周期管理提供支撑。

关键词： 校企合作   人才培养   实训教学   教学改革   软件工程   创新创业  

摘要： 软件工程专业建设重在实践,本文以我院软件工程专业实践教学建设为例,探索基于校企合作的创新型软件工程专业实践教学模式的改革。以项目为导向,注重实践为原则,开展专业技术实训。通过理论与实际项目开发的结合,使学生既掌握全面的理论基础,又具有较强的动手能力和应用能力。从而培养学生具备初步的工程实践能力和创新能力。

关键词： 信息安全等级保护   用况图   实体图   UML  

摘要： 一、沟通是信息安全等级保护工作的瓶颈我国的信息安全工程是通过信息安全等级保护测评工作(简称等保测评)实现的。传统的信息系统等级保护测评流程中存在若干瓶颈,其中之一就是测评人员与客户沟通不畅。

关键词： UML建模技术   普通高校   毕业生管理系统  

摘要： UML建模技术涵盖了多个种类,面向开发对象建模语言等优点,它的使用不仅仅在于支持面向对象的分析与设计,更多的是支持软件开发的整个过程,在软件开发过程中对开发过程中静态结构和动态行为做到来自不同角度位的描述;将通过应用UML建模技术对普通高校毕业生管理系统进行研究。

关键词： Web服务测试   形式化方法   Web服务  

摘要： 近年来,Web服务测试得到了越来越多的关注。对Web服务及SOA(面向服务架构)进行简单介绍,分别从基于WSDL的Web服务测试、语义Web服务测试和基于形式化方法的Web服务测试3个方面进行阐述,并重点研究形式化规约的四大类方法:基于模型、基于有限状态、进程代数和代数规约在Web服务测试中的应用。