教学课程资源库 更多>>

关键词： 应急预案   结构化设计   辅助决策   应急管理  

摘要： 通过梳理应急预案执行流程,对尾矿库在线监测预警响应流程进行分析与设计.在综合各级应急预案内容的基础上,分析基于预案的应急辅助决策所需知识和技术框架,建立了预案的辅助决策模型.并通过事件结构化设计、预案数字化、事件分析识别及相似度匹配等,实现了基于应急预案的辅助决策.

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

摘要： 作为道路桥梁设计的必然趋势的结构化设计,它的应用可以提高设计的准确性,减少施工过程中的不确定因素和使用过程中的安全问题。

摘要： 形式化方法主要研究如何把具有清晰数学基础的模型、规范、分析以及验证融入软／硬件设计开发的各个阶段，是改善和确保计算机系统正确性和可靠性的重要途径．在领域需求的推动下，形式化方法技术和工具方面的研究取得了显著成效的同时，需要研究新的理论和方法来解决更复杂的计算机系统问题．本专刊重点关注“形式化方法的理论基础”，将收录国内外形式化方法的理论、模型、算法研究的高水平成果．

关键词： 面向对象   动态多态性   软件测试  

摘要： 在面向对象程序设计中,动态多态性的引入为程序的可复用性和可扩充性提供了极大的便利,但同时也为程序的测试引入了一般测试方法无法很好应对的难题。在该文中,作者基于实践,提出了一种针对面向对象动态多态性的测试方法。该方法从静态分析入手,首先从被测程序中识别出需要进行动态多态性测试的代码,以此建立被测程序的动态多态性测试表,然后对该测试表进行分析,并最终在此基础上生成测试用例。该方法主要针对面向对象动态多态性的测试,可以作为一般面向对象软件测试的补充。

关键词： 结构化设计   设计方法   基本原则  

摘要： 现阶段,我国国民经济的迅速提高使得对道路工程的需求日益增强。而桥梁工程在诸多道路工程项目中扮演着极其重要的角色。近些年桥梁施工技术虽然在一定程度上得到了明显提高,但是仍然并不成熟,在实际建设过程中还是存在很多的问题,本文主要介绍了一些设计方法和设计原则,希望能对我国的桥梁建设有所启发。

关键词： 动手实践   实验体系设置   课程实验   第二课堂  

摘要： 如何提高软件工程专业学生创新能力，最重要的是要提高学生动手实践能力。本文针对软件工程专业课程实验环节，从系统性、层次性和综合性的课程实验体系设置，到实验内容设计，以学生为主体、教师引导为辅的实验过程，学生实验前的认真预习，第二课堂活动等阶段进行了探索，以期提高软件工程专业学生动手实践能力。

关键词： 学期   课程   TOPCARES-CDIO   一体化  

摘要： 分析基于TOPCARES-CDIO的项目教学以及课程一体化教学面临的主要问题,提出从课程内容一体化、项目一体化和考核一体化三个方面进行课程一体化的改革与实践,结合成都东软学院的具体实际,说明改革实践的过程。

关键词： 软件工程专业   人才培养   课程体系   质量管理  

摘要： 针对应用型软件工程专业培养方案改革中遇到的问题,提出培养方案的总体制定思路,以实现专业教育与技术行业和市场需求紧密结合的目标。通过构建应用型课程体系、企业式的质量管理体系、智能信息化平台和建设应用型师资队伍等几个方面的教学改革,使培养方案满足当前就业市场、社会需求以及未来学生自身成长特点。

关键词： 案例   项目驱动   软件工程   教学模式   实践  

摘要： 软件工程教学随着教改的推动教学模式发生了极大的改变,教学中更侧重培养学生实践操作能力,这对于学生之后的就业是非常有益的。从近况来看,软件工程教学中应用案例即项目驱动教学模式取得不错的成效,促使学生提升就业竞争力。本文中主要论述了案例和项目驱动软件工程教学模式的具体实施,谨以此给予理论参考依据。

关键词： UML   列车运行监控装置(LKJ)   建模   模型验证  

摘要： 既有线铁路系统运营场景复杂,运营需求多变,导致列车运行监控装置(LKJ)功能需求变化频繁,为了合理、规范地管理功能需求,有必要基于UML对LKJ功能进行建模研究。通过分析LKJ的结构与功能,建立了系统的用例模型;利用UML语言中的类图、顺序图和状态图,分析LKJ主要运营场景的静态结构与动态行为,并由此建立各场景的静态模型和动态模型;最终对所建LKJ功能模型进行验证,确保模型的正确性和完整性。利用所建的LKJ功能UML模型,能避免对LKJ功能需求的歧义理解,有利于开发与维护工作的顺利进行。