教学课程资源库 更多>>

关键词： 道路桥梁   结构化设计   安全  

摘要： 文章首先对我国道路桥梁的设计现状进行简要分析,在此基础上对结构化设计方法在道路桥梁设计中的体现进行论述。期望通过本文的研究能够对道路桥梁设计水平的提升有所帮助。

关键词： 测试角度   面向对象   软件测试   测试模型  

摘要： 为确保软件质量,技术人员会在软件使用周期内,不断对其进行测试。而面向对象软件测试,是一种新型软件测试技术,将其应用到软件工程之中,为软件维护、设计以及开发带来了极大的便利。本文将对面向对象软件测试技术与该技术应用实践方式展开全面论述,旨在提升该项技术运用水平,促进国内软件测试技术的发展。

关键词： 项目质量管理   软件质量   软件开发   软件工程实践   软件产品   审查结果   软件安装   软件需求分析   软件项目开发   规格说明  

摘要： 软件行业的发展迅速,令人无法想象,随着社会的发展,软件项目对各行各业的影响将更加的深入。但是软件行业也给人们带来了越来越多的问题。认真抓好软件项目质量管理工作已经势在必行,而且软件项目质量管理应用在解决软件质量问题方面已经势在必行。

关键词： SOA体系结构   市政信息化   系统整合  

摘要： 随着近年来信息技术的迅猛发展,人们越来越关注面向服务的体系架构(SOA)。应用系统借助于SOA在接口与实现、服务与服务、业务组件和传输协议之间松散耦合的独特优势,更多的在系统互联时采用SOA技术。文章提出了利用SOA体系结构升级现有智慧市政系统,同时将分散在各业务部门的市政信息化系统整合至该系统的模型设计思路,从逻辑结构和应用结构两方面设计新智慧市政的系统框架的改造方案,对市政信息化系统的整合具有指导意义。

关键词： 安全策略   设计规范   半形式化  

摘要： 对安全功能要求的错误理解会在IT产品中引入内在的安全缺陷。半形式化方法可提高描述安全功能要求的准确性,增强设计的合理性,从而有助于降低引入安全缺陷的风险。因此,该文将重点研究产品安全策略及设计规范的半形式化描述及验证方法。首先,论述了通过分析安全功能接口,从安全功能要求中提取安全策略,以及从模块设计中提取设计规范的一般方法,给出了降低耦合性的子系统和模块划分规则;其次,通过选择和改进现有的半形式化工具,给出了描述安全策略以及设计规范的半形式化方法;最后,以IC卡芯片产品的测评为例,通过对部分安全策略以及设计规范进行半形式化处理,论证了产品所采取的安全策略可使安全功能要求得以充分满足,且相应的设计规范也是合理的。结果表明:该文所建立的半形式化方法在一定程度上适于所有信息技术产品的安全测评。

关键词： 多元化实践教学体系   软件工程专业   实践教学模式   专业人才   实践能力   新课程背景   创新能力   教学现状  

摘要： 随着社会的快速发展，社会对软件工程专业人才的要求不断提高。创新能力与实践能力已经成为软件工程专业人才所必须具备的能力。但是，从软件工程专业教学现状可以看出，软件工程专业教学中依旧存在很多问题。在新课程背景下，软件工程专业必须实行多元化实践教学模式，完善实践教学体系，提高学生的学习热情和积极性。软件工程专业教师必须把理论教学和实践教学结合在一起，实现有效教学。

关键词： 空间桁架   互相支承   群众艺术馆   钢结构   承重式  

摘要： 山东省文化艺术中心群众艺术馆西南角的空间钢桁架体系是由水平平面桁架与竖向平面桁架组成,该空间桁架可作为大跨度屋面梁的有效支撑,其传递竖向荷载,保证了大跨度屋面的正常使用;又可作为抗风柱,该转角水平桁架受水平风荷载时,两方向的水平桁架可以互相作为支撑将水平荷载传递给主体结构抗侧力构件,同时又保证了竖向桁架的稳定性。通过对群众艺术馆整体结构进行受力计算,分析了该空间桁架体系的受力性能。分析表明,相互支承的水平及竖向平面桁架具有良好的空间受力性能,同时具有良好的稳定性;该空间桁架在各荷载作用下,构件均处于弹性阶段,满足设计要求。

关键词： 软件工程   课程实践   体系构建  

摘要： 高校作为人才培养重要基地,为了满足企业对专业人才的需求,加强了软件工程专业学生的实际操作能力,相应开展了课程实践教学。但在实际教学过程中,仍存在许多问题,本文就这些问题进行了详细说明,并对加强软件工程专业实践教学体系构建提出了具体有效建议。

关键词： 体育教学   考勤管理   俱乐部管理   UML建模   数据库技术  

摘要： 随着高校体育实行开放的过程化俱乐部教学,给传统手工考勤管理带来了巨大困难,本文对高校体育俱乐部考勤管理的业务流程进行深入分析和研究,采用面向对象方法、UML技术、数据库表结构详细分析与设计了一套高校体育俱乐部考勤管理系统,提高了考勤管理的效率与质量。

关键词： 形式化方法   藏文软件   形式规约   形式化验证  

摘要： 形式化方法有助于软件开发中发现其它方法不容易发现的系统描述的不一致、不明确或不完整,增加软件开发人员对系统的理解,利用形式化方法开发的软件系统具有较高的可信度和正确性,并能使系统具有良好的结构,使其易维护,关键是能较好地满足用户需求.主要研究利用形式化方法开发藏文软件需要考虑的关键问题和实施方案,以及形式化方法对提高藏文软件系统的安全性与可靠性的作用.