教学课程资源库 更多>>

关键词： 项目驱动   慕课   实训  

摘要： 文章分析了软件工程课程传统教学的不足,并针对课程特点提出解决办法,特别是通过项目驱动教学模式提高学生实践能力,使学生将所学理论知识与社会实践有机结合,为将来从事软件行业奠定坚实基础。

关键词： 地方高校   双主线   课程设置  

摘要： 在地方高校向应用转变境况下如何逐步使课程体系与行业标准、教学过程与生产过程相结合,从而培养以职业需求为导向、以实践能力培养为重点的应用型、技术技能型、复合型人才。以某院软件工程专业为例,向应用型技术技能型转变过程以此专业的课程体系建设为突破口,构建"双主线"的课程体系设置来解决此问题。

关键词： 应用型本科   软件工程   培养模式   应用型人才  

摘要： 针对当前应用型软件工程人才培养与企业需求不相适应的问题,结合吉林建筑大学城建学院软件工程人才培养的经验,从培养目标体系、课程体系建设、校企联合培养三个方而阐述关于应用型软件工程人才培养模式的探索和实践。

关键词： 故障容忍   形式化方法   时间触发以太网   拜占庭故障   SAL  

摘要： 对于时间触发以太网的拜占庭容错方法,已有的推理性论证表明网络的分布式时钟同步机制有利于容错过程中实现交互一致性。为对该容错方法的正确性进行严格验证,进一步采用模型检查的形式化分析手段,通过符号分析实验室(SAL)形式化工具,构建了网络节点模型,建立了时间触发体系结构下的拜占庭容错场景,设定了容错操作活性、一致性和有效性等属性的形式化定理。模型检查的结果表明:在三冗余独立路径条件下,该方法可以容忍一个拜占庭故障,且在存在指令/监视对(COM/MON pair)的条件下可以容忍2个高完整性配置节点的"不一致遗漏"故障。与推理论证手段相比,SAL模型检查为时间触发交换式网络在航空航天高安全关键等级系统中的容错配置提供了更规范的依据。

关键词： 软件工程教学   敏捷开发   持续质量控制  

摘要： 在实践教学过程中如何管理和评价基于团队项目的敏捷开发过程,面临着许多挑战,如项目选择、过程监控、持续跟踪反馈指导以及评估。近3年来在本科软件工程概论课实践中使用敏捷开发模式的若干体会包括:从公司或校内团体中征集真实的用户项目、采用Scrum开发方法;开发基于GitLab的教学平台、集成相应的分析工具、提供代码评估和质量报告等,对整个开发过程的统计数据表明,学生的软件工程能力得到了较大的提高,效果明显。

关键词： 软件工程   UML建模技术   需求分析  

摘要： 在软件工程中,UML建模技术的应用十分广泛,具有可视化、定义良好以及功能强大等优点。基于此,笔者从UML建模技术的概念和优势入手,对软件工程中UML建模技术的应用模式和应用流程进行了分析,主要介绍了用例图、类图、序列图和协作图在软件工程中的应用,并将人才招聘系统作为研究对象,阐述了UML建模技术的实践应用,以期为相关研究提供参考。

关键词： 协作学习   学习活动   活动任务   设计技术  

摘要： 协作学习是一种特殊的教学形式,协作学习活动设计有别于一般教学系统的设计。教学设计技术虽已十分成熟,但对协作学习活动设计并不具有普遍的适用性。目前,协作学习活动设计由于存在聚焦原则性知识、研究不系统和缺乏数据驱动等方面的不足,难以为协作学习活动的设计优化提供可操作性技术。为此,本文基于学习活动概念模型,构建了一套系统的协作学习活动设计技术框架,包括协作学习活动设计的过程模式、学习目标分析、活动分类与任务设计、内容分析、结构化设计、缺陷分析与改进六个方面。该技术框架各操作之间的数据依赖关系,确保了协作学习的目标与手段之间的一致性,有利于规范协作学习活动的设计过程,促使优良协作学习过程的发生。但在实践中,仍会面临协作学习活动难以转化为协作学习行为的困境。而在协作学习活动设计的技术框架的基础上,通过研究行动和方案的一致性,有望解决这一现实困境。另外,就协作学习设计技术本身而言,它是独立的,不存在依赖特定学习环境的设计技术。

关键词： 设计模式   软件开发   方法实践  

摘要： 随着互联网时代的到来,软件开发技术被更多的应用到计算机系统上,由于软件的大规模应用,导致开发软件的程度也越来越复杂,其中软件的复用问题成为了开发时期的重要问题。因此,在开发软件时需要有效的加强软件的质量,以提高软件的复用技术。而构件技术是提高软件开发质量的有效途径,软件的设计模式决定了复用技术的应用问题。以下本文将针对软件开发方法以及实践情况进行深入的研究和分析。

关键词： 智能实验室   信息物理系统   知识重构与抽象   Petri网   形式化  

摘要： 通过引入Petri网对可表示静态物理世界W的知识重构与抽象模型进行扩展,以增强其描述物理实体动态行为的能力.将改进后的模型运用于智能实验室,结果表明,其能满足智能实验室物理实体形式化的要求.

关键词： 无线闭塞中心   危险因素分析   STAMP   形式化方法   安全性  

摘要： 根据STAMP理论分析需求阶段的RBC交接危险因素,利用分层控制框图对RBC交接过程的控制关系进行描述;使用混成自动机对其中的控制算法、组件状态变化进行建模;给出控制结构中过程模型的形式化定义,并使用对象约束语言OCL对过程模型进行构建。根据需求阶段的控制缺陷分类,利用人工分析和形式化分析相结合的方式,分别对与输入相关、与功能模块相关以及与系统需求规范相关的危险因素进行分析。通过结果对比发现,本文所提基于STAMP理论的方法适用于需求阶段的RBC交接危险因素分析。