教学课程资源库 更多>>

关键词： 高校科研管理系统   UML   功能模型   数据模型   业务模型  

摘要： 为使某高校科研管理工作跟上网络时代发展的步伐,设计并实现了高校科研管理系统,采用UML的7种视图及其实现工具设计了该系统的功能模型、数据模型和业务模型,从而以较客观的方式多角度展示了系统设计部分,为下一步的软件实现提供了可靠依据。

关键词： 三维模型   结构化   数控工艺  

摘要： 基于对航天器产品传统数控工艺设计模式的分析,提出了三维结构化数控工艺设计整体解决方案,并详细论述了数控工艺要素结构化配置、结构搭建、数控加工模型建立等关键技术及实现方式,为三维结构化数控工艺设计技术的研究与工程化应用提供了参考。

关键词： SOA   构件化   图书管理   管理信息系统  

摘要： 设计并开发了一个基于SOA的构件化图书管理系统,主要包括系统管理、读者管理、图书类别管理、图书信息管理、图书借还管理等相关功能。通过使用系统,可以有效的提高图书管理的工作效率。系统不仅在平台和技术上都具有先进性、扩充性,使用性。项目设计按照标准化、规范化,层次化,结构化实现。系统界面简单,功能实用、完备。

关键词： 武器装备体系   任务可靠性   UML-OOPN防空反导体系  

摘要： 针对传统可靠性模型在武器装备体系建模中存在的描述能力不足和Petri网建模存在的模型爆炸和模型构建困难问题,引入面向对象建模思想,利用UML模型便于描述系统和对象Petri网模型易于动态仿真的优点,提出了基于UML-OOPN的武器装备体系任务可靠性建模方法,通过建立UML到对象Petri网的映射规则,完成了由任务描述模型向任务可靠性对象Petri网模型的转化,从而实现了两者有效结合,并以某野战防空反导体系为例验证了该方法的可行性和有效性,为解决武器装备体系任务可靠性模型构建和高效输入问题提供了一种新的方法。

关键词： GLP   蚯蚓生态毒理试验   UML   建模  

摘要： 对于运行GLP(Good Laboratory Practice良好实验室规范)管理体系的实验室来说,对蚯蚓生态毒理试验有着严格的实验过程管理。本文通过UML建模语言,创建蚯蚓试验的用例模型,并使用静态模型创建系统内容,然后通过动态模型对系统的内容进行补充和说明,最后通过部署模型完成系统的部署工作,从而提供了一套针对蚯蚓生态毒理试验过程管理的模型。

关键词： 软件工程   教学改革   CDIO  

摘要： 软件工程专业十年的发展过程中存在的一些问题,反映出软件工程专业教学改革的迫切性。针对"软件工程"课程的特点及教学中存在的问题,将CDIO工程教育模式引入到课程的实践教学过程中,提出了"案例引导、项目驱动"的教学模式,深化学生对理论知识的认识,训练提高学生的职业素质和职业能力,使学生具备开发实际工程系统的能力,创新能力和团队合作精神。实践证明,基于CDIO模式的软件工程课程教学改革模式取得了良好的教学效果。

关键词： 智能卡   Event—B   形式化方法   定理证明  

摘要： 安全性、可靠性是嵌入式软件的重要性质。为了更好地保证开发的嵌入式软件是可靠和安全的,提出了一种基于模型的开发方法学,包括提炼需求、建立抽象模型及逐层精化三个步骤。首先从环境、功能、性质三个主要方面提取需求,同时明确层次化的精化策略;然后利用形式化方法建立抽象模型并对该模型进行形式化验证,在正确的抽象模型上逐层精化,并对每层模型进行验证;最后,基于满足需求的模型,进一步利用工具完成代码自动生成。该方法从抽象到具体,以逐层递增的方式明确被开发系统的需求及性质,进行形式化建模,通过反馈机制确保模型的正确性及可用性。为了证明该方法学的可行性,文章以多应用智能卡为开发实例,基于Event-B方法及Rodin平台给出了实际建模及证明的过程和结果。

关键词： 耐久试验   汽车   数据管理  

摘要： 分析了整车耐久试验数据管理的现状及需求,采用UML语言建立了整车耐久试验的数据管理模型,研究开发了使用ACCESS数据库的整车耐久试验数据管理系统。该系统在某整车企业技术中心的各试验基地得到应用,提升了整车耐久试验的工作效率和数据管理的准确性。

关键词： 结构化设计   前端应用程序设计   台数据库建立及维护  

摘要： 随着国内高校对精品课程建设的关注,精品课程网站开发与设计也逐渐成为教师、学生关注的重点。本论文将项目组开发《信息安全原理与应用》课程精品课程网站为案例,阐述了网站需求分析、设计步骤等内容。文章的工作对于精品课程网站建设具有一定借鉴意义。

关键词： 软件测试   面向对象   类测试  

摘要： 软件测试是软件开发过程中确保软件质量的重要手段，随着面向对象软件开发技术的广泛应用，对面向对象软件测试技术的研究显得尤为重要。本文首先介绍了软件测试的概念以及面向对象软件特点对传统软件测试产生的影响，接着重点讨论了面向对象软件测试的方法。